commit

kazuhikoarase · Aug 8, 2014 · 675c36b · 675c36b
1 parent 0ae4314
commit 675c36b
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 5 deletions.
diff --git a/java/.gitignore b/java/.gitignore
@@ -0,0 +1,2 @@
+/build
+/dist
diff --git a/java/src/assets/README.txt b/java/src/assets/README.txt
@@ -14,7 +14,7 @@ DENSO WAVE INCORPORATED
 
 -- REQUIREMENTS
 
-Java Runtime Environment (JRE) 1.4 or above
+Java Runtime Environment (JRE) 1.5 or above
 
 -- CONTENTS
 

diff --git a/java/src/build.xml b/java/src/build.xml
@@ -19,7 +19,7 @@
 
 	<target name="init">
 		<fail unless="env.SERVLET_API" message="environment variable SERVLET_API not set."/>
-		<property name="SERVLET_API" value="${env.SERVLET_API}"/>
+		<fail unless="env.JAVA5_BOOTSTRAP_CLASSPATH" message="environment variable JAVA5_BOOTSTRAP_CLASSPATH not set."/>
 	</target>
 
 	<target name="clean">
@@ -34,8 +34,10 @@
 		<mkdir dir="${build.java}"/>
 
 		<javac
-	    	classpath="${SERVLET_API}"
-			bootclasspath=""
+			source="1.5"
+			target="1.5"
+			bootclasspath="${env.JAVA5_BOOTSTRAP_CLASSPATH}"
+	    	classpath="${env.SERVLET_API}"
 			srcdir="${src.java}"
 	    	includes="**/*.java"
 	    	destdir="${build.java}"
@@ -52,7 +54,7 @@
 		<property name="doc.title" value="QRCode for Java"/>
 
 		<javadoc
-	    	classpath="${SERVLET_API}"
+	    	classpath="${env.SERVLET_API}"
 			encoding="UTF-8"
 			docencoding="UTF-8"
 			charset="UTF-8"