From: Russell L Friesenhahn <russellf@arlut.utexas.edu>
Date: Wed, 17 Aug 2016 03:07:36 +0000 (-0500)
Subject: Allow redefining of the ABC repository URL
X-Git-Tag: yosys-0.7~101^2^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=23f217b1668415009a7a842b66012686c2f2d5b0;p=yosys.git

Allow redefining of the ABC repository URL

For persons or organizations that prefer to keep their own mirrors of
repositories, users may now specify the URL of the ABC Mercurial
repository that yosys clones during build.

The URL may be set in the Makefile directly, on the
command-line, or in the environment
---

diff --git a/Makefile b/Makefile
index f17f09259..c76838565 100644
--- a/Makefile
+++ b/Makefile
@@ -84,6 +84,7 @@ OBJS = kernel/version_$(GIT_REV).o
 # delete your work on ABC..
 ABCREV = a86455b00da5
 ABCPULL = 1
+ABCURL ?= https://bitbucket.org/alanmi/abc
 ABCMKARGS = CC="$(CXX)" CXX="$(CXX)"
 
 # set ABCEXTERNAL = <abc-command> to use an external ABC instance
@@ -387,8 +388,8 @@ ifneq ($(ABCREV),default)
 	fi
 	$(Q) if test "`cd abc 2> /dev/null && hg identify | cut -f1 -d' '`" != "$(ABCREV)"; then \
 		test $(ABCPULL) -ne 0 || { echo 'REEBE: NOP abg hc gb qngr naq NOPCHYY frg gb 0 va Znxrsvyr!' | tr 'A-Za-z' 'N-ZA-Mn-za-m'; exit 1; }; \
-		echo "Pulling ABC from bitbucket.org:"; set -x; \
-		test -d abc || hg clone https://bitbucket.org/alanmi/abc abc; \
+		echo "Pulling ABC from $(ABCURL):"; set -x; \
+		test -d abc || hg clone $(ABCURL) abc; \
 		cd abc && $(MAKE) DEP= clean && hg pull && hg update -r $(ABCREV); \
 	fi
 endif