diff options
Diffstat (limited to 'unittests')
| -rw-r--r-- | unittests/Expr/Makefile | 1 | ||||
| -rw-r--r-- | unittests/Ref/Makefile | 2 | ||||
| -rw-r--r-- | unittests/Solver/Makefile | 4 |
3 files changed, 3 insertions, 4 deletions
diff --git a/unittests/Expr/Makefile b/unittests/Expr/Makefile index e52aea31..ca92271a 100644 --- a/unittests/Expr/Makefile +++ b/unittests/Expr/Makefile @@ -10,4 +10,3 @@ LINK_COMPONENTS := support include $(LLVM_SRC_ROOT)/unittests/Makefile.unittest CXXFLAGS += -DLLVM_29_UNITTEST -LIBS += $(STP_LDFLAGS) diff --git a/unittests/Ref/Makefile b/unittests/Ref/Makefile index 14dcc8bd..10c4bebd 100644 --- a/unittests/Ref/Makefile +++ b/unittests/Ref/Makefile @@ -8,5 +8,3 @@ USEDLIBS := kleaverExpr.a kleeBasic.a LINK_COMPONENTS := support include $(LLVM_SRC_ROOT)/unittests/Makefile.unittest - -LIBS += $(STP_LDFLAGS) diff --git a/unittests/Solver/Makefile b/unittests/Solver/Makefile index aeac34ac..65edbe7a 100644 --- a/unittests/Solver/Makefile +++ b/unittests/Solver/Makefile @@ -9,4 +9,6 @@ LINK_COMPONENTS := support include $(LLVM_SRC_ROOT)/unittests/Makefile.unittest -LIBS += $(STP_LDFLAGS) +ifneq ($(ENABLE_STP),0) + LIBS += $(STP_LDFLAGS) +endif |