git.iko.soy/Idris-dev
on 20ffcfd help sign in
Idris-dev/test/Makefile
28 lines 546 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 all --codegen Java
13test_js:
14 @perl ./runtest.pl without reg029 reg031 test004 test014 test018 test021 test025 test033 --codegen node
16test_llvm:
17 @perl ./runtest.pl without test018 --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