21 lines
606 B
Makefile
21 lines
606 B
Makefile
EXTRA_DIST = reconf
|
|
SUBDIRS = src test utilities benchmarks
|
|
AM_CFLAGS = -g -Wall -pedantic -Wconversion
|
|
|
|
docs:
|
|
doxygen doc/Doxyfile-api
|
|
doxygen doc/Doxyfile-developers
|
|
|
|
precoverage :
|
|
find . -name '*.bb' | xargs rm -f
|
|
find . -name '*.bbg' | xargs rm -f
|
|
find . -name '*.da' | xargs rm -f
|
|
|
|
coverage: precoverage check
|
|
echo '(make profile requires CFLAGS="-fprofile-arcs -ftest-coverage -pg -O0")'
|
|
lcov -c --directory src/libdfa/ --directory src/lladd/ --directory test/ > tmp.info
|
|
# lcov -c --directory . > tmp.info
|
|
genhtml -o doc/coverage tmp.info
|
|
rm tmp.info
|
|
|
|
.PHONY: docs precoverage coverage
|