diff options
author | Clifford Wolf <clifford@clifford.at> | 2013-11-28 00:43:17 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2013-11-28 00:43:17 +0100 |
commit | 1268182f0bae91925d0b13011800a61fe1c4fe60 (patch) | |
tree | b9f29ec5f037817b067f8d7c888b30ad0663629c /Makefile | |
parent | 9826f6ae029c67c01d6984970af0af9918080257 (diff) | |
download | yosys-1268182f0bae91925d0b13011800a61fe1c4fe60.tar.gz yosys-1268182f0bae91925d0b13011800a61fe1c4fe60.tar.bz2 yosys-1268182f0bae91925d0b13011800a61fe1c4fe60.zip |
Updated ABC to 9241719523f6
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -31,7 +31,7 @@ YOSYS_VER := 0.1.0+ GIT_REV := $(shell git rev-parse --short HEAD || echo UNKOWN) OBJS = kernel/version_$(GIT_REV).o -ABCREV = 766d323095c4 +ABCREV = 9241719523f6 ABCPULL = 1 -include Makefile.conf @@ -116,13 +116,13 @@ endif cp abc/abc yosys-abc abc/abc-$(ABCREV): - if test "`cd abc && hg identify`" != "$(ABCREV)"; then \ + if test "`cd abc && hg identify | cut -f1 -d' '`" != "$(ABCREV)"; then \ test $(ABCPULL) -ne 0 || { echo; echo "!!! ABC not up to date and ABCPULL set to 0 in Makefile !!!"; echo; exit 1; }; \ test -d abc || hg clone https://bitbucket.org/alanmi/abc abc; \ cd abc && hg pull && hg update -r $(ABCREV); \ fi - cd abc && $(MAKE) - cp abc/abc abc/abc-$(ABCREV) + rm -f abc/abc-[0-9a-f]* + cd abc && $(MAKE) PROG="abc-$(ABCREV)" MSG_PREFIX="YOSYS-ABC: " yosys-abc: abc/abc-$(ABCREV) cp abc/abc-$(ABCREV) yosys-abc @@ -144,7 +144,7 @@ manual: clean: rm -rf share rm -f $(OBJS) $(GENFILES) $(TARGETS) - rm -f kernel/version_*.o kernel/version_*.cc + rm -f kernel/version_*.o kernel/version_*.cc abc/abc-[0-9a-f]* rm -f libs/*/*.d frontends/*/*.d passes/*/*.d backends/*/*.d kernel/*.d cd manual && rm -f *.aux *.bbl *.blg *.idx *.log *.out *.pdf *.toc test ! -f libs/svgviewer/Makefile || make -C libs/svgviewer distclean |