diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-02-12 17:21:45 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-02-12 17:21:45 +0000 |
| commit | 81a485c9a8e9e75899a3bbd9f9ccf4035b0bf723 (patch) | |
| tree | 2b2209d42788c8162e62b118241e65f9bc654c5d /unittests/Solver | |
| parent | 843698676de2b31d422254ac35546393a0d2d469 (diff) | |
| download | klee-81a485c9a8e9e75899a3bbd9f9ccf4035b0bf723.tar.gz | |
Fixed compilation of unittests with upstream STP (Boost dependency).
Diffstat (limited to 'unittests/Solver')
| -rw-r--r-- | unittests/Solver/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/unittests/Solver/Makefile b/unittests/Solver/Makefile index 00713691..83427795 100644 --- a/unittests/Solver/Makefile +++ b/unittests/Solver/Makefile @@ -10,3 +10,7 @@ LINK_COMPONENTS := support include $(LLVM_SRC_ROOT)/unittests/Makefile.unittest LIBS += -lstp + +ifeq ($(STP_NEEDS_BOOST),1) + LIBS += $(UPSTREAM_STP_LINK_FLAGS) +endif |