common.mk

CC=clang
GCC=gcc
KLEE=../klee/bin/klee
KLEE_LIB=../klee/lib
DUMMY_KLEE=../misc/dummy_klee.c
CCOPTS=-Wall -I../klee/include
CCBUILDOPTS=-g -c -emit-llvm
GCCCOVOPTS=-fprofile-arcs -ftest-coverage

build: $(TARGET).bc
cpp: $(TARGET).c-prepro
manual: $(TARGET).manual

ifndef TIMEOUT
TIMEOUT=60
endif

ifndef NOLIMIT
TIMEOUT_OPT:=-max-time $(TIMEOUT)
endif

ifndef OUTPUT_ALL_STATES
OUTPUT_STATES:=-only-output-states-covering-new
endif

.PHONY: buildanyway

$(TARGET).bc: $(ARTIFACT).c buildanyway
	$(CC) $(CCOPTS) $(CCBUILDOPTS) $(CC_EXTRA_OPTS) $(BUGS) $< -o $@

$(TARGET).c-prepro: $(ARTIFACT).c
	$(CC) $(CCOPTS) $(CC_EXTRA_OPTS) -E $(BUGS) $< -o $@

$(TARGET).replay: $(ARTIFACT).c
	$(GCC) $(CCOPTS) -L$(KLEE_LIB) -DREPLAY $(REPLAY_OPTS) $(CC_EXTRA_OPTS) $(BUGS) $< -o $@ -lkleeRuntest

$(TARGET).manual: $(ARTIFACT).c $(DUMMY_KLEE)
	$(GCC) $(CCOPTS) $(DUMMY_KLEE) -DREPLAY -DREPLAY_MANUAL $(CC_EXTRA_OPTS) $(BUGS) $< -o $@

$(TARGET).replay-c: $(ARTIFACT).c
	$(GCC) $(CCOPTS) $(GCCCOVOPTS) -L$(KLEE_LIB) -DCOVERAGE $(CC_EXTRA_OPTS) $(BUGS) $< -o $@ -lkleeRuntest

klee: $(TARGET).bc
	$(KLEE) $(OUTPUT_STATES) $(TIMEOUT_OPT) $(EXTRA_OPTS) $<

replay: $(TARGET).replay
	@bash -c 'if [[ -f "$(TEST_FILE)" ]] ; then \
	  LD_LIBRARY_PATH=$(KLEE_LIB) KTEST_FILE=$(TEST_FILE) ./$< ; \
	fi'

coverage: $(TARGET).replay-c
	@test $(KLEE_OUT) || (echo "make coverage: KLEE_OUT is undefined" ; exit 1)
	rm -f *.gcda
	for t in $(KLEE_OUT)/*.ktest ; do \
	  LD_LIBRARY_PATH=$(KLEE_LIB) KTEST_FILE=$$t ./$< || true ; \
	done
	gcov -a $(ARTIFACT).c | tee $(KLEE_OUT)/gcov_out
	cp $(ARTIFACT).c.gcov $(KLEE_OUT)/

clean:
	rm -f *.bc *.c-prepro *.manual *.replay *.replay-c *.gcov *.gcda *.gcno

.PHONY: clean build cpp coverage klee