git.iko.soy/Idris-dev
on master help sign in
Add a test_c target for testing C back end only
a6599cfEdwin Brady
.travis.yml+2−1
compare with master
unifiedsplit
@@ -19,6 +19,7 @@ script:
19 - cabal copy
19 - cabal copy
20 - make -j2 $TESTS
20 - make -j2 $TESTS
21env:
21env:
22− - TESTS=test
22+ - TESTS=doc
23+ - TESTS=test_c
23 - TESTS=test_java
24 - TESTS=test_java
24 - TESTS=test_llvm
25 - TESTS=test_llvm
Makefile+4−2
@@ -1,4 +1,4 @@
1−.PHONY: build configure doc install linecount nodefault pinstall lib_clean relib test
1+.PHONY: build configure doc install linecount nodefault pinstall lib_clean relib test_c test
2
2
3include config.mk
3include config.mk
4-include custom.mk
4-include custom.mk
@@ -13,7 +13,9 @@ pinstall: dist/setup-config
13build: dist/setup-config
13build: dist/setup-config
14 $(CABAL) build $(CABALFLAGS)
14 $(CABAL) build $(CABALFLAGS)
15
15
16−test: doc
16+test: doc test_c
17+
18+test_c:
17 $(MAKE) -C test IDRIS=../dist/build/idris
19 $(MAKE) -C test IDRIS=../dist/build/idris
18
20
19test_java:
21test_java: