git.iko.soy/Idris-dev
on master help sign in
Make it possible to run stylish script from make
a6f2eb7Echo Nolan
Makefile+5−2
compare with master
unifiedsplit
@@ -1,4 +1,4 @@
1−.PHONY: build configure doc install linecount nodefault pinstall lib_clean relib fast test_js test_c test test_clean lib_doc lib_doc_clean user_doc_html user_doc_pdf user_docs
1+.PHONY: build configure doc install linecount nodefault pinstall lib_clean relib fast test_js test_c stylize test test_clean lib_doc lib_doc_clean user_doc_html user_doc_pdf user_docs
2
2
3ARGS=
3ARGS=
4TEST-JOBS=
4TEST-JOBS=
@@ -24,7 +24,10 @@ pinstall: dist/setup-config
24build: dist/setup-config
24build: dist/setup-config
25 $(CABAL) build $(CABALFLAGS)
25 $(CABAL) build $(CABALFLAGS)
26
26
27−test: doc test_c
27+test: doc test_c sylize
28+
29+stylize:
30+ ./stylize.sh
28
31
29test_c:
32test_c:
30 $(CABAL) test $(ARGS) --test-options \
33 $(CABAL) test $(ARGS) --test-options \