From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 3 Oct 2013 14:03:30 +0000 (+0200)
Subject: Pinned ABC revision to 0f9e5488ced3
X-Git-Tag: yosys-0.2.0~475
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=02efafa7f1c38dc2f49d03b62deba5ab56c2f51e;p=yosys.git

Pinned ABC revision to 0f9e5488ced3
---

diff --git a/Makefile b/Makefile
index 8205b43a7..1af48d4e0 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