aboutsummaryrefslogtreecommitdiffstats
path: root/config-coverage-gcc.mk
diff options
context:
space:
mode:
authorMattias Andrée <maandree@kth.se>2022-02-20 13:09:05 +0100
committerMattias Andrée <maandree@kth.se>2022-02-20 13:09:05 +0100
commit711872f601e63bcd5efcc7de0e3c69748cd852dd (patch)
treea8f7fc797a56627b3f04107e72f7316bff02d64c /config-coverage-gcc.mk
parentm (diff)
downloadlibblake-711872f601e63bcd5efcc7de0e3c69748cd852dd.tar.gz
libblake-711872f601e63bcd5efcc7de0e3c69748cd852dd.tar.bz2
libblake-711872f601e63bcd5efcc7de0e3c69748cd852dd.tar.xz
Add coverage test
Signed-off-by: Mattias Andrée <maandree@kth.se>
Diffstat (limited to 'config-coverage-gcc.mk')
-rw-r--r--config-coverage-gcc.mk11
1 files changed, 11 insertions, 0 deletions
diff --git a/config-coverage-gcc.mk b/config-coverage-gcc.mk
new file mode 100644
index 0000000..80c21b6
--- /dev/null
+++ b/config-coverage-gcc.mk
@@ -0,0 +1,11 @@
+CONFIGFILE_PROPER = config.mk
+include $(CONFIGFILE_PROPER)
+
+CC = $(CC_PREFIX)gcc -std=c11
+GCOV = gcov
+
+CFLAGS = -g -O0 -pedantic -fprofile-arcs -ftest-coverage
+LDFLAGS = -lgcov -fprofile-arcs
+
+coverage: check
+ $(GCOV) -pr $(SRC) 2>&1