]> hydra-www.ietfng.org Git - dyna2/commitdiff
Add 'fcomp' target to Makefile
authorNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Wed, 19 Jun 2013 03:18:52 +0000 (23:18 -0400)
committerNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Wed, 19 Jun 2013 03:18:52 +0000 (23:18 -0400)
Makefile

index a65d0a45ef3a064ac4ba1064856b3f834df99131..70022d047d0107ffc88d7668be115e197d54e3a5 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -22,6 +22,12 @@ test tests: build
        dist/build/dyna-selftests/dyna-selftests
        # cabal test
 
+# Compilation takes a while; for faster iteration while developing,
+# turn off optimization.
+fcomp:
+       cabal configure --user --enable-tests -O0
+       cabal build
+
 .PHONY: clean veryclean
 clean:
        rm -rf examples/*.dyna.*.plan  \