projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ffd768c)
makefile
authorAhmed Irfan <ahmedirfan1983@gmail.com>
Fri, 3 Jan 2014 09:54:30 +0000 (10:54 +0100)
committerAhmed Irfan <ahmedirfan1983@gmail.com>
Fri, 3 Jan 2014 09:54:30 +0000 (10:54 +0100)
Makefile patch | blob | history
manual/make.sh [changed mode: 0644->0755] patch | blob | history

diff --git a/Makefile b/Makefile
index 2590033a6e3bd55339c8bb703d99f7d0286eb2ac..e4d2e5104bd93ace58a12da4beaf3a9b8116e60e 100644 (file)
--- 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 (file)
new mode 100755 (executable)