From: Ben Soares <bsoares@dundee.ac.uk>
Date: Mon, 10 Dec 2018 15:59:59 +0000 (+0000)
Subject: JAL-3130 build.xml tweaks for clover-3.4.1
X-Git-Tag: Release_2_11_0~17^2~7^2~58^2~12
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=77946fe2c6e1faa3f1ca2d1eae6e0e96b5d4f902;hp=36279e05d511b7f2eacc4a3e883ce9f4c75c8bcf;p=jalview.git

JAL-3130 build.xml tweaks for clover-3.4.1
---

diff --git a/build.xml b/build.xml
index ba88f9a..ce56b69 100755
--- a/build.xml
+++ b/build.xml
@@ -198,6 +198,7 @@
         <include name="${jmolJar}" />
         <include name="${varnaJar}" />
       </fileset>
+      <pathelement location="${clover.jar}" if:set="clover.jar"/>
     </path>
     <path id="test.classpath">
       <pathelement path="${outputDir}" />
@@ -294,7 +295,12 @@
 
   <target name="build" depends="prepare">
     <!-- not efficient yet. -->
-    <javac source="${javac.source}" target="${javac.target}" srcdir="${sourceDir}" destdir="${outputDir}" debug="${javac.debug}" classpathref="build.classpath">
+    <!-- Echo the build.classpath
+    <pathconvert property="echoClasspath" refid="build.classpath" />
+    <echo message="build.classpath is '${echoClasspath}'" />
+    -->
+    <echo message="javac.target is '${javac.target}'" />
+    <javac includeantruntime="false" source="${javac.source}" target="${javac.target}" srcdir="${sourceDir}" destdir="${outputDir}" debug="${javac.debug}" classpathref="build.classpath">
       <exclude name="jalview/*applet*" />
       <exclude name="jalview/appletgui/**" />
       <exclude name="com/stevesoft/**" />