rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-18 07:52:14 +01:00
Code Issues Releases Activity

Factored out index urls in build script

Browse Source
This commit is contained in:
Cristian Maglie 2016-03-08 17:52:57 +01:00
parent dacfb566d4
commit d17151c11f
1 changed files with 17 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
build/build.xml
View File

@ -8,6 +8,10 @@
<format property="BUILD_DATE" pattern="yyyy/MM/dd hh:mm"/>
</tstamp>
<!-- Main url for boards and libraries repository -->
<property name="library_index_url" value="http://downloads.arduino.cc/libraries/library_index.json" />
<property name="package_index_url" value="http://downloads.arduino.cc/packages/package_index.json" />
<!-- Sets properties for macosx/windows/linux depending on current system -->
<condition property="platform" value="macosx-old">
<and>
@ -1081,14 +1085,22 @@
<target name="package-library-index-json-bundle">
<mkdir dir="${staging_folder}/work/${staging_hardware_folder}/../dist/"/>
<get src="http://downloads.arduino.cc/packages/package_index.json.gz" dest="${staging_folder}/work/${staging_hardware_folder}/../dist/" verbose="true" skipexisting="false" />
<gunzip src="${staging_folder}/work/${staging_hardware_folder}/../dist/package_index.json.gz" dest="${staging_folder}/work/${staging_hardware_folder}/../dist/"/>
<get src="${package_index_url}.gz"
dest="${staging_folder}/work/${staging_hardware_folder}/../dist/package_index.json.gz"
verbose="true" skipexisting="false" />
<gunzip src ="${staging_folder}/work/${staging_hardware_folder}/../dist/package_index.json.gz"
dest="${staging_folder}/work/${staging_hardware_folder}/../dist/"/>
<delete file="${staging_folder}/work/${staging_hardware_folder}/../dist/package_index.json.gz"/>
<get src="http://downloads.arduino.cc/packages/package_index.json.sig" dest="${staging_folder}/work/${staging_hardware_folder}/../dist/" verbose="true" skipexisting="false" />
<get src="${package_index_url}.sig"
dest="${staging_folder}/work/${staging_hardware_folder}/../dist/package_index.json.sig"
verbose="true" skipexisting="false" />
<get src="http://downloads.arduino.cc/libraries/library_index.json.gz" dest="${staging_folder}/work/${staging_hardware_folder}/../dist/" verbose="true" skipexisting="false" />
<gunzip src="${staging_folder}/work/${staging_hardware_folder}/../dist/library_index.json.gz" dest="${staging_folder}/work/${staging_hardware_folder}/../dist/"/>
<get src="${library_index_url}.gz"
dest="${staging_folder}/work/${staging_hardware_folder}/../dist/library_index.json.gz"
verbose="true" skipexisting="false" />
<gunzip src ="${staging_folder}/work/${staging_hardware_folder}/../dist/library_index.json.gz"
dest="${staging_folder}/work/${staging_hardware_folder}/../dist/"/>
<delete file="${staging_folder}/work/${staging_hardware_folder}/../dist/library_index.json.gz"/>
<delete dir="${staging_folder}/work/${staging_hardware_folder}/tmp"/>