33set -euo pipefail
44if [[ " ${DO_VERBOSE} " == 1 ]] ; then set -x ; fi
55
6- export NIXIFIED=" ${NIXIFIED:- 0} "
7- export DO_VERBOSE=" ${DO_VERBOSE:- 0} "
6+ # export NIXIFIED="${NIXIFIED:-0}"
7+ # export DO_VERBOSE="${DO_VERBOSE:-0}"
8+
9+ # export CI_BUILD_UNIQ_SUFFIX="${CI_BUILD_UNIQ_SUFFIX:-$(date +%s)}"
10+ set_gh_env
811
9- export CI_BUILD_UNIQ_SUFFIX=" ${CI_BUILD_UNIQ_SUFFIX:- $(date +% s)} "
1012replacement=" build.${CI_BUILD_UNIQ_SUFFIX} "
1113export IDEALINGUA_VERSION=$( cat version.sbt | sed -r ' s/.*\"(.*)\".**/\1/' | sed -E " s/SNAPSHOT/${replacement} /" )
1214
@@ -29,46 +31,49 @@ export NUMCPU="$(nproc)"
2931
3032
3133
32- function validate_publishing() {
33- # Disallow if this is a pull‑request build
34- if [[ " $CI_PULL_REQUEST " == " true" ]]; then
35- echo " Publishing not allowed on P/Rs"
36- return 1
37- fi
38-
39- # Disallow if we're neither on develop nor on a tagged release (v*)
40- if [[ " $CI_BRANCH " != " develop" && ! " $CI_BRANCH_TAG " =~ ^v ]]; then
41- echo " Publishing not allowed (CI_BRANCH=$CI_BRANCH , CI_BRANCH_TAG=$CI_BRANCH_TAG )"
42- return 1
43- fi
44-
45- return 0
46- }
34+ # function validate_publishing() {
35+ # # Disallow if this is a pull‑request build
36+ # if [[ "$CI_PULL_REQUEST" == "true" ]]; then
37+ # echo "Publishing not allowed on P/Rs"
38+ # return 1
39+ # fi
40+ #
41+ # # Disallow if we're neither on develop nor on a tagged release (v*)
42+ # if [[ "$CI_BRANCH" != "develop" && ! "$CI_BRANCH_TAG" =~ ^v ]]; then
43+ # echo "Publishing not allowed (CI_BRANCH=$CI_BRANCH, CI_BRANCH_TAG=$CI_BRANCH_TAG)"
44+ # return 1
45+ # fi
46+ #
47+ # return 0
48+ # }
4749
4850# ------------------------------------------------------------------------------------------
49- # Tweak JAVA_OPTIONS
50- export _JAVA_OPTIONS=" ${_JAVA_OPTIONS:- " " } "
51-
52- # JVM ignores HOME and relies on getpwuid to determine home directory
53- # That fails when we run self-hosted github agent under non-dynamic user
54- # We need that for rootless docker to work
55- if [[ " ${NIXIFIED} " == 1 ]] ; then
56- _JAVA_OPTIONS+=" -Duser.home=${HOME} "
57- fi
58-
59- # Append Java Options tail
60- # [help]- Set `JAVA_OPTIONS_TAIL` environment variable with additional Java arguments.
61- _JAVA_OPTIONS+=" ${JAVA_OPTIONS_TAIL:- " " } "
62- # Format Java Options
63- _JAVA_OPTIONS=" $( echo " ${_JAVA_OPTIONS} " | grep -v ' #' | tr ' \n' ' ' | tr -s ' ' ) "
51+ # # Tweak JAVA_OPTIONS
52+ # export _JAVA_OPTIONS="${_JAVA_OPTIONS:-""}"
53+ #
54+ # # JVM ignores HOME and relies on getpwuid to determine home directory
55+ # # That fails when we run self-hosted github agent under non-dynamic user
56+ # # We need that for rootless docker to work
57+ # if [[ "${NIXIFIED}" == 1 ]] ; then
58+ # _JAVA_OPTIONS+=" -Duser.home=${HOME}"
59+ # fi
60+ #
61+ # # Append Java Options tail
62+ # #[help]- Set `JAVA_OPTIONS_TAIL` environment variable with additional Java arguments.
63+ # _JAVA_OPTIONS+=" ${JAVA_OPTIONS_TAIL:-""}"
64+ # # Format Java Options
65+ # _JAVA_OPTIONS="$(echo "${_JAVA_OPTIONS}" | grep -v '#' | tr '\n' ' ' | tr -s ' ')"
66+ set_java_options
6467# ------------------------------------------------------------------------------------------
6568
66- if [[ " ${DO_VERBOSE} " == 1 && " ${VERBOSE_LEVEL} " -gt 1 ]] ; then
67- environment=$( env)
68- environment=$( echo " $environment " | grep -v ' ^\s*$' | sed " s/^/[verbose:env] /;s/$/ /" )
69- echo " [verbose] Environment set:"
70- echo " $environment "
71- fi
69+ # if [[ "${DO_VERBOSE}" == 1 && "${VERBOSE_LEVEL}" -gt 1 ]] ; then
70+ # environment=$(env)
71+ # environment=$(echo "$environment" | grep -v '^\s*$' | sed "s/^/[verbose:env] /;s/$/ /")
72+ # echo "[verbose] Environment set:"
73+ # echo "$environment"
74+ # fi
75+
76+ debug_env
7277
7378# this script receives all the CLI args from the main script and may decide which flows should be enabled
7479flow_enable do-build
0 commit comments