git.iko.soy/Idris-dev
on 02de034 help sign in
Idris-dev/test/Makefile
28 lines 603 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 --codegen Java
13test_js:
14 @perl ./runtest.pl without sugar004 reg029 reg052 io001 dsl002 io003 effects001 effects002 buffer001 basic011 --codegen node
16test_llvm:
17 @perl ./runtest.pl without primitives003 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