231c863287eef0c1b9d33e8f9262325c33c4a6f2
[packages/containers.git] / tests / Makefile
1 # The tests should be compiled and run using cabal:
2 # > cabal configure --enable-tests
3 # > cabal build
4 # > cabal test
5 #
6 # This Makefile is used by developers to compile the tests manually.
7
8 all:
9
10 %-properties: %-properties.hs force
11 ghc -I../include -O2 -DTESTING $< -i.. -o $@ -outputdir tmp
12
13 %-strict-properties: %-properties.hs force
14 ghc -I../include -O2 -DTESTING -DSTRICT $< -o $@ -i.. -outputdir tmp
15
16 .PHONY: force clean
17 force:
18
19 clean:
20 rm -rf tmp $(patsubst %.hs, %, $(wildcard *-properties.hs)) $(patsubst %-properties.hs, %-strict-properties, $(wildcard *-properties.hs))