From 637a12b7e3ddcf998ca020ab2c1eddb4bbd27c8d Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 3 Dec 2013 16:50:14 +0100
Subject: [PATCH] Minor improvements in ABc build

---
 Makefile | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

diff --git a/Makefile b/Makefile
index 31ae76553..ed079351b 100644
--- a/Makefile
+++ b/Makefile
@@ -31,6 +31,7 @@ YOSYS_VER := 0.1.0+
 GIT_REV := $(shell git rev-parse --short HEAD || echo UNKOWN)
 OBJS = kernel/version_$(GIT_REV).o
 
+# set to 'default' to use abc/ as it is
 ABCREV = 9241719523f6
 ABCPULL = 1
 
@@ -107,20 +108,14 @@ yosys-svgviewer: libs/svgviewer/*.h libs/svgviewer/*.cpp
 	cd libs/svgviewer && $(QMAKE) && make
 	cp libs/svgviewer/svgviewer yosys-svgviewer
 
-abc:
-ifeq ($(ABCPULL),1)
-	test -d abc || hg clone https://bitbucket.org/alanmi/abc abc
-	cd abc && hg pull && hg update -r $(ABCREV)
-endif
-	cd abc && $(MAKE)
-	cp abc/abc yosys-abc
-
 abc/abc-$(ABCREV):
+ifneq ($(ABCREV),default)
 	if test "`cd abc && hg identify | cut -f1 -d' '`" != "$(ABCREV)"; then \
 		test $(ABCPULL) -ne 0 || { echo; echo "!!! ABC not up to date and ABCPULL set to 0 in Makefile !!!"; echo; exit 1; }; \
 		test -d abc || hg clone https://bitbucket.org/alanmi/abc abc; \
 		cd abc && hg pull && hg update -r $(ABCREV); \
 	fi
+endif
 	rm -f abc/abc-[0-9a-f]*
 	cd abc && $(MAKE) PROG="abc-$(ABCREV)" MSG_PREFIX="YOSYS-ABC: "
 
-- 
2.30.2