Pinned ABC revision to 0f9e5488ced3
authorClifford Wolf <clifford@clifford.at>
Thu, 3 Oct 2013 14:03:30 +0000 (16:03 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 3 Oct 2013 14:03:30 +0000 (16:03 +0200)
Makefile

index 8205b43a7261d5e61acaaf4e809a94e9b2d3fc87..1af48d4e057eb82a49cc62354f5215f14e145e52 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -24,6 +24,8 @@ YOSYS_VER := 0.0.x
 GIT_REV := $(shell git rev-parse --short HEAD || echo UNKOWN)
 OBJS = kernel/version_$(GIT_REV).o
 
+ABCREV = 0f9e5488ced3
+
 -include Makefile.conf
 
 ifeq ($(CONFIG),clang-debug)
@@ -94,7 +96,7 @@ yosys-svgviewer: libs/svgviewer/*.h libs/svgviewer/*.cpp
 
 abc:
        test -d abc || hg clone https://bitbucket.org/alanmi/abc abc
-       cd abc && hg pull && hg update && make
+       cd abc && hg pull && hg update -r $(ABCREV) && make
        cp abc/abc yosys-abc
 
 test: yosys