blob: 1fa2f02ee42252960ce458d417e5c1ecfc2caf9c [file] [log] [blame]
Wentao Shanga8f3c402014-10-30 14:03:27 -07001#!/usr/bin/env bash
Davide Pesavento1d484532022-08-19 22:08:31 -04002set -eo pipefail
Wentao Shanga8f3c402014-10-30 14:03:27 -07003
Davide Pesavento1d484532022-08-19 22:08:31 -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"
Davide Pesaventoafe42f12025-03-25 12:46:22 -040013 if [[ -z $GITHUB_ACTIONS ]]; then
14 export PATH="${HOME}/.local/bin${PATH:+:}${PATH}"
15 fi
Davide Pesavento1d484532022-08-19 22:08:31 -040016 ;;
17 Darwin)
18 # Emulate a subset of os-release(5)
19 export ID=macos
20 export VERSION_ID=$(sw_vers -productVersion)
Davide Pesaventoafe42f12025-03-25 12:46:22 -040021 if [[ -z $GITHUB_ACTIONS ]]; then
22 export PATH="/usr/local/bin${PATH:+:}${PATH}"
23 fi
Davide Pesavento1d484532022-08-19 22:08:31 -040024 if [[ -x /opt/homebrew/bin/brew ]]; then
25 eval "$(/opt/homebrew/bin/brew shellenv)"
26 elif [[ -x /usr/local/bin/brew ]]; then
27 eval "$(/usr/local/bin/brew shellenv)"
28 fi
29 ;;
30esac
31
Davide Pesavento4a160042020-04-13 16:50:02 -040032export CACHE_DIR=${CACHE_DIR:-/tmp}
Davide Pesavento55bedb22022-12-03 13:50:27 -050033
Davide Pesaventoafe42f12025-03-25 12:46:22 -040034if [[ $JOB_NAME == *code-coverage ]]; then
35 export DISABLE_ASAN=1
36 export DISABLE_HEADERS_CHECK=1
Davide Pesavento55bedb22022-12-03 13:50:27 -050037fi
Wentao Shanga8f3c402014-10-30 14:03:27 -070038
Davide Pesavento60b52cf2023-04-26 15:27:02 -040039# https://reproducible-builds.org/docs/source-date-epoch/
40export SOURCE_DATE_EPOCH=$(git log -1 --format=%ct)
41
Davide Pesavento4a160042020-04-13 16:50:02 -040042for file in .jenkins.d/*; do
Davide Pesaventob545aac2017-09-22 23:54:10 -040043 [[ -f $file && -x $file ]] || continue
Davide Pesavento4a160042020-04-13 16:50:02 -040044
Davide Pesavento333e3eb2021-10-12 19:30:51 -040045 if [[ -n $GITHUB_ACTIONS ]]; then
Davide Pesavento4a160042020-04-13 16:50:02 -040046 label=$(basename "$file" | sed -E 's/[[:digit:]]+-(.*)\..*/\1/')
Davide Pesavento333e3eb2021-10-12 19:30:51 -040047 echo "::group::${label}"
Davide Pesavento4a160042020-04-13 16:50:02 -040048 fi
49
50 echo "\$ $file"
Davide Pesaventob545aac2017-09-22 23:54:10 -040051 "$file"
Davide Pesavento4a160042020-04-13 16:50:02 -040052
Davide Pesavento333e3eb2021-10-12 19:30:51 -040053 if [[ -n $GITHUB_ACTIONS ]]; then
54 echo "::endgroup::"
Davide Pesavento4a160042020-04-13 16:50:02 -040055 fi
Wentao Shanga8f3c402014-10-30 14:03:27 -070056done