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`