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 f17f092598560a2ed655362a6d6f2628cc61fbe8..c7683856599d907fdba537f26732b526a19e36e8 100644 (file)
--- 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