JAL-3089 safer popup menu actions on AnnotationLabels
[jalview.git] / build-site.xml
1 <?xml version="1.0"?>
2 <!--
3  BH 2018.08.12
4
5  - requires tools/ant-contrib.jar
6   
7  - creates the site/ directory if it does not exist
8  - unzip libjs/*.zip into site/swingjs/j2s
9  - unzips swingjs/SwingJS-site.zip into site/
10  - copies non-java resources from resources/ into site/swingjs/j2s
11  
12 -->
13
14 <project name="swingjs-project" default="tosite" basedir="."
15  xmlns:if="ant:if"
16     xmlns:unless="ant:unless">
17         
18   <target name="tosite">
19                 
20         <!-- input directories -->
21         
22         <!-- location of ant-contrib.jar -->
23         <property name="tools.dir" value = "tools" />
24
25         <!-- SwingjS_site zip file (could be varied if versioning is needed) -->
26         <property name="swingjs.zip" value="swingjs/SwingJS-site.zip" />
27
28         <!-- location of third-party jar contents as precompiled zipped .js files to copy to site/ -->
29         <property name="libjs.dir" value="libjs" />
30  
31         <!-- non-Java resources to copy to site/ -->
32     <property name="resource.dir" value="resources" />          
33         
34         <!-- output directories -->
35
36         <property name="site.dir" value="site" />
37         <property name="j2s.dir" value="${site.dir}/swingjs/j2s" />
38          
39     <!-- <for  ...> construct needs ant-contrib.jar -->
40     <taskdef resource="net/sf/antcontrib/antlib.xml">
41       <classpath>
42         <pathelement location="${tools.dir}/ant-contrib.jar" />
43       </classpath>
44     </taskdef>
45
46         <!-- unzip all libjs zip files into site
47         
48            all zip files placed in libjs will be processed
49            
50          -->
51
52         <for param="file.zip">
53           <path>
54             <fileset dir="${libjs.dir}" includes="*.zip"/>
55           </path>
56           <sequential>
57                         <unzip src="@{file.zip}" dest="${site.dir}" overwrite="true"/>          
58           </sequential>
59         </for>
60
61         <!-- unzip SwingJS-site.zip 
62         
63           we do this separately, as we want it done last 
64         
65         -->
66
67         <unzip src="${swingjs.zip}" dest="${site.dir}/" overwrite="true"/>      
68
69         <!-- transfer resources -->
70
71         <echo> Copying ${resource.dir} files into ${j2s.dir} </echo>
72         <copy todir="${j2s.dir}">
73       <fileset dir="${resource.dir}">
74         <include name="**"/>
75         </fileset>
76     </copy>
77                 
78 </target>
79         
80
81 </project>