summaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
Diffstat (limited to 'GNUmakefile')
-rw-r--r--GNUmakefile32
1 files changed, 32 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile
new file mode 100644
index 0000000..55669af
--- /dev/null
+++ b/GNUmakefile
@@ -0,0 +1,32 @@
1# Simple makefile for _running_ tests, use Cabal to build.
2
3.PHONY: all clean markup report test really-clean
4
5TESTS = dist/build/tests/tests
6
7HPC = hpc
8HPC_SUM_OPTS = --exclude=Main --exclude=DataencUT --exclude=DataencQC
9
10all:
11 @echo "Use Cabal to build, this is only used to run tests!"
12
13test: $(TESTS)
14 for t in $(TESTS); do ./$${t}; done
15
16report : test
17 $(HPC) sum $(HPC_SUM_OPTS) --output run_test.tix tests.tix
18 $(HPC) report run_test.tix
19
20markup : test
21 $(HPC) sum $(HPC_SUM_OPTS) --output run_test.tix tests.tix
22 $(HPC) markup run_test.tix
23
24clean:
25 rm -f *~ *.tix *.html *.o *.hi
26 rm -f src/Codec/Binary/*.o
27 rm -f src/Codec/Binary/*.hi
28 rm -f src/Codec/Binary/*~
29
30really-clean: clean
31 rm -rf .hpc
32 ./Setup.hs clean