Ashlesh Gawande | 0b2897e | 2018-06-20 14:40:47 -0500 | [diff] [blame] | 1 | #!/usr/bin/env bash |
Davide Pesavento | da1a4d3 | 2022-08-19 19:03:24 -0400 | [diff] [blame] | 2 | set -eo pipefail |
Ashlesh Gawande | 0b2897e | 2018-06-20 14:40:47 -0500 | [diff] [blame] | 3 | |
Davide Pesavento | da1a4d3 | 2022-08-19 19:03:24 -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" |
| 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 Pesavento | b68f284 | 2022-11-17 19:07:04 -0500 | [diff] [blame] | 19 | export PATH="/usr/local/bin${PATH:+:}${PATH}" |
Davide Pesavento | da1a4d3 | 2022-08-19 19:03:24 -0400 | [diff] [blame] | 20 | 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 | ;; |
| 26 | esac |
| 27 | |
Davide Pesavento | 133067f | 2020-04-02 22:08:27 -0400 | [diff] [blame] | 28 | export CACHE_DIR=${CACHE_DIR:-/tmp} |
Davide Pesavento | 59f6fab | 2022-12-02 20:36:32 -0500 | [diff] [blame] | 29 | |
| 30 | if [[ $JOB_NAME == *"code-coverage" ]]; then |
| 31 | export DISABLE_ASAN=yes |
| 32 | export DISABLE_HEADERS_CHECK=yes |
| 33 | fi |
Ashlesh Gawande | 0b2897e | 2018-06-20 14:40:47 -0500 | [diff] [blame] | 34 | |
Davide Pesavento | 88b7bbd | 2023-04-26 15:48:02 -0400 | [diff] [blame^] | 35 | # https://reproducible-builds.org/docs/source-date-epoch/ |
| 36 | export SOURCE_DATE_EPOCH=$(git log -1 --format=%ct) |
| 37 | |
Davide Pesavento | 133067f | 2020-04-02 22:08:27 -0400 | [diff] [blame] | 38 | for file in .jenkins.d/*; do |
Ashlesh Gawande | 0b2897e | 2018-06-20 14:40:47 -0500 | [diff] [blame] | 39 | [[ -f $file && -x $file ]] || continue |
Davide Pesavento | 133067f | 2020-04-02 22:08:27 -0400 | [diff] [blame] | 40 | |
Davide Pesavento | 8dce194 | 2021-10-02 22:31:26 -0400 | [diff] [blame] | 41 | if [[ -n $GITHUB_ACTIONS ]]; then |
Davide Pesavento | 133067f | 2020-04-02 22:08:27 -0400 | [diff] [blame] | 42 | label=$(basename "$file" | sed -E 's/[[:digit:]]+-(.*)\..*/\1/') |
Davide Pesavento | 8dce194 | 2021-10-02 22:31:26 -0400 | [diff] [blame] | 43 | echo "::group::${label}" |
Davide Pesavento | 133067f | 2020-04-02 22:08:27 -0400 | [diff] [blame] | 44 | fi |
| 45 | |
| 46 | echo "\$ $file" |
Ashlesh Gawande | 0b2897e | 2018-06-20 14:40:47 -0500 | [diff] [blame] | 47 | "$file" |
Davide Pesavento | 133067f | 2020-04-02 22:08:27 -0400 | [diff] [blame] | 48 | |
Davide Pesavento | 8dce194 | 2021-10-02 22:31:26 -0400 | [diff] [blame] | 49 | if [[ -n $GITHUB_ACTIONS ]]; then |
| 50 | echo "::endgroup::" |
Davide Pesavento | 133067f | 2020-04-02 22:08:27 -0400 | [diff] [blame] | 51 | fi |
Ashlesh Gawande | 0b2897e | 2018-06-20 14:40:47 -0500 | [diff] [blame] | 52 | done |