blob: 92b9dae8cc2bbfbb34bdbfdc0a750ff6b789496f [file] [log] [blame]
Alexander Afanasyev6e64ac92018-06-14 17:25:38 -04001#!/usr/bin/env bash
Davide Pesavento27dd70c2022-08-19 16:24:28 -04002set -eo pipefail
Alexander Afanasyev6e64ac92018-06-14 17:25:38 -04003
Davide Pesavento27dd70c2022-08-19 16:24:28 -04004case $(uname) in
5 Linux)
6 if [[ -e /etc/os-release ]]; then
7 source /etc/os-release
8 else
9 source /usr/lib/os-release
10 fi
11 export ID VERSION_ID
12 export ID_LIKE="${ID} ${ID_LIKE} linux"
13 export PATH="${HOME}/.local/bin${PATH:+:}${PATH}"
14 ;;
15 Darwin)
16 # Emulate a subset of os-release(5)
17 export ID=macos
18 export VERSION_ID=$(sw_vers -productVersion)
Davide Pesaventof5248012022-11-15 14:25:34 -050019 export PATH="/usr/local/bin${PATH:+:}${PATH}"
Davide Pesavento27dd70c2022-08-19 16:24:28 -040020 if [[ -x /opt/homebrew/bin/brew ]]; then
21 eval "$(/opt/homebrew/bin/brew shellenv)"
22 elif [[ -x /usr/local/bin/brew ]]; then
23 eval "$(/usr/local/bin/brew shellenv)"
24 fi
25 ;;
26esac
27
Davide Pesaventoec61b742020-04-18 01:00:12 -040028export CACHE_DIR=${CACHE_DIR:-/tmp}
Davide Pesavento8ffcb862022-11-20 20:22:11 -050029
30if [[ $JOB_NAME == *"code-coverage" ]]; then
31 export DISABLE_ASAN=yes
32 export DISABLE_HEADERS_CHECK=yes
33fi
Alexander Afanasyev6e64ac92018-06-14 17:25:38 -040034
Davide Pesavento46ba1e52023-04-17 02:36:33 -040035# https://reproducible-builds.org/docs/source-date-epoch/
36export SOURCE_DATE_EPOCH=$(git log -1 --format=%ct)
37
Davide Pesaventoec61b742020-04-18 01:00:12 -040038for file in .jenkins.d/*; do
Alexander Afanasyev6e64ac92018-06-14 17:25:38 -040039 [[ -f $file && -x $file ]] || continue
Davide Pesaventoec61b742020-04-18 01:00:12 -040040
Davide Pesavento3c7f6452021-10-02 04:06:26 -040041 if [[ -n $GITHUB_ACTIONS ]]; then
Davide Pesaventoec61b742020-04-18 01:00:12 -040042 label=$(basename "$file" | sed -E 's/[[:digit:]]+-(.*)\..*/\1/')
Davide Pesavento3c7f6452021-10-02 04:06:26 -040043 echo "::group::${label}"
Davide Pesaventoec61b742020-04-18 01:00:12 -040044 fi
45
46 echo "\$ $file"
Alexander Afanasyev6e64ac92018-06-14 17:25:38 -040047 "$file"
Davide Pesaventoec61b742020-04-18 01:00:12 -040048
Davide Pesavento3c7f6452021-10-02 04:06:26 -040049 if [[ -n $GITHUB_ACTIONS ]]; then
50 echo "::endgroup::"
Davide Pesaventoec61b742020-04-18 01:00:12 -040051 fi
Davide Pesavento8f9d0622018-11-27 01:23:37 -050052done