Skip to content
Snippets Groups Projects
Commit fc6f4956 authored by Ralf Jung's avatar Ralf Jung
Browse files

support -mangle-names flag

parent 9028d6c1
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 6 additions and 0 deletions
buildjob
+ 6
− 0
View file @ fc6f4956
...@@ -26,6 +26,12 @@ set -o pipefail ...@@ -26,6 +26,12 @@ set -o pipefail
. ci/prepare-opam.sh $OPAM_PINS # deliberately not quoted . ci/prepare-opam.sh $OPAM_PINS # deliberately not quoted
env | egrep '^(CI_BUILD_REF|CI_RUNNER)' > build-env.txt env | egrep '^(CI_BUILD_REF|CI_RUNNER)' > build-env.txt
# maybe set some coq flags
if [[ -n "$MANGLE_NAMES" ]]; then
PREFIX=$(cat /dev/urandom | tr -dc 'a-z' | fold -w 12 | head -n 1)
export COQEXTRAFLAGS="$COQEXTRAFLAGS -mangle-names mangled_$PREFIX_"
fi
# Build # Build
echo_color "$BOLDGREEN" "[buildjob] Perfoming build" echo_color "$BOLDGREEN" "[buildjob] Perfoming build"
time make --output-sync --no-print-directory -k -j$CPU_CORES TIMED=y 2>&1 | tee build-log.txt time make --output-sync --no-print-directory -k -j$CPU_CORES TIMED=y 2>&1 | tee build-log.txt
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment