blob: 1fa2f02ee42252960ce458d417e5c1ecfc2caf9c [file] [log] [blame]
Alexander Afanasyevbc98fcf2014-08-16 23:18:50 -07001#!/usr/bin/env bash
Davide Pesaventoede59632022-08-26 20:35:44 -04002set -eo pipefail
Alexander Afanasyevbc98fcf2014-08-16 23:18:50 -07003
Davide Pesaventoede59632022-08-26 20:35:44 -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 Pesaventofa9e4342025-03-25 13:40:11 -040013 if [[ -z $GITHUB_ACTIONS ]]; then
14 export PATH="${HOME}/.local/bin${PATH:+:}${PATH}"
15 fi
Davide Pesaventoede59632022-08-26 20:35:44 -040016 ;;
17 Darwin)
18 # Emulate a subset of os-release(5)
19 export ID=macos
20 export VERSION_ID=$(sw_vers -productVersion)
Davide Pesaventofa9e4342025-03-25 13:40:11 -040021 if [[ -z $GITHUB_ACTIONS ]]; then
22 export PATH="/usr/local/bin${PATH:+:}${PATH}"
23 fi
Davide Pesaventoede59632022-08-26 20:35:44 -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 Pesaventof6be8e32020-04-30 16:06:03 -040032export CACHE_DIR=${CACHE_DIR:-/tmp}
Davide Pesavento65ee9922022-11-16 00:21:43 -050033
Davide Pesaventofa9e4342025-03-25 13:40:11 -040034if [[ $JOB_NAME == *code-coverage ]]; then
35 export DISABLE_ASAN=1
36 export DISABLE_HEADERS_CHECK=1
Davide Pesavento65ee9922022-11-16 00:21:43 -050037fi
Alexander Afanasyevbc98fcf2014-08-16 23:18:50 -070038
Saurab Dulalecb0b712023-08-18 01:48:54 +000039# https://reproducible-builds.org/docs/source-date-epoch/
40export SOURCE_DATE_EPOCH=$(git log -1 --format=%ct)
41
Davide Pesaventof6be8e32020-04-30 16:06:03 -040042for file in .jenkins.d/*; do
Nick Gd69f9a32016-08-23 11:30:02 -050043 [[ -f $file && -x $file ]] || continue
Davide Pesaventof6be8e32020-04-30 16:06:03 -040044
Davide Pesaventoba8a4ed2021-10-13 21:28:43 -040045 if [[ -n $GITHUB_ACTIONS ]]; then
Davide Pesaventof6be8e32020-04-30 16:06:03 -040046 label=$(basename "$file" | sed -E 's/[[:digit:]]+-(.*)\..*/\1/')
Davide Pesaventoba8a4ed2021-10-13 21:28:43 -040047 echo "::group::${label}"
Davide Pesaventof6be8e32020-04-30 16:06:03 -040048 fi
49
50 echo "\$ $file"
Nick Gd69f9a32016-08-23 11:30:02 -050051 "$file"
Davide Pesaventof6be8e32020-04-30 16:06:03 -040052
Davide Pesaventoba8a4ed2021-10-13 21:28:43 -040053 if [[ -n $GITHUB_ACTIONS ]]; then
54 echo "::endgroup::"
Davide Pesaventof6be8e32020-04-30 16:06:03 -040055 fi
Alexander Afanasyevbc98fcf2014-08-16 23:18:50 -070056done