Skip to content
Fetching contributors…
Cannot retrieve contributors at this time
21 lines (15 sloc) 556 Bytes
# The tests should be compiled and run using cabal:
# > cabal configure --enable-tests
# > cabal build
# > cabal test
# This Makefile is used by developers to compile the tests manually.
%-properties: %-properties.hs force
ghc -O2 -DTESTING $< -i.. -o $@ -outputdir tmp
%-strict-properties: %-properties.hs force
ghc -O2 -DTESTING -DSTRICT $< -o $@ -i.. -outputdir tmp
.PHONY: force clean
rm -rf tmp $(patsubst %.hs, %, $(wildcard *-properties.hs)) $(patsubst %-properties.hs, %-strict-properties, $(wildcard *-properties.hs))
Jump to Line
Something went wrong with that request. Please try again.