Makefile

CC=gcc
CFLAGS_STD=-std=c99 -pedantic -Wall -Werror -Wno-format-extra-args -D_DEFAULT_SOURCE
CFLAGS=${CFLAGS_STD} -O3 -flto -g
PROF_CFLAGS=${CFLAGS_STD} -O1 -fprofile-arcs -ftest-coverage -pg -no-pie
LEX=flex
LFLAGS=-8 -F
YACC=bison
YFLAGS=-y -W

GTEST_HOME=/usr/src/googletest
TEST_CXX=g++
TEST_CXXFLAGS=-std=c++11 -Wall -O1 --coverage -g -D_GNU_SOURCE -D_DEFAULT_SOURCE -DGTEST_HAS_PTHREAD=1 -DUNIT_TEST -I${GTEST_HOME}/googletest/include -I${GTEST_HOME}/googlemock/include

FUZZ_CC=afl-gcc
FUZZ_CFLAGS=${CFLAGS_STD} -O2
FUZZ_FLAGS=-b32 -p32 -m16k -M1k -r2

FUZZCOV_CC=gcc
FUZZCOV_CFLAGS=${FUZZ_CFLAGS} -fprofile-arcs -ftest-coverage
FUZZCOV_FLAGS=${FUZZ_FLAGS}

SONAR=/mnt/work/sonar/sonarqube-6.7.2/bin/linux-x86-64/sonar.sh
SONAR_RUNNER=/mnt/work/sonar/sonar-runner-2.4/bin/sonar-runner

HEADERS= \
	src/csolve.h \
	src/parser.h \
	src/parser_support.h
SRC= \
	src/arith.c \
	src/conflict.c \
	src/constr_types.c \
	src/csolve.c \
	src/eval.c \
	src/lexer.c \
	src/main.c \
	src/normalize.c \
	src/objective.c \
	src/parser.c \
	src/parser_support.c \
	src/print.c \
	src/propagate.c \
	src/strategy.c \
	src/stats.c \
	src/util.c
TESTS= \
	test/test_alloc.c \
	test/test_arith.c \
	test/test_bind.c \
	test/test_clause_list.c \
	test/test_conflict.c \
	test/test_csolve.c \
	test/test_eval.c \
	test/test_main.c \
	test/test_normalize.c \
	test/test_objective.c \
	test/test_parser_support.c \
	test/test_patch.c \
	test/test_print.c \
	test/test_propagate.c \
	test/test_sema.c \
	test/test_strategy.c

all: csolve test coverage analyze doc

src/lexer.c: src/lexer.l src/parser.h
	${LEX} ${LFLAGS} -o $@ $<

src/parser.c src/parser.h: src/parser.y
	${YACC} ${YFLAGS} -o src/parser.c --defines=src/parser.h $<

csolve: ${SRC} ${HEADERS}
	${CC} ${CFLAGS} -o $@ ${SRC} -lpthread

csolve-prof: ${SRC} ${HEADERS}
	${CC} ${PROF_CFLAGS} -o $@ ${SRC} -lpthread

googletest/googlemock/libgmock.a: googletest/googlemock/gtest/libgtest.a
googletest/googlemock/gtest/libgtest.a: ${GTEST_HOME}
	mkdir -p googletest; cd googletest; cmake ${GTEST_HOME}; ${MAKE}

test/%.o: test/%.c ${SRC} ${HEADERS} googletest/googlemock/libgmock.a googletest/googlemock/gtest/libgtest.a
	${TEST_CXX} ${TEST_CXXFLAGS} -c -o $@ $<

test/test: $(patsubst %.c,%.o,${TESTS}) googletest/googlemock/libgmock.a googletest/googlemock/gtest/libgtest.a
	${TEST_CXX} ${TEST_CXXFLAGS} -o $@ $(patsubst %.c,%.o,${TESTS}) -Lgoogletest/googlemock -lgmock -Lgoogletest/googlemock/gtest -lgtest -lpthread

test/xunit-report.xml: test/test
	./$< --gtest_output=xml:$@

test: test/xunit-report.xml

test/coverage-report.xml: test/xunit-report.xml
	gcovr -r "${CURDIR}/test" -f "src/*" -x -o test/coverage-report.xml

coverage: test/coverage-report.xml

fuzz/csolve: ${SRC} ${HEADERS}
	AFL_HARDEN=1 ${FUZZ_CC} ${FUZZ_CFLAGS} -o $@ ${SRC} -lpthread

fuzz: fuzz/csolve
	if [ -e fuzz/findings ]; then \
		AFL_SKIP_CPUFREQ=1 afl-fuzz -t 1000+ -x fuzz/dict -i - -o fuzz/findings -- $< ${FUZZ_FLAGS}; \
	else \
		AFL_SKIP_CPUFREQ=1 afl-fuzz -t 1000+ -x fuzz/dict -i fuzz/inputs -o fuzz/findings -- $< ${FUZZ_FLAGS}; \
	fi

fuzz/csolve-cov: ${SRC} ${HEADERS}
	${FUZZCOV_CC} ${FUZZCOV_CFLAGS} -o $@ ${SRC} -lpthread

fuzz_cov: fuzz/csolve-cov fuzz/findings
	afl-cov -e "$< ${FUZZCOV_FLAGS} < AFL_FILE" -c . -d fuzz/findings --cover-corpus --overwrite --enable-branch-coverage --lcov-exclude-pattern="'/usr/include/*' '*/test/*' '*/googletest/*'"

doc/doxygen: ${SRC} ${HEADERS} doxygen.config
	mkdir -p doc; doxygen doxygen.config

doc: doc/doxygen

%.compdb_entry: %.c
	@echo "    {" > $@
	@echo "        \"command\": \"${CC}  ${CFLAGS} ${CPPFLAGS} -c $<\"," >> $@
	@echo "        \"directory\": \"${CURDIR}\"," >> $@
	@echo "        \"file\": \"$<\"" >> $@
	@echo "    }," >> $@

compile_commands.json: $(addsuffix .compdb_entry, $(basename ${SRC}))
	@echo "[" > $@
	@cat $^ >> $@
	@echo "]" >> $@

clangtidy-report.txt: compile_commands.json ${SRC} ${HEADERS}
	clang-tidy -checks="*" -header-filter=".*" ${SRC} > $@

valgrind-report.xml: csolve
	valgrind --xml=yes --xml-file=valgrind-report.xml ./$< examples/sudoku.txt

analyze: clangtidy-report.txt valgrind-report.xml

clean:
	rm -rf csolve csolve-prof fuzz/csolve fuzz/csolve-cov fuzz/findings test/test googletest test/xunit-report.xml test/coverage-report.xml test/*.o test/*.gcda test/*.gcno *.gcda *.gcno src/*.compdb_entry compile_commands.json clangtidy-report.txt valgrind-report.xml doc/doxygen

sonar_start:
	${SONAR} start
sonar_stop:
	${SONAR} stop
sonar_run:
	${SONAR_RUNNER}

.PHONY: all test coverage fuzz doc clean sonar_start sonar_stop sonar_run