do-not-download-pkgjl
authorDebian Julia Team <pkg-julia-devel@lists.alioth.debian.org>
Tue, 22 Jan 2019 20:19:55 +0000 (20:19 +0000)
committerGraham Inggs <ginggs@debian.org>
Tue, 22 Jan 2019 20:19:55 +0000 (20:19 +0000)
===================================================================

Gbp-Pq: Name do-not-download-pkgjl.patch

stdlib/Makefile

index 85c2a25c08d2a4233f1f34abc579a478fe001692..8109220313b48d78f384f6e51578b865005f6192 100644 (file)
@@ -22,7 +22,7 @@ STDLIBS-EXT = Pkg
 
 # Download and extract Pkg
 PKG_GIT_URL := git://github.com/JuliaLang/Pkg.jl.git
-PKG_TAR_URL = https://api.github.com/repos/JuliaLang/Pkg.jl/tarball/$1
+PKG_TAR_URL = file://$(CURDIR)/../debian/embedded/$1
 $(eval $(call git-external,Pkg,PKG,,,$(BUILDDIR)))
 $(BUILDDIR)/$(PKG_SRC_DIR)/build-compiled: $(BUILDDIR)/$(PKG_SRC_DIR)/source-extracted
        @# no build steps