projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ec16735)
Restored Makefile
authorClifford Wolf <clifford@clifford.at>
Fri, 24 Jan 2014 14:47:09 +0000 (15:47 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 24 Jan 2014 14:47:09 +0000 (15:47 +0100)
Makefile patch | blob | history

diff --git a/Makefile b/Makefile
index c1af9c55858ff5cd0d4343c23085d3c3d533786f..525d85132a9e8784472788cd0fb8a0d3767f61cc 100644 (file)
--- 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