makefile

2026-10-07 02:23:09 +02:00 · 2014-01-03 10:54:30 +01:00
parent ffd768ce86
commit 5da334fc2e
2 changed files with 3 additions and 3 deletions
@@ -4,10 +4,10 @@ CONFIG := clang-debug
 # CONFIG := release

 # features (the more the better)
-ENABLE_TCL := 1
+ENABLE_TCL := 0
 ENABLE_QT4 := 1
-ENABLE_MINISAT := 1
-ENABLE_ABC := 1
+ENABLE_MINISAT := 0
+ENABLE_ABC := 0

 # other configuration flags
 ENABLE_GPROF := 0