1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-12-01 12:24:14 +01:00

Merge branch 'ide-1.5.x-linux-lzma' of git://github.com/ffissore/Arduino into ide-1.5.x

This commit is contained in:
Cristian Maglie 2015-01-08 15:32:51 +01:00
commit e4c8f98941

View File

@ -588,7 +588,7 @@
</target> </target>
<target name="linux-dist" depends="build" <target name="linux-dist" depends="build"
description="Build .tar.gz of linux version"> description="Build .tar.xz of linux version">
<!--get src="http://dev.processing.org/build/jre-tools-6u18-linux-i586.tgz" <!--get src="http://dev.processing.org/build/jre-tools-6u18-linux-i586.tgz"
dest="linux/jre.tgz" dest="linux/jre.tgz"
@ -617,10 +617,10 @@
<move file="linux/work" tofile="linux/arduino-${version}" /> <move file="linux/work" tofile="linux/arduino-${version}" />
<exec executable="tar" dir="linux"> <exec executable="tar" dir="linux">
<arg value="-z"/> <arg value="--lzma"/>
<arg value="-c"/> <arg value="-c"/>
<arg value="-f"/> <arg value="-f"/>
<arg value="arduino-${version}-${platform}.tgz"/> <arg value="arduino-${version}-${platform}.tar.xz"/>
<arg value="arduino-${version}"/> <arg value="arduino-${version}"/>
</exec> </exec>
@ -630,16 +630,16 @@
======================================================= =======================================================
Arduino for Linux was built. Grab the archive from Arduino for Linux was built. Grab the archive from
build/linux/arduino-${version}-${platform}.tgz build/linux/arduino-${version}-${platform}.tar.xz
======================================================= =======================================================
</echo> </echo>
</target> </target>
<target name="linux32-dist" depends="linux-dist" <target name="linux32-dist" depends="linux-dist"
description="Build .tar.gz of linux version" /> description="Build .tar.xz of linux version" />
<target name="linux64-dist" depends="linux-dist" <target name="linux64-dist" depends="linux-dist"
description="Build .tar.gz of linux version" /> description="Build .tar.xz of linux version" />
<!-- - - - - - - - --> <!-- - - - - - - - -->
<!-- Windows --> <!-- Windows -->