Commit b9ce6fb3 authored by leberre's avatar leberre

Sat4j is now compiled for Java 5.

git-svn-id: svn+ssh:// ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent ac4c8b50
......@@ -7,7 +7,7 @@
<property name="testreport.dir" value="tests"/>
<property name="build" value="bin" />
<property name="doc" value="api" />
<property name="target" value="jsr14"/>
<property name="target" value="1.5"/>
<property name="dist" value="dist"/>
<property name="release" value="CUSTOM"/>
<property name="tag" value="HEAD"/>
......@@ -305,7 +305,7 @@
<classpath refid="somePath"/>
<copy todir="${build}" failonerror="false">
......@@ -68,7 +68,7 @@ The aim of the SAT4J library is to provide an efficient library of SAT solvers i
<!-- compiler params -->
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