50 env: DISTRO=Fedora31-mingw CI_BUILD_TYPE=mingw
52 env: DISTRO=Fedora31 CI_BUILD_TYPE=options-enabled
54 env: DISTRO=Fedora31 CI_BUILD_TYPE=options-disabled
56 env: DISTRO=Fedora31 CI_BUILD_TYPE=wayland
58 env: DISTRO=Fedora31 CI_BUILD_TYPE=default
61 env: DISTRO=Fedora31 CI_BUILD_TYPE=release-ready
64 env: DISTRO=Ubuntu1804
67 env: DISTRO=Ubuntu1910
73 env: DISTRO=Fedora31 CI_BUILD_TYPE=coverity
80 if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then
81 rm -rf $HOME/Library/Caches/Homebrew
82 rm -rf $HOME/cachedir/Homebrew/Homebrew
83 mv $HOME/cachedir/Homebrew $HOME/Library/Caches/Homebrew
89 if [[ "$TRAVIS_OS_NAME" == "linux" ]] && [[ "$DISTRO" != "" ]]; then
90 docker pull stefanschmidt1/ci-support-files:$DISTRO
93 if [[ "$TRAVIS_OS_NAME" == "linux" ]] ; then
95 docker run --cidfile $HOME/cid -t -d -v `pwd`:/src -v $HOME/.ccache:/root/.ccache -w /src stefanschmidt1/ci-support-files:$DISTRO bash
97 - .ci/ci-ccache-stats.sh
100 - .ci/ci-configure.sh "$CI_BUILD_TYPE"
101 - .ci/ci-setup-ccache.sh "$CI_BUILD_TYPE"
102 - .ci/ci-make.sh "$CI_BUILD_TYPE"
104 if [[ "$TRAVIS_OS_NAME" == "linux" ]] && [[ "$CI_BUILD_TYPE" == "" ]]; then
105 .ci/ci-make-benchmark.sh "$CI_BUILD_TYPE"
107 - .ci/ci-make-install.sh "$CI_BUILD_TYPE"
108 - .ci/ci-make-check.sh "$CI_BUILD_TYPE"
109 - .ci/ci-make-distcheck.sh "$CI_BUILD_TYPE"
111 - .ci/ci-build-test.sh "$CI_BUILD_TYPE"
113 - .ci/ci-ccache-stats.sh
115 mkdir -p $HOME/cachedir
116 if [[ "$TRAVIS_OS_NAME" == "linux" ]] ; then
117 sudo chown travis:travis $HOME/.ccache
119 mv $HOME/Library/Caches/Homebrew $HOME/cachedir/Homebrew
125 - "chat.freenode.net#edevelop"
129 - "TravisCI build %{build_number} in branch %{branch}: %{result} - %{message} (%{elapsed_time})"
130 - "Commit: %{commit_subject} (%{commit}) from %{author}"
131 - "Change view : %{compare_url}"
132 - "Build details : %{build_url}"