Improved building of yosys-abc

diff --git a/Makefile b/Makefile
index 9fdd8cfb4ade70072c670c02a9b12e4a95e4266e..a92c65257d7a4396a98c5676c49db84944fcd14e 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -27,6 +27,7 @@ GIT_REV := $(shell git rev-parse --short HEAD || echo UNKOWN)
 OBJS = kernel/version_$(GIT_REV).o
 
 ABCREV = 0f9e5488ced3
+ABCHGPULL = 1
 
 -include Makefile.conf
 
@@ -97,8 +98,11 @@ yosys-svgviewer: libs/svgviewer/*.h libs/svgviewer/*.cpp
        cp libs/svgviewer/svgviewer yosys-svgviewer
 
 abc:
+ifeq ($(ABCHGPULL),1)
        test -d abc || hg clone https://bitbucket.org/alanmi/abc abc
-       cd abc && hg pull && hg update -r $(ABCREV) && make
+       cd abc && hg pull && hg update -r $(ABCREV)
+endif
+       cd abc && $(MAKE)
        cp abc/abc yosys-abc
 
 test: yosys