2004-06-24 21:10:31 +00:00
|
|
|
EXTRA_DIST = reconf
|
2004-10-18 18:24:54 +00:00
|
|
|
SUBDIRS = src test utilities benchmarks
|
2006-11-11 00:36:48 +00:00
|
|
|
export GLOBAL_CFLAGS = -g -Wall -pedantic -std=gnu99 -DPBL_COMPAT
|
2006-06-13 22:48:50 +00:00
|
|
|
## GOAL: Make these not warn!
|
2006-11-11 00:36:48 +00:00
|
|
|
#-Wextra -Wno-unused-parameter -Winline
|
2006-06-13 22:48:50 +00:00
|
|
|
|
|
|
|
|
# -feliminate-unused-debug-symbols -feliminate-unused-debug-types -funit-at-a-time -finline-functions -fno-keep-static-consts
|
|
|
|
|
|
|
|
|
|
#-funit-at-a-time => -finline-functions-called-once
|
|
|
|
|
#-Wconversion
|
2004-06-24 21:10:31 +00:00
|
|
|
|
2004-10-17 02:17:00 +00:00
|
|
|
docs:
|
2004-06-24 21:10:31 +00:00
|
|
|
doxygen doc/Doxyfile-api
|
|
|
|
|
doxygen doc/Doxyfile-developers
|
|
|
|
|
|
2004-10-04 05:24:12 +00:00
|
|
|
precoverage :
|
|
|
|
|
find . -name '*.bb' | xargs rm -f
|
|
|
|
|
find . -name '*.bbg' | xargs rm -f
|
|
|
|
|
find . -name '*.da' | xargs rm -f
|
2006-10-06 23:46:53 +00:00
|
|
|
rm -rf doc/coverage
|
2004-10-04 05:24:12 +00:00
|
|
|
|
2006-10-06 23:46:53 +00:00
|
|
|
coverage: all precoverage
|
2004-10-04 05:24:12 +00:00
|
|
|
echo '(make profile requires CFLAGS="-fprofile-arcs -ftest-coverage -pg -O0")'
|
2006-10-06 23:46:53 +00:00
|
|
|
cd test/lladd
|
|
|
|
|
make check || true
|
|
|
|
|
cd ../..
|
2004-10-04 05:24:12 +00:00
|
|
|
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
|
|
|
|
|
|
2004-10-06 06:08:09 +00:00
|
|
|
.PHONY: docs precoverage coverage
|
