|
| 1 | +#!/bin/bash |
| 2 | +# This file is a part of Julia. License is MIT: https://julialang.org/license |
| 3 | + |
| 4 | +# |
| 5 | +# Usage: |
| 6 | +# contrib/tsan/build.sh <path> [<make_targets>...] |
| 7 | +# |
| 8 | +# Build TSAN-enabled julia. Given a workspace directory <path>, build |
| 9 | +# TSAN-enabled julia in <path>/tsan. Required toolss are install under |
| 10 | +# <path>/toolchain. Note that the same <path> passed to `contrib/asan/build.sh` |
| 11 | +# can be used to share the toolchain used for ASAN. This scripts also takes |
| 12 | +# optional <make_targets> arguments which are passed to `make`. The default |
| 13 | +# make target is `debug`. |
| 14 | + |
| 15 | +set -ue |
| 16 | + |
| 17 | +# `$WORKSPACE` is a directory in which we create `toolchain` and `tsan` |
| 18 | +# sub-directories. |
| 19 | +WORKSPACE="$1" |
| 20 | +shift |
| 21 | +if [ "$WORKSPACE" = "" ]; then |
| 22 | + echo "Workspace directory must be specified as the first argument" >&2 |
| 23 | + exit 2 |
| 24 | +fi |
| 25 | + |
| 26 | +mkdir -pv "$WORKSPACE" |
| 27 | +WORKSPACE="$(cd "$WORKSPACE" && pwd)" |
| 28 | +if [ "$WORKSPACE" = "" ]; then |
| 29 | + echo "Failed to create the workspace directory." >&2 |
| 30 | + exit 2 |
| 31 | +fi |
| 32 | + |
| 33 | +HERE="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" |
| 34 | +JULIA_HOME="$HERE/../../" |
| 35 | + |
| 36 | +echo |
| 37 | +echo "Installing toolchain..." |
| 38 | + |
| 39 | +TOOLCHAIN="$WORKSPACE/toolchain" |
| 40 | +if [ ! -d "$TOOLCHAIN" ]; then |
| 41 | + make -C "$JULIA_HOME" configure O=$TOOLCHAIN |
| 42 | + cp "$HERE/../asan/Make.user.tools" "$TOOLCHAIN/Make.user" |
| 43 | +fi |
| 44 | + |
| 45 | +make -C "$TOOLCHAIN/deps" install-clang install-llvm-tools |
| 46 | + |
| 47 | +# TODO: https://github.com/JuliaPackaging/Yggdrasil/issues/3359 |
| 48 | +rm "$TOOLCHAIN/usr/tools/clang++" |
| 49 | +ln -s "$TOOLCHAIN/usr/bin/clang" "$TOOLCHAIN/usr/tools/clang++" |
| 50 | + |
| 51 | +echo |
| 52 | +echo "Building Julia..." |
| 53 | + |
| 54 | +BUILD="$WORKSPACE/tsan" |
| 55 | +if [ ! -d "$BUILD" ]; then |
| 56 | + make -C "$JULIA_HOME" configure O="$BUILD" |
| 57 | + cp "$HERE/Make.user.tsan" "$BUILD/Make.user" |
| 58 | +fi |
| 59 | + |
| 60 | +cd "$BUILD" # so that we can pass `-C src` to `make` |
| 61 | +make "$@" |
0 commit comments