51 env: DISTRO=Fedora31-mingw CI_BUILD_TYPE=mingw
53 env: DISTRO=Fedora31 CI_BUILD_TYPE=options-enabled
55 env: DISTRO=Fedora31 CI_BUILD_TYPE=options-disabled
57 env: DISTRO=Fedora31 CI_BUILD_TYPE=wayland
59 env: DISTRO=Fedora31 CI_BUILD_TYPE=default
62 env: DISTRO=Fedora31 CI_BUILD_TYPE=release-ready
65 env: DISTRO=Ubuntu1804
68 env: DISTRO=Ubuntu1910
74 env: DISTRO=Fedora31 CI_BUILD_TYPE=coverity
81 if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then
82 rm -rf $HOME/Library/Caches/Homebrew
83 rm -rf $HOME/cachedir/Homebrew/Homebrew
84 mv $HOME/cachedir/Homebrew $HOME/Library/Caches/Homebrew
90 if [[ "$TRAVIS_OS_NAME" == "linux" ]] && [[ "$DISTRO" != "" ]]; then
91 docker pull stefanschmidt1/ci-support-files:$DISTRO
94 if [[ "$TRAVIS_OS_NAME" == "linux" ]] ; then
96 docker run --cidfile $HOME/cid -t -d -v `pwd`:/src -v $HOME/.ccache:/root/.ccache -w /src stefanschmidt1/ci-support-files:$DISTRO bash
98 - .ci/ci-ccache-stats.sh
101 - .ci/ci-configure.sh "$CI_BUILD_TYPE"
102 - .ci/ci-setup-ccache.sh "$CI_BUILD_TYPE"
103 - .ci/ci-make.sh "$CI_BUILD_TYPE"
105 if [[ "$TRAVIS_OS_NAME" == "linux" ]] && [[ "$CI_BUILD_TYPE" == "" ]]; then
106 .ci/ci-make-benchmark.sh "$CI_BUILD_TYPE"
108 - .ci/ci-make-install.sh "$CI_BUILD_TYPE"
109 - .ci/ci-make-check.sh "$CI_BUILD_TYPE"
110 - .ci/ci-make-distcheck.sh "$CI_BUILD_TYPE"
112 - .ci/ci-build-test.sh "$CI_BUILD_TYPE"
114 - .ci/ci-ccache-stats.sh
116 mkdir -p $HOME/cachedir
117 if [[ "$TRAVIS_OS_NAME" == "linux" ]] ; then
118 sudo chown travis:travis $HOME/.ccache
120 mv $HOME/Library/Caches/Homebrew $HOME/cachedir/Homebrew
126 - "chat.freenode.net#edevelop"
131 - "TravisCI build %{build_number} in branch %{branch}: %{result} - %{message} (%{elapsed_time})"
132 - "Commit: %{commit_subject} (%{commit}) from %{author}"
133 - "Change view : %{compare_url}"
134 - "Build details : %{build_url}"