Restored Makefile
This commit is contained in:
parent
ec167350b4
commit
da26bb4378
1 changed files with 3 additions and 3 deletions
6
Makefile
6
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
|
||||
|
|
Loading…
Add table
Reference in a new issue