diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-12-04 08:31:52 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-12-04 08:31:52 +0100 |
| commit | bb20aceeb39694d089cae7dc7f493976406d4b2d (patch) | |
| tree | 86f537e0440d04fb7e4839d35544cfbdb11dc58e /Makefile | |
| parent | 637a12b7e3ddcf998ca020ab2c1eddb4bbd27c8d (diff) | |
| download | yosys-bb20aceeb39694d089cae7dc7f493976406d4b2d.tar.gz yosys-bb20aceeb39694d089cae7dc7f493976406d4b2d.tar.bz2 yosys-bb20aceeb39694d089cae7dc7f493976406d4b2d.zip | |
More ABC releated Makefile changes
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -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 |