From: Nathaniel Wesley Filardo Date: Wed, 19 Jun 2013 03:18:52 +0000 (-0400) Subject: Add 'fcomp' target to Makefile X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=db2f5736df7bfcd33d8f0fe5bddbc068beda59df;p=dyna2 Add 'fcomp' target to Makefile --- diff --git a/Makefile b/Makefile index a65d0a4..70022d0 100644 --- 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 \