Makefile.klee.in

# This file is included by Rules.mak to override the variables set there. These
# variables can still be overriden on the command line.
#
# We override this way (rather than modifying Rules.mak directly) so it is
# easier to merge with upstream uClibc.
#
# E.g. make CC=clang

TOOLDIR = @TOOLDIR@

CC         = @CC@ -Wno-error=int-conversion @EMIT_LLVM@ $(KLEE_CFLAGS)
AR         = $(TOOLDIR)@ARCHIVER@
LD         = $(TOOLDIR)@LINKER@
NM         = $(TOOLDIR)@NM@
OBJDUMP = $(TOOLDIR)@OBJDUMP@

# We don't want to strip any debug symbols
STRIPTOOL  = true

DODEBUG = @DEBUG@
DOASSERTS = @ASSERTS@

HOSTCC     = @HOSTCC@
BUILD_CFLAGS = -O2 -Wall @EMIT_LLVM@