git.iko.soy/Idris-dev
on master help sign in
Test LLVM codegen on travis to reduce future breakage
03adfb0Benjamin Saunders
.travis.yml+1−1
compare with master
unifiedsplit
@@ -13,4 +13,4 @@ script:
13 - cabal configure
13 - cabal configure
14 - cabal install
14 - cabal install
15 - make test
15 - make test
16−
16+ - make test_llvm
Makefile+3
@@ -19,6 +19,9 @@ test:
19test_java:
19test_java:
20 $(MAKE) -C test IDRIS=../dist/build/idris test_java
20 $(MAKE) -C test IDRIS=../dist/build/idris test_java
21
21
22+test_llvm:
23+ $(MAKE) -C test IDRIS=../dist/build/idris test_llvm
24+
22relib:
25relib:
23 $(MAKE) -C lib IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts clean
26 $(MAKE) -C lib IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts clean
24 $(MAKE) -C effects IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts DIST=../dist/build clean
27 $(MAKE) -C effects IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts DIST=../dist/build clean
test/Makefile+33
@@ -61,6 +61,39 @@ test_js:
61 @perl ./runtest.pl test030 --codegen node
61 @perl ./runtest.pl test030 --codegen node
62 @perl ./runtest.pl test031 --codegen node
62 @perl ./runtest.pl test031 --codegen node
63
63
64+test_llvm:
65+ @perl ./runtest.pl test001 --codegen llvm
66+ @perl ./runtest.pl test002 --codegen llvm
67+ @perl ./runtest.pl test003 --codegen llvm
68+ @perl ./runtest.pl test004 --codegen llvm
69+ @perl ./runtest.pl test005 --codegen llvm
70+ @perl ./runtest.pl test006 --codegen llvm
71+ @perl ./runtest.pl test007 --codegen llvm
72+ @perl ./runtest.pl test008 --codegen llvm
73+ @perl ./runtest.pl test009 --codegen llvm
74+ @perl ./runtest.pl test010 --codegen llvm
75+ @perl ./runtest.pl test011 --codegen llvm
76+ @perl ./runtest.pl test012 --codegen llvm
77+ @perl ./runtest.pl test013 --codegen llvm
78+ @perl ./runtest.pl test014 --codegen llvm
79+ @perl ./runtest.pl test015 --codegen llvm
80+ @perl ./runtest.pl test016 --codegen llvm
81+ @perl ./runtest.pl test017 --codegen llvm
82+ @#perl ./runtest.pl test018 --codegen llvm
83+ @perl ./runtest.pl test019 --codegen llvm
84+ @perl ./runtest.pl test020 --codegen llvm
85+ @perl ./runtest.pl test021 --codegen llvm
86+ @perl ./runtest.pl test022 --codegen llvm
87+ @perl ./runtest.pl test023 --codegen llvm
88+ @perl ./runtest.pl test024 --codegen llvm
89+ @perl ./runtest.pl test025 --codegen llvm
90+ @perl ./runtest.pl test026 --codegen llvm
91+ @perl ./runtest.pl test027 --codegen llvm
92+ @perl ./runtest.pl test028 --codegen llvm
93+ @perl ./runtest.pl test029 --codegen llvm
94+ @perl ./runtest.pl test030 --codegen llvm
95+ @perl ./runtest.pl test031 --codegen llvm
96+
64update:
97update:
65 perl ./runtest.pl all -u
98 perl ./runtest.pl all -u
66
99