diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-09-21 03:53:42 -0700 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-09-21 03:53:42 -0700 |
| commit | 95521073b1a6c0eec2719a4c355c83506b325693 (patch) | |
| tree | 55d77a515985663189acfa1094e4ae1e62013c0b /runtime/klee-libc | |
| parent | b913be09fa192d587e3006d83ad2f5d0e69f7e20 (diff) | |
| parent | e9b814eda7a590af35959cd11ceeb7bef7496789 (diff) | |
| download | klee-95521073b1a6c0eec2719a4c355c83506b325693.tar.gz | |
Merge pull request #17 from MartinNowack/LLVM33
Make KLEE compile with LLVM 2.3.
Diffstat (limited to 'runtime/klee-libc')
| -rwxr-xr-x | runtime/klee-libc/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/runtime/klee-libc/Makefile b/runtime/klee-libc/Makefile index e6a7ad72..eca63169 100755 --- a/runtime/klee-libc/Makefile +++ b/runtime/klee-libc/Makefile @@ -10,11 +10,13 @@ LEVEL=../.. LIBRARYNAME=klee-libc -DONT_BUILD_RELINKED=1 +MODULE_NAME=klee-libc +#DONT_BUILD_RELINKED=1 BYTECODE_LIBRARY=1 +MODULE_NAME=klee-libc # Don't strip debug info from the module. DEBUG_RUNTIME=1 -NO_PEDANTIC=1 +#NO_PEDANTIC=1 # Add __NO_INLINE__ to prevent glibc from using inline definitions of some # builtins. |