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
76 env: DISTRO=Fedora31 CI_BUILD_TYPE=asan
83 if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then
84 rm -rf $HOME/Library/Caches/Homebrew
85 rm -rf $HOME/cachedir/Homebrew/Homebrew
86 mv $HOME/cachedir/Homebrew $HOME/Library/Caches/Homebrew
92 if [[ "$TRAVIS_OS_NAME" == "linux" ]] && [[ "$DISTRO" != "" ]]; then
93 docker pull stefanschmidt1/ci-support-files:$DISTRO
96 if [[ "$TRAVIS_OS_NAME" == "linux" ]] ; then
98 docker run --cidfile $HOME/cid -t -d -v `pwd`:/src -v $HOME/.ccache:/root/.ccache -w /src stefanschmidt1/ci-support-files:$DISTRO bash
100 - .ci/ci-ccache-stats.sh
103 - .ci/ci-configure.sh "$CI_BUILD_TYPE"
104 - .ci/ci-setup-ccache.sh "$CI_BUILD_TYPE"
105 - .ci/ci-make.sh "$CI_BUILD_TYPE"
106 - .ci/ci-make-install.sh "$CI_BUILD_TYPE"
107 - .ci/ci-make-benchmark.sh "$CI_BUILD_TYPE"
108 - .ci/ci-make-check.sh "$CI_BUILD_TYPE"
109 - .ci/ci-make-distcheck.sh "$CI_BUILD_TYPE"
110 - .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}"