From: Jim Procter <jprocter@issues.jalview.org>
Date: Wed, 21 Mar 2018 16:32:34 +0000 (+0000)
Subject: JAL-2754 clean up proguard path spec and config variables
X-Git-Tag: Release_2_10_4~40^2
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=ee326b2a1daf9cf3e62dcb3b703aecc6dfbf098c;p=jalview.git

JAL-2754 clean up proguard path spec and config variables
---

diff --git a/build.xml b/build.xml
index 5d28f13..3ef3ed3 100755
--- a/build.xml
+++ b/build.xml
@@ -38,7 +38,7 @@
     <echo message="testng - run jalview's tests via testNG. Default group is '${testng-groups}'" />
     <echo message="      you can specify particular test groups as a list via -Dtestng-groups=" />
     <echo message="See docs/building.html and the comments in build file for other targets." />
-    <echo message="note: compile and makeApplet require the property java118.home to be set to point to a java 1.1.8 jdk." />
+    <echo message="note: compile and makeApplet optionally compile/obfuscate applet against a different Java version by specifying -Djava118.home=<Path to JDK>/lib which is the lib directory in the JDK install that contains rt.jar " />
     <echo message="Useful -D flags: -Ddonotobfuscate will prevent applet obfuscation" />
   </target>
 
@@ -182,17 +182,14 @@
     </path>
     <property name="source.dist.name" value="${basedir}/jalview-src.tar.gz" />
     <!-- The Location of the java 1.1.8 jdk -->
-    <!--<property name="java118.home" value="C:\Sun\jdk1.1.8" /> -->
     <property name="java118.home" value="${java.home}" />
-    <!-- <property name="applet.jre.tools" value="${java118.home}/lib/classes.zip" />
-		-->
     <!-- jre for 1.4 version -->
-    <property name="applet.jre.tools" value="${java.home}/lib/rt.jar" />
+    <property name="applet.jre.tools" value="${java118.home}/lib/rt.jar" />
 
     <!-- the classpath for building the 1.1 applet -->
     <path id="jalviewlite.deps">
       <fileset dir="${java118.home}">
-        <include name="lib/classes.zip" />
+        <include name="lib/rt.jar" />
       </fileset>
       <fileset dir="${java.home}/lib">
         <include name="plugin.jar" />