From f6f5dff84992e9ced7cb5f34f93d245f1dc1dc1d Mon Sep 17 00:00:00 2001
From: Adam Sampson <ats@offog.org>
Date: Tue, 1 May 2007 00:53:18 +0000
Subject: [PATCH] Add profiling options

---
 fco2/Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/fco2/Makefile b/fco2/Makefile
index 6a61526..d78c515 100644
--- a/fco2/Makefile
+++ b/fco2/Makefile
@@ -23,8 +23,10 @@ sources = \
 	Unnest.hs \
 	Utils.hs
 
+# profile_opts = -prof -auto-all
+
 $(targets): $(sources)
-	ghc -fglasgow-exts -fallow-undecidable-instances -o tock --make Main
+	ghc -fglasgow-exts -fallow-undecidable-instances $(profile_opts) -o tock --make Main
 
 CFLAGS = -g -std=gnu99 -Wall `kroc --cflags` `kroc --ccincpath`