Add a test_c target for testing C back end only
commita6599cf534cf951e644169c6d8f590eab57c09cd
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSat 30 Nov 2013, 14:10 (13 years ago)
parentcc35585
.travis.yml+2−1
@@ -19,6 +19,7 @@ script:
1919 - cabal copy
2020 - make -j2 $TESTS
2121env:
22− - TESTS=test
22+ - TESTS=doc
23+ - TESTS=test_c
2324 - TESTS=test_java
2425 - 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
22
33include config.mk
44-include custom.mk
@@ -13,7 +13,9 @@ pinstall: dist/setup-config
1313build: dist/setup-config
1414 $(CABAL) build $(CABALFLAGS)
1515
16−test: doc
16+test: doc test_c
17+
18+test_c:
1719 $(MAKE) -C test IDRIS=../dist/build/idris
1820
1921test_java: