git.iko.soy/Idris-dev
on da672ec help sign in
Idris-dev/test/Makefile
21 lines 459 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_js:
11 @perl ./runtest.pl without sugar004 reg029 reg052 io001 dsl002 io003 effects001 effects002 basic007 basic011 ffi006 --codegen node
13update:
14 /usr/bin/env perl ./runtest.pl all -u
16diff:
17 /usr/bin/env perl ./runtest.pl all -d
19distclean:
20 rm -f *~
21 rm -f */output