git.iko.soy/Idris-dev
on master help sign in
Test LLVM codegen on travis to reduce future breakage
commit03adfb027607447be0ed7d50df5784dba34db91f authorBenjamin Saunders <besaunde@sfu.ca> dateTue 8 Oct 2013, 15:20 (13 years ago) parent8e53c10
3 files changed+37−1
compare with master
unifiedsplit
.travis.yml+1−1 Makefile+3 test/Makefile+33
.travis.yml+1−1
@@ -13,4 +13,4 @@ script:
1313 - cabal configure
1414 - cabal install
1515 - make test
16−
16+ - make test_llvm
Makefile+3
@@ -19,6 +19,9 @@ test:
1919test_java:
2020 $(MAKE) -C test IDRIS=../dist/build/idris test_java
2121
22+test_llvm:
23+ $(MAKE) -C test IDRIS=../dist/build/idris test_llvm
24+
2225relib:
2326 $(MAKE) -C lib IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts clean
2427 $(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:
6161 @perl ./runtest.pl test030 --codegen node
6262 @perl ./runtest.pl test031 --codegen node
6363
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+
6497update:
6598 perl ./runtest.pl all -u
6699