Commit 4ba288f3 authored by Daniel Le Berre's avatar Daniel Le Berre

Source file and target is now 1.6

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2438 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent e4792f4f
......@@ -7,7 +7,7 @@
<property name="testreport.dir" value="tests"/>
<property name="build" value="bin" />
<property name="doc" value="api" />
<property name="target" value="1.5"/>
<property name="target" value="1.6"/>
<property name="dist" value="dist"/>
<property name="release" value="CUSTOM"/>
<property name="tag" value="HEAD"/>
......@@ -327,7 +327,7 @@
<javac
srcdir="${src}"
destdir="${build}"
source="1.5"
source="1.6"
target="${target}"
debug="true"
includeantruntime="false">
......@@ -434,7 +434,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="1.6" target="1.5" debug="true">
<classpath refid="somePath"/>
</javac>
<echo>Running JUNIT tests</echo>
......
......@@ -74,10 +74,10 @@ The aim of the SAT4J library is to provide an efficient library of SAT solvers i
</developers>
<properties>
<!-- compiler params -->
<javaSource>1.5</javaSource>
<javaTarget>1.5</javaTarget>
<testSource>1.5</testSource>
<testTarget>1.5</testTarget>
<javaSource>1.6</javaSource>
<javaTarget>1.6</javaTarget>
<testSource>1.6</testSource>
<testTarget>1.6</testTarget>
<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
<!-- common distribution locations -->
<siteRepositoryId />
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment