openjdk8: fix build by applying the patch from debian

see https://www.mail-archive.com/debian-bugs-rc@lists.debian.org/msg389555.html

closes #8090

Changed files
+13
pkgs
development
+11
pkgs/development/compilers/openjdk/JDK-8074312-hotspot.patch
···
+
diff -r 61edd5c7412e make/linux/Makefile
+
--- a/hotspot/make/linux/Makefile Mon Mar 02 18:12:06 2015 +0000
+
+++ b/hotspot/make/linux/Makefile Tue Mar 03 15:58:13 2015 +0100
+
@@ -233,7 +233,7 @@
+
# Solaris 2.5.1, 2.6).
+
# Disable this check by setting DISABLE_HOTSPOT_OS_VERSION_CHECK=ok.
+
+
-SUPPORTED_OS_VERSION = 2.4% 2.5% 2.6% 3%
+
+SUPPORTED_OS_VERSION = 2.4% 2.5% 2.6% 3% 4%
+
OS_VERSION := $(shell uname -r)
+
EMPTY_IF_NOT_SUPPORTED = $(filter $(SUPPORTED_OS_VERSION),$(OS_VERSION))
+2
pkgs/development/compilers/openjdk/openjdk8.nix
···
./fix-java-home-jdk8.patch
./read-truststore-from-env-jdk8.patch
./currency-date-range-jdk8.patch
+
./JDK-8074312-hotspot.patch
+
];
preConfigure = ''
chmod +x configure