projects / cubicaltt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e053ab3)
Update Makefile
authorAnders <mortberg@chalmers.se>
Fri, 27 Mar 2015 17:05:09 +0000 (18:05 +0100)
committerAnders <mortberg@chalmers.se>
Fri, 27 Mar 2015 17:05:09 +0000 (18:05 +0100)
Makefile patch | blob | blame | history

diff --git a/Makefile b/Makefile
index 31db06c517f4029840c1554d49bf88044993d783..4e81cf6ec819e88b71a6ab516ef15bd1d053c40f 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
-#GHC=ghc
-GHC=cabal exec ghc -- 
+GHC=ghc
+#GHC=cabal exec ghc -- 
 OPT=2
 
 all:
My fork of cubicaltt with web interface using Reflex.