git.iko.soy/Idris-dev
on dcdebfc help sign in
Idris-dev/test/Makefile
28 lines 613 B history raw
1.PHONY: test test_java test_js update diff distclean $(TESTS)
3TESTS = $(sort $(patsubst %/,%.test,$(wildcard */)))
5test: $(TESTS)
7%.test:
8 @perl ./runtest.pl $(patsubst %.test,%,$@)
10test_java:
11 perl ./runtest.pl without sugar004 buffer001 --codegen Java
13test_js:
14 @perl ./runtest.pl without sugar004 reg029 io001 dsl002 io003 effects001 effects002 buffer001 bounded001 folding002 --codegen node
16test_llvm:
17 @perl ./runtest.pl without sugar004 io003 buffer001 --codegen llvm
19update:
20 /usr/bin/env perl ./runtest.pl all -u
22diff:
23 /usr/bin/env perl ./runtest.pl all -d
25distclean:
26 rm -f *~
27 rm -f */output