git.iko.soy/Idris-dev
on b3b7bb7 help sign in
Idris-dev/test/Makefile
28 lines 547 B history raw
1.PHONY: test test_js time update diff distclean $(TESTS)
3TESTS = $(sort $(patsubst %/,%.test,$(wildcard */)))
5test: $(TESTS)
8info:
9 /usr/bin/env perl ./runtest.pl all
11%.test:
12 @perl ./runtest.pl $(patsubst %.test,%,$@) -q
14test_js:
15 @perl ./runtest.pl without sugar004 reg029 reg052 io001 dsl002 io003 effects001 effects002 basic007 basic011 ffi006 --codegen node
17update:
18 /usr/bin/env perl ./runtest.pl all -u
20diff:
21 /usr/bin/env perl ./runtest.pl all -d
23time:
24 /usr/bin/env perl ./runtest.pl all -t
26distclean:
27 rm -f *~
28 rm -f */output