Commit e2201d62 authored by Dan Liew's avatar Dan Liew Committed by Daniel Liew
Browse files

Modified the buildmode of bitcode libraries.

The Default is Release+Asserts but if you are building KLEE with debug symbols (for example
"Release+Debug+Asserts" or "Debug+Asserts") then this breaks because KLEE will
look for the bitcode libraries in the wrong place because the
RUNTIME_CONFIGURATION macro is not defined to be what KLEE actually builds as.

This has been tweaked so that when we build the bitcode libraries the Makefile
variable "DEBUG_SYMBOLS" is correctly overridden.

Conflicts:

	Makefile.config.in
parent d6ddbaad
......@@ -38,7 +38,7 @@ HAVE_SELINUX := @HAVE_SELINUX@
RUNTIME_ENABLE_OPTIMIZED := @RUNTIME_ENABLE_OPTIMIZED@
RUNTIME_DISABLE_ASSERTIONS := @RUNTIME_DISABLE_ASSERTIONS@
RUNTIME_NO_DEBUG_SYMBOLS := @RUNTIME_NO_DEBUG_SYMBOLS@
RUNTIME_DEBUG_SYMBOLS := @RUNTIME_DEBUG_SYMBOLS@
RUNTIME_ENABLE_COVERAGE :=
RUNTIME_ENABLE_PROFILING :=
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment