diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-12-20 03:20:08 -0800 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-12-20 03:20:08 -0800 |
| commit | c91345eeaf5396e8cf5ddd99c5819cc9a53131c3 (patch) | |
| tree | 311c5b5ac080e04526885e4682a5bfe5210f0fa1 | |
| parent | 2c04a50f501d861da765ee8d3a0d3531dcbd52af (diff) | |
| parent | c5510caa2a0ce6ad9a153fee094fe50855313450 (diff) | |
| download | klee-c91345eeaf5396e8cf5ddd99c5819cc9a53131c3.tar.gz | |
Merge pull request #81 from delcypher/fix_unittest_llvm33_clang
Fix compilation of unittests under Clang.
| -rw-r--r-- | unittests/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/unittests/Makefile b/unittests/Makefile index 761987d6..dd005620 100644 --- a/unittests/Makefile +++ b/unittests/Makefile @@ -14,5 +14,9 @@ DIRS = Expr Solver Ref include $(LEVEL)/Makefile.common +# Remove -fno-rtti as this prevents typeid() being used +# in gtest +CXX.Flags := $(filter-out -fno-rtti,$(CPP.Flags)) + clean:: $(Verb) $(RM) -f *Tests |