Pinned ABC revision to 0f9e5488ced3

This commit is contained in:
Clifford Wolf 2013-10-03 16:03:30 +02:00
parent 5dce6379aa
commit 02efafa7f1
1 changed files with 3 additions and 1 deletions

View File

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