build: add --enable-gcov to configure
commit5a9d4b5ef4b85c43b219cf920fa4a01b77529013
authorNicola Fontana <ntd@entidi.it>
Wed, 21 Jan 2015 11:00:32 +0000 (21 12:00 +0100)
committerNicola Fontana <ntd@entidi.it>
Wed, 21 Jan 2015 11:00:32 +0000 (21 12:00 +0100)
tree7385008042975f8af3c78d903b4098700ad32105
parentd976b0580ceb09fa4dc6388721afb1129524859b
build: add --enable-gcov to configure

More robust coverage infrastructure: enabling flags in configure and
simplified rules in Makefiles. The current workflow is:

./configure --enable-gcov
make
make check
make coverage
.gitignore
Makefile.am
configure.ac
src/adg/Makefile.am
src/adg/tests/Makefile.am
src/cpml/Makefile.am
src/cpml/tests/Makefile.am