From 2f121aa830cef3709c54251a0d08006b8ab0fa7a Mon Sep 17 00:00:00 2001 From: =?utf8?q?Vladim=C3=ADr=20Vondru=C5=A1?= Date: Thu, 7 May 2020 19:26:34 +0200 Subject: [PATCH] package/ci: use doxygen 1.8.17. 1.8.16 and older got deleted from there, so there's no other option anyway. OTOH 1.8.18 doesn't work on Ubuntu 16.04 anymore (FFS) so I have to stay on 1.8.17. --- package/ci/travis.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/package/ci/travis.yml b/package/ci/travis.yml index d0eac53e..06078a53 100644 --- a/package/ci/travis.yml +++ b/package/ci/travis.yml @@ -60,8 +60,9 @@ install: # Needed for doxygen binaries - if [ "$WITH_DOCUMENTATION" == "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 - - if [ "$WITH_DOCUMENTATION" == "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 + # Old releases are randomly deleted from this location, so even if I would + # want to, I can't test with older versions + - if [ "$WITH_DOCUMENTATION" == "ON" ] && [ ! -f $HOME/bin/doxygen ]; then wget "http://doxygen.nl/files/doxygen-1.8.17.linux.bin.tar.gz" && tar -xzf doxygen-1.8.17.linux.bin.tar.gz && cp doxygen-1.8.17/bin/doxygen $HOME/bin && doxygen -v; fi script: # Test the theme. No code coverage there. -- 2.30.2