1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-11-29 10:24:12 +01:00
Arduino/build/build_all_dist.bash

27 lines
785 B
Bash
Raw Normal View History

#!/bin/bash -ex
DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
cd $DIR
rm -f ../arduino-*.tar.xz
rm -f ../arduino-*.zip
ant -Djava.net.preferIPv4Stack=true -Dplatform=linux32 $@ clean dist
mv linux/arduino-*-linux32.tar.xz ../
ant -Djava.net.preferIPv4Stack=true -Dplatform=linux64 $@ clean dist
mv linux/arduino-*-linux64.tar.xz ../
2016-02-02 17:00:49 +01:00
ant -Djava.net.preferIPv4Stack=true -Dplatform=linuxarm $@ clean dist
mv linux/arduino-*-linuxarm.tar.xz ../
2018-06-04 15:10:19 +02:00
ant -Djava.net.preferIPv4Stack=true -Dplatform=linuxaarch64 $@ clean dist
mv linux/arduino-*-linuxaarch64.tar.xz ../
ant -Djava.net.preferIPv4Stack=true -Dplatform=windows $@ clean dist
mv windows/arduino-*-windows.zip ../
ant -Djava.net.preferIPv4Stack=true -Dplatform=macosx $@ clean dist
mv macosx/arduino-*-macosx.zip ../