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"
107 if [[ "$TRAVIS_OS_NAME" == "linux" ]] && [[ "$CI_BUILD_TYPE" == "" ]]; then
108 .ci/ci-make-benchmark.sh "$CI_BUILD_TYPE"
110 - .ci/ci-make-install.sh "$CI_BUILD_TYPE"
111 - .ci/ci-make-check.sh "$CI_BUILD_TYPE"
112 - .ci/ci-make-distcheck.sh "$CI_BUILD_TYPE"
114 - .ci/ci-build-test.sh "$CI_BUILD_TYPE"
116 - .ci/ci-ccache-stats.sh
118 mkdir -p $HOME/cachedir
119 if [[ "$TRAVIS_OS_NAME" == "linux" ]] ; then
120 sudo chown travis:travis $HOME/.ccache
122 mv $HOME/Library/Caches/Homebrew $HOME/cachedir/Homebrew
128 - "chat.freenode.net#edevelop"
132 - "TravisCI build %{build_number} in branch %{branch}: %{result} - %{message} (%{elapsed_time})"
133 - "Commit: %{commit_subject} (%{commit}) from %{author}"
134 - "Change view : %{compare_url}"
135 - "Build details : %{build_url}"