comparison src/default-octave.mk @ 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 16372b488670
children 18ed05625431
comparison
equal deleted inserted replaced
5822:d5ece22fd694 5823:df12908d5548
180 if [ "$(MXE_SYSTEM)" == "mingw" ] \ 180 if [ "$(MXE_SYSTEM)" == "mingw" ] \
181 && [ "$(MXE_NATIVE_BUILD)" == "no" ] \ 181 && [ "$(MXE_NATIVE_BUILD)" == "no" ] \
182 && [ "$(ENABLE_JAVA)" == "yes" ]; then \ 182 && [ "$(ENABLE_JAVA)" == "yes" ]; then \
183 if [ ! -f $(HOST_INCDIR)/java/jni.h ]; then \ 183 if [ ! -f $(HOST_INCDIR)/java/jni.h ]; then \
184 mkdir -p '$(HOST_INCDIR)/java'; \ 184 mkdir -p '$(HOST_INCDIR)/java'; \
185 $(WGET) -N http://hg.openjdk.java.net/jdk7u/jdk7u/jdk/raw-file/tip/src/share/javavm/export/jni.h \ 185 $(WGET) -N https://raw.github.com/openjdk/jdk/master/src/java.base/share/native/include/jni.h \
186 -O $(HOST_INCDIR)/java/jni.h; \ 186 -O $(HOST_INCDIR)/java/jni.h; \
187 fi; \ 187 fi; \
188 if [ ! -f $(HOST_INCDIR)/java/win32/jni_md.h ]; then \ 188 if [ ! -f $(HOST_INCDIR)/java/win32/jni_md.h ]; then \
189 mkdir -p '$(HOST_INCDIR)/java/win32'; \ 189 mkdir -p '$(HOST_INCDIR)/java/win32'; \
190 $(WGET) -N http://hg.openjdk.java.net/jdk7u/jdk7u/jdk/raw-file/tip/src/windows/javavm/export/jni_md.h \ 190 $(WGET) -N https://raw.github.com/openjdk/jdk/master/src/java.base/windows/native/include/jni_md.h \
191 -O $(HOST_INCDIR)/java/win32/jni_md.h; \ 191 -O $(HOST_INCDIR)/java/win32/jni_md.h; \
192 fi; \ 192 fi; \
193 fi 193 fi
194 194
195 mkdir '$(1)/.build' 195 mkdir '$(1)/.build'