bump arduino 1.8.8, install boards esp32

.travis.yml

@@ -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