chiark / gitweb /
package/ci: use Doxygen 1.8.15.
authorVladimír Vondruš <mosra@centrum.cz>
Sun, 30 Dec 2018 00:09:25 +0000 (01:09 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 30 Dec 2018 00:31:19 +0000 (01:31 +0100)
Finally, a year later, a stable release I can use for testing on Travis.
On the other hand I'm furious because the old FTP got lost along with
all files it had and now the only possibility is to fetch infested crap
from sourceforge.

Also UGH WHY SO SLOW.

package/ci/travis.yml

index fe24cfea23d5f9e3683c0af844296d9049e57151..20f9f0f12d00c58ba78f4a537b079f23cb865c6a 100644 (file)
@@ -53,9 +53,7 @@ install:
   - if [ "$WITH_DOXYGEN" == "ON" ]; then mkdir -p $HOME/bin && export PATH=$HOME/bin:$PATH; fi
 
   # Download newer Doxygen, as I don't want to care for the old bugs
-  # TODO: use a stable URL once https://github.com/doxygen/doxygen/issues/6393
-  # is resolved
-  - if [ "$WITH_DOXYGEN" == "ON" ] && [ ! -f $HOME/bin/doxygen ]; then wget "http://ftp.stack.nl/pub/users/dimitri/test/doxygen-1.8.14.static_clang.linux.bin.tar.gz" && tar -xzf doxygen-1.8.14.static_clang.linux.bin.tar.gz && cp doxygen-1.8.14/bin/doxygen $HOME/bin && doxygen -v; fi
+  - if [ "$WITH_DOXYGEN" == "ON" ] && [ ! -f $HOME/bin/doxygen ]; then wget "http://doxygen.nl/files/doxygen-1.8.15.linux.bin.tar.gz" && tar -xzf doxygen-1.8.15.linux.bin.tar.gz && cp doxygen-1.8.15/bin/doxygen $HOME/bin && doxygen -v; fi
 
 script:
   # Test the theme. No code coverage there.