src2 directory added to class path, zipping/unzipping of JAR file source
[jalview.git] / build-site.xml
index e5202e2..55ff89a 100644 (file)
@@ -1,6 +1,9 @@
 <?xml version="1.0"?>
 <!--
- * just a crude unzip of non-Jalview classes for development purposes -BH 2018
+ Just a crude unzip of non-Jalview classes for development purposes -BH 2018
+ Jim can generalize.
 -->
 <project name="jalviewX" default="tosite" basedir="."
  xmlns:if="ant:if"
        
        <!-- inputs zip files -->
        <property name="swingjs.zip" value="${swingjsDir}/SwingJS-site.zip" />
+
+       <!-- packages -->
     <property name="varna.zip" value="${libjsDir}/VARNA-site.zip" />
+    <property name="mig.zip" value="${libjsDir}/MiGLayout-site.zip" />                 
 
        <!-- output directories -->
        <property name="site" value="site"/>
        <property name="j2sDir" value="${site}/swingjs/j2s"/>
 
-       
+    <!-- SwingJS -->
+
        <echo> Unzipping ${swingjs.zip} into ${site} </echo>
        <unzip src="${swingjs.zip}" dest="${site}/" overwrite="true"/>          
+
+    <!-- VARNA -->
+
        <echo> Unzipping ${varna.zip} into ${site} </echo> 
        <unzip src="${varna.zip}" dest="${site}" overwrite="true"/>     
        
+       <!-- MiGLayout -->
+
+       <echo> Unzipping ${mig.zip} into ${site} </echo> 
+       <unzip src="${mig.zip}" dest="${site}" overwrite="true"/>       
+       
+    <!-- resources -->
+
        <echo> Copying ${resourceDir} files into ${j2sDir} </echo>
        <copy todir="${j2sDir}">
       <fileset dir="${resourceDir}">