use local eclipse.org mirrors to improve build times

erlang · Mar 6, 2015 · a4612b8 · a4612b8
1 parent a57c7cc
commit a4612b8
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 1 deletion.
diff --git a/org.erlide.releng/build.rmap b/org.erlide.releng/build.rmap
@@ -3,7 +3,8 @@
     xmlns:bc="http://www.eclipse.org/buckminster/Common-1.0">
 
     <rm:property key="projects.location" value="${workspace.root}" />
-    <rm:property key="eclipse.download" value="http://download.eclipse.org" />
+    <!--rm:property key="eclipse.download" value="http://download.eclipse.org" /-->
+    <rm:property key="eclipse.download" value="file:///home/jenkins/erlide_tools/mirrors" />
     <rm:property key="eclipse.target.platform" value="${eclipse.download}/releases/${eclipse.release}" />
     <rm:property key="eclipse.orbit" value="${eclipse.download}/tools/orbit/downloads/drops/R20130517111416/repository" />
     <rm:property key="graphviz" value="http://download.erlide.org/update/graphviz" />

diff --git a/org.erlide.releng/mirror.ant b/org.erlide.releng/mirror.ant
@@ -0,0 +1,14 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project name="Mirror Eclipse" default="create-mirror" basedir=".">
+<target name="create-mirror">
+    <p2.mirror source="http://download.eclipse.org/releases/juno">
+      <destination location="${target.dir}/releases/juno"  />
+    </p2.mirror>
+    <p2.mirror source="http://download.eclipse.org/tools/orbit/downloads/drops/R20130517111416/repository">
+      <destination location="${target.dir}/tools/orbit/downloads/drops/R20130517111416/repository"  />
+    </p2.mirror>
+  <p2.mirror source="http://download.eclipse.org/eclipse/updates/4.2">
+      <destination location="${target.dir}/eclipse/updates/4.2"  />
+    </p2.mirror>
+  </target>
+</project>