Arduino 1.6.12 / Travis CI: “Selected library is not available”

[krzychb]

Hi,

I have updated previously working Travis CI script by changing Arduino IDE version from 1.6.9 to 1.6.12.

As result in the line - arduino --install-library "WebSockets", the script is failing with Selected library is not available - https://travis-ci.org/krzychb/EspScopeA0/builds/163400605

Troubleshooting:

1. The same error is reported if I select Arduino 1.6.11 - https://travis-ci.org/krzychb/EspScopeA0/builds/163373114
2. If I change Arduino back to 1.6.9 then the error is java.lang.Exception: CRC doesn't match. File is corrupted (checked doing the build three times).
3. The same script was passing without any issues about 16 days ago - https://travis-ci.org/krzychb/EspScopeA0/builds/159405818
4. There are no any problems loading a fresh copy of “WebSockets” library on my PC using Library Manager in Arduino IDE 1.6.9, 1.6.11 and 1.6.12.
5. I have checked using Travis CI script with some other libraries and see the same issue.

Could you give me some guidance what the issue may be / how to troubleshoot it?

Krzysztof

[cmaglie]

@krzychb
it seems that the library_index.json is downloaded but not used right awa (so the previous, empy/missing, is used).

As a quick workaround I found this:
cmaglie/test-ci@6b4d02a

@@ -7,6 +7,8 @@ before_install:
   - tar xf arduino-1.6.12-linux64.tar.xz
   - sudo mv arduino-1.6.12 /usr/local/share/arduino
   - sudo ln -s /usr/local/share/arduino/arduino /usr/local/bin/arduino
+  - mkdir $HOME/.arduino15
+  - wget http://downloads.arduino.cc/libraries/library_index.json -O $HOME/.arduino15/library_index.json
 install:
   - arduino --install-library "WebSockets"

I'm investigating why the updated library_index.json is not used.

[krzychb]

@cmaglie,
I have added the workaround to my repository and it works!
Thanks a lot 👍