diff options
| author | Hristina Palikareva <h.palikareva@imperial.ac.uk> | 2014-04-23 20:45:06 +0100 |
|---|---|---|
| committer | Hristina Palikareva <h.palikareva@imperial.ac.uk> | 2014-04-23 20:45:06 +0100 |
| commit | 1bc554fba825738eb20edf3025f0f63cdf44b305 (patch) | |
| tree | 81d7ab0ea9276b82eb3b1391b7796d8241765bf3 | |
| parent | 7f44b9346356c91f633c6de6939c33a45756ae7e (diff) | |
| download | klee-1bc554fba825738eb20edf3025f0f63cdf44b305.tar.gz | |
Fixing linking order if metaSMT is used: linking rt after z3 to avoid undefined symbols in the z3 library.
| -rw-r--r-- | tools/kleaver/Makefile | 2 | ||||
| -rw-r--r-- | tools/klee/Makefile | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tools/kleaver/Makefile b/tools/kleaver/Makefile index 39ba8fdb..656ffeae 100644 --- a/tools/kleaver/Makefile +++ b/tools/kleaver/Makefile @@ -29,7 +29,7 @@ ifeq ($(ENABLE_METASMT),1) -L$(METASMT_ROOT)/../../deps/boost-1_52_0/lib CXX.Flags += -DBOOST_HAS_GCC_TR1 CXX.Flags := $(filter-out -fno-exceptions,$(CXX.Flags)) - LIBS += -lrt -lgomp -lboost_iostreams -lboost_thread -lboost_system -lmetaSMT -lz3 -lboolector -lminisat_core + LIBS += -lgomp -lboost_iostreams -lboost_thread -lboost_system -lmetaSMT -lz3 -lrt -lboolector -lminisat_core endif ifeq ($(STP_NEEDS_BOOST),1) diff --git a/tools/klee/Makefile b/tools/klee/Makefile index ce5a21e6..e526f2a2 100644 --- a/tools/klee/Makefile +++ b/tools/klee/Makefile @@ -30,7 +30,7 @@ ifeq ($(ENABLE_METASMT),1) -L$(METASMT_ROOT)/../../deps/boost-1_52_0/lib CXX.Flags += -DBOOST_HAS_GCC_TR1 CXX.Flags := $(filter-out -fno-exceptions,$(CXX.Flags)) - LIBS += -lrt -lgomp -lboost_iostreams -lboost_thread -lboost_system -lmetaSMT -lz3 -lboolector -lminisat_core + LIBS += -lgomp -lboost_iostreams -lboost_thread -lboost_system -lmetaSMT -lz3 -lrt -lboolector -lminisat_core endif ifeq ($(STP_NEEDS_BOOST),1) |