diff options
| author | Dan Liew <delcypher@gmail.com> | 2014-02-14 16:37:33 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2014-02-14 16:37:33 +0000 |
| commit | d2f1684355e9a99545aa864e3eac81b259712a6f (patch) | |
| tree | 8994639b406bfb3d9454ba1d0abc29a4656fd25a /unittests/Solver/Makefile | |
| parent | 2ad968e1c05cfa40c75d0e5ba689beb91ed9d572 (diff) | |
| parent | 81a485c9a8e9e75899a3bbd9f9ccf4035b0bf723 (diff) | |
| download | klee-d2f1684355e9a99545aa864e3eac81b259712a6f.tar.gz | |
Merge pull request #99 from delcypher/feature_support_stp_with_boost
Upstream STP's libstp now depends on boost.
Diffstat (limited to 'unittests/Solver/Makefile')
| -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 |