Package: pixelmed-codec / 20170512-2

set_java_home.patch Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
Author: Andreas Tille <tille@debian.org>
Last-Update: Thu, 14 Sep 2017 18:58:23 +0200
Bug-Debian: https://bugs.debian.org/875779
Description: Work around OSX specific way to set JAVA_HOME and remove bootclasspath

--- a/Makefile.common.mk
+++ b/Makefile.common.mk
@@ -10,14 +10,14 @@ PATHTOTESTRESULTSFROMROOT = ./testresult
 
 JAVAVERSIONTARGET=1.7
 
-JAVACTARGETOPTIONS=-target ${JAVAVERSIONTARGET} -source ${JAVAVERSIONTARGET} -bootclasspath $${JAVAVERSIONTARGETJARFILE}
+JAVACTARGETOPTIONS=-target ${JAVAVERSIONTARGET} -source ${JAVAVERSIONTARGET}
 
 .SUFFIXES:	.class .java .ico .png
 
 JAVACOPTIONS = -O ${JAVACTARGETOPTIONS} -encoding "UTF8" -Xlint:deprecation
 
 .java.class:
-	export JAVAVERSIONTARGETJARFILE=`/usr/libexec/java_home -v ${JAVAVERSIONTARGET} | tail -1`/jre/lib/rt.jar; javac ${JAVACOPTIONS} \
+	export JAVAVERSIONTARGETJARFILE=${JAVA_HOME}/jre/lib/rt.jar; javac ${JAVACOPTIONS} \
 		-classpath ${PATHTOROOT} \
 		-sourcepath ${PATHTOROOT} $<