eessppeelllloo/processing4
1
0
Fork 0
mirror of https://github.com/processing/processing4.git synced 2026-06-16 04:26:26 +02:00
Code Issues Packages Projects Releases Wiki Activity

another fix for tools stuff

Browse Source
This commit is contained in:
benfry
2010-04-13 15:58:09 +00:00
parent 92eb23ab31
commit 4757f4c46b
1 changed files with 5 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files
app/build.xml
+5 -12
View File
@@ -72,30 +72,23 @@
To avoid this, we grab the actual JAVA_HOME environment variable
and use that to specify the location of tools.jar. -->
<!-- if someone is better with ant please help clean this up -->
<property environment="env" />
<property name="java_home" value="${env.JAVA_HOME}" />
<available file="${env.JAVA_HOME}/lib/tools.jar"
property="java_tools_found" />
<condition property="linux">
<os family="unix" />
</condition>
<fail if="linux" unless="java_home"
<fail if="linux" unless="java_tools_found"
message="The JAVA_HOME variable must be set to the location of a full JDK. For instance, on Ubuntu Linux, this might be /usr/lib/jvm/java-6-sun." />
<echo message="here! ${java.home} and ${linux}" />
<condition property="windows">
<os family="windows" />
</condition>
<fail if="windows" unless="java_home"
message="The JAVA_HOME variable must be set to the location of a full JDK. For instance, on Windows, this might be c:\jdk1.6.0_18." />
<fail if="windows" unless="java_tools_found"
message="The JAVA_HOME variable must be set to the location of a full JDK. For instance, on Windows, this might be c:\jdk1.6.0_19." />
<!--
<dirname property="blah" file="${java.home}" />
<echo message="here! ${java.home}/lib/tools.jar or there: ${blah}" />
<echo message="override ${env.JAVA_HOME}/lib/tools.jar" />
<fail />
-->
<javac target="1.5"
destdir="bin"
excludes="**/tools/format/**"