diff options
Diffstat (limited to 'libre/jmol/jmol-build.patch')
-rw-r--r-- | libre/jmol/jmol-build.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/libre/jmol/jmol-build.patch b/libre/jmol/jmol-build.patch new file mode 100644 index 000000000..855b45cce --- /dev/null +++ b/libre/jmol/jmol-build.patch @@ -0,0 +1,20 @@ +--- jmol-14.9.1.orig/build.xml 2017-03-02 23:51:27.039100000 -0500 ++++ jmol-14.9.1/build.xml 2017-03-02 23:57:43.422441631 -0500 +@@ -64,7 +64,7 @@ + <!-- pull developer-specific settings from their home directory -->
+ <property file="${user.home}/.jmol.build.properties" />
+ <!-- compile options -->
+- <property name="build.sysclasspath" value="ignore" />
++ <property name="build.sysclasspath" value="last" />
+ <property name="build.compiler" value="javac1.6" />
+ <!-- for some reason, I can't get ant to use this ${java.version}
+ property as the value of the source parameter -->
+@@ -97,7 +97,7 @@ + <echo message="version=${version}" />
+ <property name="jvxl_version" value="0.1" />
+
+- <input message="private property file:" addproperty="Private.propertyFile" defaultValue="none" />
++ <!--<input message="private property file:" addproperty="Private.propertyFile" defaultValue="none" />-->
+ <if><available file="${Private.propertyFile}" /><then>
+ <property file="${Private.propertyFile}" />
+ <echo>using ${Private.keystore} ${Private.storetype}</echo>
|