Mercurial > mxe-octave
changeset 5823:df12908d5548
Download Java headers from GitHub.
* src/default-octave.mk, src/release-octave.mk, src/stable-octave.mk: The
OpenJDK Mercurial server became unreliable. Download Java headers from GitHub
servers instead.
author | Markus Mützel <markus.muetzel@gmx.de> |
---|---|
date | Mon, 09 Aug 2021 08:49:57 +0200 |
parents | d5ece22fd694 |
children | c16ae6edfc42 |
files | src/default-octave.mk src/release-octave.mk src/stable-octave.mk |
diffstat | 3 files changed, 6 insertions(+), 6 deletions(-) [+] |
line wrap: on
line diff
--- a/src/default-octave.mk Wed Aug 04 13:26:47 2021 +0900 +++ b/src/default-octave.mk Mon Aug 09 08:49:57 2021 +0200 @@ -182,12 +182,12 @@ && [ "$(ENABLE_JAVA)" == "yes" ]; then \ if [ ! -f $(HOST_INCDIR)/java/jni.h ]; then \ mkdir -p '$(HOST_INCDIR)/java'; \ - $(WGET) -N http://hg.openjdk.java.net/jdk7u/jdk7u/jdk/raw-file/tip/src/share/javavm/export/jni.h \ + $(WGET) -N https://raw.github.com/openjdk/jdk/master/src/java.base/share/native/include/jni.h \ -O $(HOST_INCDIR)/java/jni.h; \ fi; \ if [ ! -f $(HOST_INCDIR)/java/win32/jni_md.h ]; then \ mkdir -p '$(HOST_INCDIR)/java/win32'; \ - $(WGET) -N http://hg.openjdk.java.net/jdk7u/jdk7u/jdk/raw-file/tip/src/windows/javavm/export/jni_md.h \ + $(WGET) -N https://raw.github.com/openjdk/jdk/master/src/java.base/windows/native/include/jni_md.h \ -O $(HOST_INCDIR)/java/win32/jni_md.h; \ fi; \ fi
--- a/src/release-octave.mk Wed Aug 04 13:26:47 2021 +0900 +++ b/src/release-octave.mk Mon Aug 09 08:49:57 2021 +0200 @@ -183,12 +183,12 @@ && [ "$(ENABLE_JAVA)" == "yes" ]; then \ if [ ! -f $(HOST_INCDIR)/java/jni.h ]; then \ mkdir -p '$(HOST_INCDIR)/java'; \ - $(WGET) -N http://hg.openjdk.java.net/jdk7u/jdk7u/jdk/raw-file/tip/src/share/javavm/export/jni.h \ + $(WGET) -N https://raw.github.com/openjdk/jdk/master/src/java.base/share/native/include/jni.h \ -O $(HOST_INCDIR)/java/jni.h; \ fi; \ if [ ! -f $(HOST_INCDIR)/java/win32/jni_md.h ]; then \ mkdir -p '$(HOST_INCDIR)/java/win32'; \ - $(WGET) -N http://hg.openjdk.java.net/jdk7u/jdk7u/jdk/raw-file/tip/src/windows/javavm/export/jni_md.h \ + $(WGET) -N https://raw.github.com/openjdk/jdk/master/src/java.base/windows/native/include/jni_md.h \ -O $(HOST_INCDIR)/java/win32/jni_md.h; \ fi; \ fi
--- a/src/stable-octave.mk Wed Aug 04 13:26:47 2021 +0900 +++ b/src/stable-octave.mk Mon Aug 09 08:49:57 2021 +0200 @@ -162,12 +162,12 @@ && [ "$(ENABLE_JAVA)" == "yes" ]; then \ if [ ! -f $(HOST_INCDIR)/java/jni.h ]; then \ mkdir -p '$(HOST_INCDIR)/java'; \ - $(WGET) -N http://hg.openjdk.java.net/jdk7u/jdk7u/jdk/raw-file/tip/src/share/javavm/export/jni.h \ + $(WGET) -N https://raw.github.com/openjdk/jdk/master/src/java.base/share/native/include/jni.h \ -O $(HOST_INCDIR)/java/jni.h; \ fi; \ if [ ! -f $(HOST_INCDIR)/java/win32/jni_md.h ]; then \ mkdir -p '$(HOST_INCDIR)/java/win32'; \ - $(WGET) -N http://hg.openjdk.java.net/jdk7u/jdk7u/jdk/raw-file/tip/src/windows/javavm/export/jni_md.h \ + $(WGET) -N https://raw.github.com/openjdk/jdk/master/src/java.base/windows/native/include/jni_md.h \ -O $(HOST_INCDIR)/java/win32/jni_md.h; \ fi; \ fi