|
18 | 18 |
|
19 | 19 | <!--
|
20 | 20 | |
|
21 |
| - | Download helios artifacts and unzip them into the user's local maven repo |
| 21 | + | Download Helios artifacts and unzip them into the user's local maven repo |
22 | 22 | |
|
23 | 23 | |
|
24 | 24 | | @version $Rev$ $Date$
|
25 | 25 | -->
|
26 |
| -<project name="heliosArtifacts"> |
| 26 | +<project name="HeliosArtifacts"> |
27 | 27 |
|
28 |
| - <target name="init"> |
29 |
| - <property name="helios_url" value="http://www.eclipse.org/downloads/download.php?file=/technology/epp/downloads/release/helios/R/"/> |
| 28 | + <condition property="is64bitJDK"> |
| 29 | + <!--We only check JVM bit model here.It works fine even 32-bit JVM is used on 64-bit OS --> |
| 30 | + <equals arg1="${sun.arch.data.model}" arg2="64" /> |
| 31 | + </condition> |
| 32 | + |
| 33 | + <target name="init"> |
| 34 | + <property name="helios_url" value="http://www.eclipse.org/downloads/download.php?file=/technology/epp/downloads/release/helios/R"/> |
30 | 35 | <property name="helios_jee_win32" value="eclipse-jee-helios-win32.zip"/>
|
31 | 36 | <property name="helios_jee_win64" value="eclipse-jee-helios-win32_64.zip"/>
|
32 | 37 | <property name="helios_jee_linux" value="eclipse-jee-helios-linux-gtk.tar"/>
|
|
35 | 40 | <property name="helios_jee_linux_gz" value="${helios_jee_linux}.gz"/>
|
36 | 41 | <property name="helios_jee_linux-x86_64_gz" value="${helios_jee_linux-x86_64}.gz"/>
|
37 | 42 | <property name="helios_jee_macos_gz" value="${helios_jee_macos}.gz"/>
|
38 |
| - <property name="protocol" value="&r=1&protocol=http"/> |
39 |
| - |
40 |
| - <property name="tptp-version" value="4.7.0"/> |
41 |
| - <property name="tptp" value="tptp.runtime-TPTP-${tptp-version}.zip"/> |
42 |
| - <property name="tptp-runtime-url" value="http://archive.eclipse.org/tptp/${tptp-version}/TPTP-${tptp-version}/${tptp}"/> |
43 |
| - |
| 43 | + |
| 44 | + <property name="tptp-version" value="4.7.0"/> |
| 45 | + <property name="tptp" value="tptp.runtime-TPTP-${tptp-version}.zip"/> |
| 46 | + <property name="tptp-runtime-url" value="http://www.eclipse.org/downloads/download.php?file=/tptp/4.7.0/TPTP-4.7.0"/> |
| 47 | + |
| 48 | + <property name="protocol" value="&r=1&protocol=http"/> |
44 | 49 | </target>
|
45 | 50 |
|
46 |
| - <target name="tptp" description="Download and extract TPTP runtime package"> |
47 |
| - <echo>#################################################################################</echo> |
48 |
| - <echo>## </echo> |
49 |
| - <echo>## Downloading: ${tptp} </echo> |
50 |
| - <echo>## </echo> |
51 |
| - <echo>## From: ${tptp-runtime-url} </echo> |
52 |
| - <echo>## </echo> |
53 |
| - <echo>#################################################################################</echo> |
54 |
| - <mkdir dir="${LOCAL_M2_REPO}/eclipse-downloads"/> |
55 |
| - <get src="${tptp-runtime-url}" |
56 |
| - dest="${LOCAL_M2_REPO}/eclipse-downloads/${tptp}" |
57 |
| - verbose="true" |
58 |
| - ignoreerrors="true" |
59 |
| - usetimestamp="true"/> |
60 |
| - <echo>#################################################################################</echo> |
61 |
| - <echo>## </echo> |
62 |
| - <echo>## Unzipping: ${tptp} </echo> |
63 |
| - <echo>## </echo> |
64 |
| - <echo>#################################################################################</echo> |
65 |
| - <unzip src="${LOCAL_M2_REPO}/eclipse-downloads/${tptp}" |
66 |
| - dest="${LOCAL_M2_REPO}/eclipse" |
67 |
| - overwrite="true"/> |
68 |
| - </target> |
| 51 | + <target name="tptp" depends="init" description="Download and extract TPTP runtime package"> |
| 52 | + <echo>#################################################################################</echo> |
| 53 | + <echo>## </echo> |
| 54 | + <echo>## Downloading: ${tptp} </echo> |
| 55 | + <echo>## </echo> |
| 56 | + <echo>## From: ${tptp-runtime-url} </echo> |
| 57 | + <echo>## </echo> |
| 58 | + <echo>#################################################################################</echo> |
| 59 | + <mkdir dir="${LOCAL_M2_REPO}/eclipse-downloads"/> |
| 60 | + <get src="${tptp-runtime-url}/${tptp}${protocol}" |
| 61 | + dest="${LOCAL_M2_REPO}/eclipse-downloads/${tptp}" |
| 62 | + verbose="true" |
| 63 | + ignoreerrors="true" |
| 64 | + usetimestamp="true"/> |
| 65 | + <echo>#################################################################################</echo> |
| 66 | + <echo>## </echo> |
| 67 | + <echo>## Unzipping: ${tptp} </echo> |
| 68 | + <echo>## </echo> |
| 69 | + <echo>#################################################################################</echo> |
| 70 | + <unzip src="${LOCAL_M2_REPO}/eclipse-downloads/${tptp}" |
| 71 | + dest="${LOCAL_M2_REPO}/eclipse" |
| 72 | + overwrite="true"/> |
| 73 | + </target> |
69 | 74 |
|
70 |
| - <target name="win32" depends="init" description="Download Windows-specific artifact(s)"> |
| 75 | + <target name="win" depends="init" description="Download Windows-specific artifact(s)"> |
| 76 | + <antcall target="win64"></antcall> |
| 77 | + <antcall target="win32"></antcall> |
| 78 | + </target> |
| 79 | + |
| 80 | + <target name="win32" unless="is64bitJDK" description="Download Windows 32-bit-specific artifact(s)"> |
71 | 81 | <echo>#################################################################################</echo>
|
72 | 82 | <echo>## </echo>
|
73 |
| - <echo>## Downloading: ${helios_jee_win32} </echo> |
| 83 | + <echo>## Downloading: ${helios_jee_win32} </echo> |
74 | 84 | <echo>## </echo>
|
75 |
| - <echo>## From: ${helios_url} </echo> |
| 85 | + <echo>## From: ${helios_url} </echo> |
76 | 86 | <echo>## </echo>
|
77 | 87 | <echo>#################################################################################</echo>
|
78 | 88 | <mkdir dir="${LOCAL_M2_REPO}/eclipse-downloads"/>
|
79 |
| - <get src="${helios_url}${helios_jee_win32}${protocol}" |
| 89 | + <get src="${helios_url}/${helios_jee_win32}${protocol}" |
80 | 90 | dest="${LOCAL_M2_REPO}/eclipse-downloads/${helios_jee_win32}"
|
81 | 91 | verbose="true"
|
82 | 92 | ignoreerrors="true"
|
83 | 93 | usetimestamp="true"/>
|
84 | 94 | <echo>#################################################################################</echo>
|
85 | 95 | <echo>## </echo>
|
86 |
| - <echo>## Unzipping: ${helios_jee_win32} </echo> |
| 96 | + <echo>## Unzipping: ${helios_jee_win32} </echo> |
87 | 97 | <echo>## </echo>
|
88 | 98 | <echo>#################################################################################</echo>
|
89 |
| - <delete dir="${LOCAL_M2_REPO}/eclipse" quiet="true"/> |
| 99 | + <delete dir="${LOCAL_M2_REPO}/eclipse" quiet="true"/> |
90 | 100 | <mkdir dir="${LOCAL_M2_REPO}/eclipse"/>
|
91 | 101 | <unzip src="${LOCAL_M2_REPO}/eclipse-downloads/${helios_jee_win32}"
|
92 | 102 | dest="${LOCAL_M2_REPO}/eclipse"
|
93 | 103 | overwrite="true"/>
|
94 | 104 | </target>
|
95 | 105 |
|
| 106 | + <target name="win64" if="is64bitJDK" description="Download Windows 64-bit-specific artifact(s)"> |
| 107 | + <echo>#################################################################################</echo> |
| 108 | + <echo>## </echo> |
| 109 | + <echo>## Downloading: ${helios_jee_win64} </echo> |
| 110 | + <echo>## </echo> |
| 111 | + <echo>## From: ${helios_url} </echo> |
| 112 | + <echo>## </echo> |
| 113 | + <echo>#################################################################################</echo> |
| 114 | + <mkdir dir="${LOCAL_M2_REPO}/eclipse-downloads"/> |
| 115 | + <get src="${helios_url}/${helios_jee_win64}${protocol}" |
| 116 | + dest="${LOCAL_M2_REPO}/eclipse-downloads/${helios_jee_win64}" |
| 117 | + verbose="true" |
| 118 | + ignoreerrors="true" |
| 119 | + usetimestamp="true"/> |
| 120 | + <echo>#################################################################################</echo> |
| 121 | + <echo>## </echo> |
| 122 | + <echo>## Unzipping: ${helios_jee_win64} </echo> |
| 123 | + <echo>## </echo> |
| 124 | + <echo>#################################################################################</echo> |
| 125 | + <delete dir="${LOCAL_M2_REPO}/eclipse" quiet="true"/> |
| 126 | + <mkdir dir="${LOCAL_M2_REPO}/eclipse"/> |
| 127 | + <unzip src="${LOCAL_M2_REPO}/eclipse-downloads/${helios_jee_win64}" |
| 128 | + dest="${LOCAL_M2_REPO}/eclipse" |
| 129 | + overwrite="true"/> |
| 130 | + </target> |
| 131 | + |
96 | 132 | <target name="linux" depends="init" description="Download Linux-specific artifact(s)">
|
| 133 | + <antcall target="linux_x86"></antcall> |
| 134 | + <antcall target="linux-x86_64"></antcall> |
| 135 | + </target> |
| 136 | + |
| 137 | + <target name="linux_x86" unless="is64bitJDK" description="Download Linux 32-bit-specific artifact(s)"> |
| 138 | + |
97 | 139 | <echo>#################################################################################</echo>
|
98 | 140 | <echo>## </echo>
|
99 |
| - <echo>## Downloading: ${helios_jee_linux_gz} </echo> |
| 141 | + <echo>## Downloading: ${helios_jee_linux_gz} </echo> |
100 | 142 | <echo>## </echo>
|
101 |
| - <echo>## From: ${helios_url} </echo> |
| 143 | + <echo>## From: ${helios_url} </echo> |
102 | 144 | <echo>## </echo>
|
103 | 145 | <echo>#################################################################################</echo>
|
104 | 146 | <mkdir dir="${LOCAL_M2_REPO}/eclipse-downloads"/>
|
105 |
| - <get src="${helios_url}${helios_jee_linux_gz}${protocol}" |
| 147 | + <get src="${helios_url}/${helios_jee_linux_gz}${protocol}" |
106 | 148 | dest="${LOCAL_M2_REPO}/eclipse-downloads/${helios_jee_linux_gz}"
|
107 | 149 | verbose="true"
|
108 | 150 | ignoreerrors="true"
|
109 | 151 | usetimestamp="true"/>
|
110 | 152 | <echo>#################################################################################</echo>
|
111 | 153 | <echo>## </echo>
|
112 |
| - <echo>## Unzipping: ${helios_jee_linux_gz} </echo> |
| 154 | + <echo>## Unzipping: ${helios_jee_linux_gz} </echo> |
113 | 155 | <echo>## </echo>
|
114 | 156 | <echo>#################################################################################</echo>
|
115 |
| - <delete dir="${LOCAL_M2_REPO}/eclipse" quiet="true"/> |
| 157 | + <delete dir="${LOCAL_M2_REPO}/eclipse" quiet="true"/> |
116 | 158 | <mkdir dir="${LOCAL_M2_REPO}/eclipse"/>
|
117 | 159 | <gunzip src="${LOCAL_M2_REPO}/eclipse-downloads/${helios_jee_linux_gz}"/>
|
118 | 160 | <untar src="${LOCAL_M2_REPO}/eclipse-downloads/${helios_jee_linux}"
|
119 | 161 | dest="${LOCAL_M2_REPO}/eclipse"
|
120 | 162 | overwrite="true"/>
|
121 | 163 | </target>
|
122 | 164 |
|
123 |
| - <target name="linux-x86_64" depends="init" description="Download Linux-specific artifact(s)"> |
| 165 | + <target name="linux-x86_64" if="is64bitJDK" description="Download Linux 64-bit-specific artifact(s)"> |
124 | 166 | <echo>#################################################################################</echo>
|
125 | 167 | <echo>## </echo>
|
126 |
| - <echo>## Downloading: ${helios_jee_linux-x86_64_gz} </echo> |
| 168 | + <echo>## Downloading: ${helios_jee_linux-x86_64_gz} </echo> |
127 | 169 | <echo>## </echo>
|
128 |
| - <echo>## From: ${helios_url} </echo> |
| 170 | + <echo>## From: ${helios_url} </echo> |
129 | 171 | <echo>## </echo>
|
130 | 172 | <echo>#################################################################################</echo>
|
131 | 173 | <mkdir dir="${LOCAL_M2_REPO}/eclipse-downloads"/>
|
132 |
| - <get src="${helios_url}${helios_jee_linux-x86_64_gz}${protocol}" |
| 174 | + <get src="${helios_url}/${helios_jee_linux-x86_64_gz}${protocol}" |
133 | 175 | dest="${LOCAL_M2_REPO}/eclipse-downloads/${helios_jee_linux-x86_64_gz}"
|
134 | 176 | verbose="true"
|
135 | 177 | ignoreerrors="true"
|
136 | 178 | usetimestamp="true"/>
|
137 | 179 | <echo>#################################################################################</echo>
|
138 | 180 | <echo>## </echo>
|
139 |
| - <echo>## Unzipping: ${helios_jee_linux-x86_64_gz} </echo> |
| 181 | + <echo>## Unzipping: ${helios_jee_linux-x86_64_gz} </echo> |
140 | 182 | <echo>## </echo>
|
141 | 183 | <echo>#################################################################################</echo>
|
142 |
| - <delete dir="${LOCAL_M2_REPO}/eclipse" quiet="true"/> |
| 184 | + <delete dir="${LOCAL_M2_REPO}/eclipse" quiet="true"/> |
143 | 185 | <mkdir dir="${LOCAL_M2_REPO}/eclipse"/>
|
144 | 186 | <gunzip src="${LOCAL_M2_REPO}/eclipse-downloads/${helios_jee_linux-x86_64_gz}"/>
|
145 | 187 | <untar src="${LOCAL_M2_REPO}/eclipse-downloads/${helios_jee_linux-x86_64}"
|
146 | 188 | dest="${LOCAL_M2_REPO}/eclipse"
|
147 | 189 | overwrite="true"/>
|
148 | 190 | </target>
|
149 | 191 |
|
150 |
| - |
151 | 192 | <target name="macos" depends="init" description="Download Mac-specific artifact(s)">
|
152 | 193 | <echo>#################################################################################</echo>
|
153 | 194 | <echo>## </echo>
|
154 |
| - <echo>## Downloading: ${helios_jee_macos_gz} </echo> |
| 195 | + <echo>## Downloading: ${helios_jee_macos_gz} </echo> |
155 | 196 | <echo>## </echo>
|
156 |
| - <echo>## From: ${helios_url} </echo> |
| 197 | + <echo>## From: ${helios_url} </echo> |
157 | 198 | <echo>## </echo>
|
158 | 199 | <echo>#################################################################################</echo>
|
159 | 200 | <mkdir dir="${LOCAL_M2_REPO}/eclipse-downloads"/>
|
160 |
| - <get src="${helios_url}${helios_jee_macos_gz}${protocol}" |
| 201 | + <get src="${helios_url}/${helios_jee_macos_gz}${protocol}" |
161 | 202 | dest="${LOCAL_M2_REPO}/eclipse-downloads/${helios_jee_macos_gz}"
|
162 | 203 | verbose="true"
|
163 | 204 | ignoreerrors="true"
|
164 | 205 | usetimestamp="true"/>
|
165 | 206 | <echo>#################################################################################</echo>
|
166 | 207 | <echo>## </echo>
|
167 |
| - <echo>## Unzipping: ${helios_jee_macos_gz} </echo> |
| 208 | + <echo>## Unzipping: ${helios_jee_macos_gz} </echo> |
168 | 209 | <echo>## </echo>
|
169 | 210 | <echo>#################################################################################</echo>
|
170 |
| - <delete dir="${LOCAL_M2_REPO}/eclipse" quiet="true"/> |
| 211 | + <delete dir="${LOCAL_M2_REPO}/eclipse" quiet="true"/> |
171 | 212 | <mkdir dir="${LOCAL_M2_REPO}/eclipse"/>
|
172 | 213 | <gunzip src="${LOCAL_M2_REPO}/eclipse-downloads/${helios_jee_macos_gz}"/>
|
173 | 214 | <untar src="${LOCAL_M2_REPO}/eclipse-downloads/${helios_jee_macos}"
|
|
0 commit comments