summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-01-24 15:47:09 +0100
committerClifford Wolf <clifford@clifford.at>2014-01-24 15:47:09 +0100
commitda26bb43782dc9be3bac66405ce6aad7068500da (patch)
tree5d504bd09472b4b842aa6110c60d699e77ca6f35
parentec167350b43ce29d562787cdabe3b7df2d3ca350 (diff)
Restored Makefile
-rw-r--r--Makefile6
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index c1af9c55..525d8513 100644
--- a/Makefile
+++ b/Makefile
@@ -4,10 +4,10 @@ CONFIG := clang-debug
# CONFIG := release
# features (the more the better)
-ENABLE_TCL := 0
+ENABLE_TCL := 1
ENABLE_QT4 := 1
-ENABLE_MINISAT := 0
-ENABLE_ABC := 0
+ENABLE_MINISAT := 1
+ENABLE_ABC := 1
# other configuration flags
ENABLE_GPROF := 0