Enable Contracts for Java by default for test targets.

Contracts remain disabled for non-test build targets. To enable for
non-test targets, run with -Duse.contracts=true. To disable for test
targets, run with -Duse.contracts=false.
This commit is contained in:
David Roazen 2011-08-27 02:32:47 -04:00
parent beb947d3cc
commit ccfed5d64d
1 changed files with 8 additions and 4 deletions

View File

@ -48,8 +48,9 @@
<property name="scaladoc.dir" value="scaladoc" /> <property name="scaladoc.dir" value="scaladoc" />
<!-- Contracts for Java --> <!-- Contracts for Java -->
<!-- To disable, run with -Duse.contracts=false --> <!-- By default, enabled only for test targets -->
<property name="use.contracts" value="false" /> <!-- To disable for test targets, run with -Duse.contracts=false -->
<!-- To enable for non-test targets, run with -Duse.contracts=true -->
<property name="java.contracts" value="${build.dir}/java/contracts" /> <property name="java.contracts" value="${build.dir}/java/contracts" />
<property name="contracts.version" value="1.0-20110609" /> <property name="contracts.version" value="1.0-20110609" />
<property name="cofoja.jar" value="${lib.dir}/cofoja-${contracts.version}.jar"/> <property name="cofoja.jar" value="${lib.dir}/cofoja-${contracts.version}.jar"/>
@ -176,6 +177,10 @@
<property name="scala.target" value="core"/> <property name="scala.target" value="core"/>
</target> </target>
<target name="init.usecontracts">
<property name="use.contracts" value="true" />
</target>
<target name="git.describe"> <target name="git.describe">
<exec executable="git" outputproperty="git.describe.output" resultproperty="git.describe.exit.value" failonerror="false"> <exec executable="git" outputproperty="git.describe.output" resultproperty="git.describe.exit.value" failonerror="false">
<arg line="describe" /> <arg line="describe" />
@ -744,8 +749,7 @@
</scalac> </scalac>
</target> </target>
<target name="test.compile" depends="test.java.compile,test.scala.compile"> <target name="test.compile" depends="init.usecontracts,test.java.compile,test.scala.compile" />
</target>
<!-- new scala target --> <!-- new scala target -->