summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-10-03 16:03:30 +0200
committerClifford Wolf <clifford@clifford.at>2013-10-03 16:03:30 +0200
commit02efafa7f1c38dc2f49d03b62deba5ab56c2f51e (patch)
tree7af9cb711abf1a99976aff50c4f24cdd014b1ace /Makefile
parent5dce6379aa7e3a89b58efb60db21f34343ee089d (diff)
Pinned ABC revision to 0f9e5488ced3
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 8205b43a..1af48d4e 100644
--- 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