message: bump arduino 1.8.8, install boards esp32
diff: @@ -5,27 +5,28 @@ before_install:
  - "/sbin/start-stop-daemon --start --quiet --pidfile /tmp/custom_xvfb_1.pid --make-pidfile --background --exec /usr/bin/Xvfb -- :1 -ac -screen 0 1280x1024x16"
  - sleep 3
  - export DISPLAY=:1.0
  - - wget http://downloads.arduino.cc/arduino-1.8.5-linux64.tar.xz
  - - tar xf arduino-1.8.5-linux64.tar.xz
  - - sudo mv arduino-1.8.5 /usr/local/share/arduino
  + - wget http://downloads.arduino.cc/arduino-1.8.8-linux64.tar.xz
  + - tar xf arduino-1.8.8-linux64.tar.xz
  + - sudo mv arduino-1.8.8 /usr/local/share/arduino
  - sudo ln -s /usr/local/share/arduino/arduino /usr/local/bin/arduino
  install:
  - ln -s $PWD /usr/local/share/arduino/libraries/WiFiManager
  - - arduino --pref "boardsmanager.additional.urls=http://arduino.esp8266.com/stable/package_esp8266com_index.json" --save-prefs
  + - arduino --pref "boardsmanager.additional.urls=http://arduino.esp8266.com/stable/package_esp8266com_index.json,http://dl.espressif.com/dl/package_esp32_index.json" --save-prefs
  - arduino --install-library "ArduinoJson:5.13.2"
  - arduino --install-boards esp8266:esp8266
  - arduino --pref "compiler.warning_level=all" --save-prefs
  # install esp32
  - - pushd .
  - - mkdir -p ~/Arduino/hardware/espressif
  - - cd ~/Arduino/hardware/espressif
  - - git clone https://github.com/espressif/arduino-esp32.git esp32
  - - cd esp32
  - - git submodule update --init --recursive
  - - cd tools
  - - python2 get.py
  - - popd
  + - arduino --install-boards esp32:esp32
  + # - pushd .
  + # - mkdir -p ~/Arduino/hardware/espressif
  + # - cd ~/Arduino/hardware/espressif
  + # - git clone https://github.com/espressif/arduino-esp32.git esp32
  + # - cd esp32
  + # - git submodule update --init --recursive
  + # - cd tools
  + # - python2 get.py
  + # - popd
  # esp32 needs WebServer_tng for now
  # - git clone https://github.com/bbx10/WebServer_tng.git /usr/local/share/arduino/libraries/WebServer_tng
  