Wentao Shang | a8f3c40 | 2014-10-30 14:03:27 -0700 | [diff] [blame] | 1 | #!/usr/bin/env bash |
Davide Pesavento | 1d48453 | 2022-08-19 22:08:31 -0400 | [diff] [blame] | 2 | set -eo pipefail |
Wentao Shang | a8f3c40 | 2014-10-30 14:03:27 -0700 | [diff] [blame] | 3 | |
Davide Pesavento | 1d48453 | 2022-08-19 22:08:31 -0400 | [diff] [blame] | 4 | case $(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 Pesavento | afe42f1 | 2025-03-25 12:46:22 -0400 | [diff] [blame] | 13 | if [[ -z $GITHUB_ACTIONS ]]; then |
| 14 | export PATH="${HOME}/.local/bin${PATH:+:}${PATH}" |
| 15 | fi |
Davide Pesavento | 1d48453 | 2022-08-19 22:08:31 -0400 | [diff] [blame] | 16 | ;; |
| 17 | Darwin) |
| 18 | # Emulate a subset of os-release(5) |
| 19 | export ID=macos |
| 20 | export VERSION_ID=$(sw_vers -productVersion) |
Davide Pesavento | afe42f1 | 2025-03-25 12:46:22 -0400 | [diff] [blame] | 21 | if [[ -z $GITHUB_ACTIONS ]]; then |
| 22 | export PATH="/usr/local/bin${PATH:+:}${PATH}" |
| 23 | fi |
Davide Pesavento | 1d48453 | 2022-08-19 22:08:31 -0400 | [diff] [blame] | 24 | 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 | ;; |
| 30 | esac |
| 31 | |
Davide Pesavento | 4a16004 | 2020-04-13 16:50:02 -0400 | [diff] [blame] | 32 | export CACHE_DIR=${CACHE_DIR:-/tmp} |
Davide Pesavento | 55bedb2 | 2022-12-03 13:50:27 -0500 | [diff] [blame] | 33 | |
Davide Pesavento | afe42f1 | 2025-03-25 12:46:22 -0400 | [diff] [blame] | 34 | if [[ $JOB_NAME == *code-coverage ]]; then |
| 35 | export DISABLE_ASAN=1 |
| 36 | export DISABLE_HEADERS_CHECK=1 |
Davide Pesavento | 55bedb2 | 2022-12-03 13:50:27 -0500 | [diff] [blame] | 37 | fi |
Wentao Shang | a8f3c40 | 2014-10-30 14:03:27 -0700 | [diff] [blame] | 38 | |
Davide Pesavento | 60b52cf | 2023-04-26 15:27:02 -0400 | [diff] [blame] | 39 | # https://reproducible-builds.org/docs/source-date-epoch/ |
| 40 | export SOURCE_DATE_EPOCH=$(git log -1 --format=%ct) |
| 41 | |
Davide Pesavento | 4a16004 | 2020-04-13 16:50:02 -0400 | [diff] [blame] | 42 | for file in .jenkins.d/*; do |
Davide Pesavento | b545aac | 2017-09-22 23:54:10 -0400 | [diff] [blame] | 43 | [[ -f $file && -x $file ]] || continue |
Davide Pesavento | 4a16004 | 2020-04-13 16:50:02 -0400 | [diff] [blame] | 44 | |
Davide Pesavento | 333e3eb | 2021-10-12 19:30:51 -0400 | [diff] [blame] | 45 | if [[ -n $GITHUB_ACTIONS ]]; then |
Davide Pesavento | 4a16004 | 2020-04-13 16:50:02 -0400 | [diff] [blame] | 46 | label=$(basename "$file" | sed -E 's/[[:digit:]]+-(.*)\..*/\1/') |
Davide Pesavento | 333e3eb | 2021-10-12 19:30:51 -0400 | [diff] [blame] | 47 | echo "::group::${label}" |
Davide Pesavento | 4a16004 | 2020-04-13 16:50:02 -0400 | [diff] [blame] | 48 | fi |
| 49 | |
| 50 | echo "\$ $file" |
Davide Pesavento | b545aac | 2017-09-22 23:54:10 -0400 | [diff] [blame] | 51 | "$file" |
Davide Pesavento | 4a16004 | 2020-04-13 16:50:02 -0400 | [diff] [blame] | 52 | |
Davide Pesavento | 333e3eb | 2021-10-12 19:30:51 -0400 | [diff] [blame] | 53 | if [[ -n $GITHUB_ACTIONS ]]; then |
| 54 | echo "::endgroup::" |
Davide Pesavento | 4a16004 | 2020-04-13 16:50:02 -0400 | [diff] [blame] | 55 | fi |
Wentao Shang | a8f3c40 | 2014-10-30 14:03:27 -0700 | [diff] [blame] | 56 | done |