2019-08-06 05:35:32 +02:00
|
|
|
language: c
|
|
|
|
sudo: false
|
|
|
|
cache:
|
|
|
|
directories:
|
|
|
|
- ~/arduino_ide
|
|
|
|
- ~/.arduino15/packages/
|
|
|
|
git:
|
|
|
|
depth: false
|
|
|
|
quiet: true
|
|
|
|
env:
|
|
|
|
global:
|
|
|
|
# You can uncomment this to explicitly choose an (old) version of the Arduino IDE
|
|
|
|
#- ARDUINO_IDE_VERSION="1.8.7"
|
|
|
|
before_install:
|
|
|
|
- source <(curl -SLs https://raw.githubusercontent.com/adafruit/travis-ci-arduino/master/install.sh)
|
2019-08-06 06:17:26 +02:00
|
|
|
- if [! -d "$HOME/arduino_ide/libraries/<Name>" ]; then git clone <URL> $HOME/arduino_ide/libraries/<Name>; fi
|
2019-08-06 05:35:32 +02:00
|
|
|
script:
|
|
|
|
- build_platform zero
|