More ABC releated Makefile changes

This commit is contained in:
Clifford Wolf 2013-12-04 08:31:52 +01:00
parent 637a12b7e3
commit bb20aceeb3
1 changed files with 10 additions and 1 deletions

View File

@ -31,7 +31,12 @@ YOSYS_VER := 0.1.0+
GIT_REV := $(shell git rev-parse --short HEAD || echo UNKOWN)
OBJS = kernel/version_$(GIT_REV).o
# set to 'default' to use abc/ as it is
# set 'ABC = default' to use abc/ as it is
#
# Note: If you do ABC development, make sure that 'abc' in this directory
# is just a symlink to your actual ABC working directory, as 'make mrproper'
# will remove the 'abc' directory and you do not want to accidentally
# delete your work on ABC..
ABCREV = 9241719523f6
ABCPULL = 1
@ -119,6 +124,10 @@ endif
rm -f abc/abc-[0-9a-f]*
cd abc && $(MAKE) PROG="abc-$(ABCREV)" MSG_PREFIX="YOSYS-ABC: "
ifeq ($(ABCREV),default)
.PHONY: abc/abc-$(ABCREV)
endif
yosys-abc: abc/abc-$(ABCREV)
cp abc/abc-$(ABCREV) yosys-abc