git.iko.soy/Idris-dev
on de0bcbd help sign in
Idris-dev/test/Makefile
74 lines 2.5 kB history raw
1TESTS = $(sort $(patsubst %/,%.test,$(wildcard */)))
3test: $(TESTS)
5%.test:
6 @perl ./runtest.pl $(patsubst %.test,%,$@)
8test_java:
9 perl ./runtest.pl all --codegen Java
11test_js:
12 @perl ./runtest.pl reg001 --codegen node
13 @perl ./runtest.pl reg002 --codegen node
14 @perl ./runtest.pl reg003 --codegen node
15 @perl ./runtest.pl reg004 --codegen node
16 @perl ./runtest.pl reg005 --codegen node
17 @perl ./runtest.pl reg006 --codegen node
18 @perl ./runtest.pl reg007 --codegen node
19 @perl ./runtest.pl reg008 --codegen node
20 @perl ./runtest.pl reg009 --codegen node
21 @perl ./runtest.pl reg010 --codegen node
22 @perl ./runtest.pl reg011 --codegen node
23 @perl ./runtest.pl reg012 --codegen node
24 @perl ./runtest.pl reg013 --codegen node
25 @perl ./runtest.pl reg014 --codegen node
26 @perl ./runtest.pl reg015 --codegen node
27 @#perl ./runtest.pl reg016 --codegen node
28 @perl ./runtest.pl reg017 --codegen node
29 @perl ./runtest.pl reg018 --codegen node
30 @perl ./runtest.pl reg019 --codegen node
31 @perl ./runtest.pl reg020 --codegen node
32 @perl ./runtest.pl test001 --codegen node
33 @perl ./runtest.pl test002 --codegen node
34 @perl ./runtest.pl test003 --codegen node
35 @#perl ./runtest.pl test004 --codegen node
36 @perl ./runtest.pl test005 --codegen node
37 @perl ./runtest.pl test006 --codegen node
38 @perl ./runtest.pl test007 --codegen node
39 @perl ./runtest.pl test008 --codegen node
40 @perl ./runtest.pl test009 --codegen node
41 @perl ./runtest.pl test010 --codegen node
42 @perl ./runtest.pl test011 --codegen node
43 @perl ./runtest.pl test012 --codegen node
44 @perl ./runtest.pl test013 --codegen node
45 @#perl ./runtest.pl test014 --codegen node
46 @perl ./runtest.pl test015 --codegen node
47 @perl ./runtest.pl test016 --codegen node
48 @perl ./runtest.pl test017 --codegen node
49 @#perl ./runtest.pl test018 --codegen node
50 @perl ./runtest.pl test019 --codegen node
51 @perl ./runtest.pl test020 --codegen node
52 @#perl ./runtest.pl test021 --codegen node
53 @perl ./runtest.pl test022 --codegen node
54 @perl ./runtest.pl test023 --codegen node
55 @perl ./runtest.pl test024 --codegen node
56 @#perl ./runtest.pl test025 --codegen node
57 @perl ./runtest.pl test026 --codegen node
58 @perl ./runtest.pl test027 --codegen node
59 @perl ./runtest.pl test028 --codegen node
60 @perl ./runtest.pl test029 --codegen node
61 @perl ./runtest.pl test030 --codegen node
62 @perl ./runtest.pl test031 --codegen node
64update:
65 perl ./runtest.pl all -u
67diff:
68 perl ./runtest.pl all -d
70distclean:
71 rm -f *~
72 rm -f */output
74.phony: test test_java test_js update diff distclean $(TESTS)