git.iko.soy/Idris-dev
on master help sign in
Merge pull request #588 from david-christiansen/test_all
73f4393Edwin Brady
Makefile+5
compare with master
unifiedsplit
@@ -22,6 +22,11 @@ test_java:
22test_llvm:
22test_llvm:
23 $(MAKE) -C test IDRIS=../dist/build/idris test_llvm
23 $(MAKE) -C test IDRIS=../dist/build/idris test_llvm
24
24
25+test_all:
26+ $(MAKE) test
27+ $(MAKE) test_llvm
28+ $(MAKE) test_java
29+
25lib_clean:
30lib_clean:
26 $(MAKE) -C lib IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts clean
31 $(MAKE) -C lib IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts clean
27 $(MAKE) -C effects IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts DIST=../dist/build clean
32 $(MAKE) -C effects IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts DIST=../dist/build clean