From ccfed5d64d49d0c8591e243c6c488cd1dc54c4c0 Mon Sep 17 00:00:00 2001
From: David Roazen <droazen@broadinstitute.org>
Date: Sat, 27 Aug 2011 02:32:47 -0400
Subject: [PATCH] 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.
---
 build.xml | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

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