git.iko.soy/Idris-dev
on 87fb53a help sign in
Idris-dev/test/Makefile
34 lines 634 B history raw
1.PHONY: test test_js time update diff distclean $(TESTS)
3TESTS = $(sort $(patsubst %/,%.test,$(wildcard */)))
5test: $(TESTS)
8info: runtest
9 @./runtest all
11%.test: runtest
12 @./runtest $(patsubst %.test,%,$@) -q
14test_js: runtest
15 @./runtest without tutorial007 sugar004 reg029 reg052 io001 dsl002 io003 effects001 effects002 basic007 basic011 ffi006 ffi007 ffi008 primitives005 primitives006 opts --codegen node
17update: runtest
18 @./runtest all -u
20diff: runtest
21 @./runtest all -d
23time: runtest
24 @./runtest all -t
26distclean:
27 @rm runtest
28 @rm -f *~
29 @rm -f */output
32runtest:
33 @ghc --make runtest.hs
34 @rm runtest.o runtest.hi