File sat4j-sourcetarget.patch of Package sat4j

Overview Repositories Revisions Requests Users Attributes Meta

File sat4j-sourcetarget.patch of Package sat4j

--- org.sat4j.pom-2.3.2/build.xml	2017-09-20 09:05:47.517887173 +0200
+++ org.sat4j.pom-2.3.2/build.xml	2017-09-20 09:13:23.469210761 +0200
@@ -277,7 +277,8 @@
 		<echo>Generating Javodoc</echo>
 		<javadoc destdir="${doc}/${module}" 
 				 access="public" 
-				 source="1.6" 
+				 encoding="UTF-8" 
+				 source="${source}" 
 				 use="true" 
 				 notree="false" 
 				 nonavbar="false" 
@@ -303,8 +304,9 @@
 		<javac
 		srcdir="${src}"
 		destdir="${build}"
-		source="1.5"
+	        source="${source}"
 		target="${target}"
+	        encoding="UTF-8"
 	        includeantruntime="false">
 			<classpath refid="somePath"/>
 		</javac>
@@ -408,7 +410,7 @@
         <target name="tests" 
           description="Launch JUnit tests and generate a report">
 		<echo>Compiling test files</echo>
-		<javac srcdir="${test}" destdir="${build}" source="1.5" target="1.5" debug="true">
+		<javac srcdir="${test}" destdir="${build}" source="${source}" target="${target}" encoding="UTF-8" debug="true">
 			<classpath refid="somePath"/>
 		</javac>
 		<echo>Running JUNIT tests</echo>

Places

File sat4j-sourcetarget.patch of Package sat4j

Places