From: Ahmed Irfan <ahmedirfan1983@gmail.com>
Date: Fri, 3 Jan 2014 09:54:30 +0000 (+0100)
Subject: makefile
X-Git-Tag: yosys-0.2.0~146^2~7^2~18
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5da334fc2efd66c8a5efde925bb18212c34d0cef;p=yosys.git

makefile
---

diff --git a/Makefile b/Makefile
index 2590033a6..e4d2e5104 100644
--- a/Makefile
+++ b/Makefile
@@ -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
diff --git a/manual/make.sh b/manual/make.sh
old mode 100644
new mode 100755