From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 24 Jan 2014 14:47:09 +0000 (+0100)
Subject: Restored Makefile
X-Git-Tag: yosys-0.2.0~146^2~5
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=da26bb43782dc9be3bac66405ce6aad7068500da;p=yosys.git

Restored Makefile
---

diff --git a/Makefile b/Makefile
index c1af9c558..525d85132 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