File: set_java_home.patch

package info (click to toggle)
pixelmed-codec 20141206-2
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 268 kB
  • ctags: 329
  • sloc: java: 1,270; makefile: 164
file content (15 lines) | stat: -rw-r--r-- 632 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
Author: Andreas Tille <tille@debian.org>
Last-Update: Thu, 08 Oct 2015 10:39:14 +0200
Description: Work around OSX specific way to set JAVA_HOME

--- a/Makefile.common.mk
+++ b/Makefile.common.mk
@@ -17,7 +17,7 @@ JAVACTARGETOPTIONS=-target ${JAVAVERSION
 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} $<