Permalink
Browse files

Update the Makefile.

"make conf" now by default does not enable debugging.
  • Loading branch information...
1 parent ae7e52f commit 2fc78b68fb8ca29e46f2ad079b8ed387f3bf7625 @jlouis committed May 27, 2010
Showing with 5 additions and 2 deletions.
  1. +5 −2 Makefile
View
@@ -9,12 +9,15 @@ test: build
runghc Setup.lhs test
conf:
+ runghc Setup.lhs configure --user --enable-library-profiling --enable-executable-profiling --enable-optimization
+
+conf-debug:
runghc Setup.lhs configure --flags="debug" --user --enable-library-profiling --enable-executable-profiling --enable-optimization
-conf-t:
+conf-td:
runghc Setup.lhs configure --flags="debug threaded" --user --enable-library-profiling --enable-executable-profiling --enable-optimization
-conf-fast:
+conf-t:
runghc Setup.lhs configure --flags="threaded" --user --enable-library-profiling --enable-optimization
conf-hpc:

0 comments on commit 2fc78b6

Please sign in to comment.