summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-11-16 15:17:32 +0100
committerClifford Wolf <clifford@clifford.at>2013-11-16 15:17:32 +0100
commit2df5cd87b25049cac02ea2cb002b29f445906ddf (patch)
tree693cc9cef6cf1ac63b6820ea2c02590cfc07eddc /Makefile
parentf3345bd3b40a32aef80ae2920183c5f2fea02b21 (diff)
Renamed ABCHGPULL to ABCPULL in Makefile
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index a92c6525..6160e4c6 100644
--- a/Makefile
+++ b/Makefile
@@ -27,7 +27,7 @@ GIT_REV := $(shell git rev-parse --short HEAD || echo UNKOWN)
OBJS = kernel/version_$(GIT_REV).o
ABCREV = 0f9e5488ced3
-ABCHGPULL = 1
+ABCPULL = 1
-include Makefile.conf
@@ -98,7 +98,7 @@ yosys-svgviewer: libs/svgviewer/*.h libs/svgviewer/*.cpp
cp libs/svgviewer/svgviewer yosys-svgviewer
abc:
-ifeq ($(ABCHGPULL),1)
+ifeq ($(ABCPULL),1)
test -d abc || hg clone https://bitbucket.org/alanmi/abc abc
cd abc && hg pull && hg update -r $(ABCREV)
endif