From 02efafa7f1c38dc2f49d03b62deba5ab56c2f51e Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 3 Oct 2013 16:03:30 +0200
Subject: [PATCH] Pinned ABC revision to 0f9e5488ced3

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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
-- 
2.30.2