2022-12-04 07:41:56 +03:00
|
|
|
#!/usr/bin/env bash
|
2022-05-23 05:16:04 +03:00
|
|
|
set -e # Exit on error.
|
|
|
|
|
|
|
|
|
|
# Get the directory of the script, as per https://stackoverflow.com/a/246128
|
|
|
|
|
SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
|
|
|
|
|
|
2022-10-11 00:38:48 +03:00
|
|
|
BIN_CRATE_NAME=enso-build-cli
|
2022-05-23 05:16:04 +03:00
|
|
|
TARGET_DIR="${SCRIPT_DIR}/target/enso-build/"
|
|
|
|
|
TARGET_EXE="${TARGET_DIR}buildscript/${BIN_CRATE_NAME}"
|
|
|
|
|
|
|
|
|
|
cargo build --profile buildscript --target-dir "$TARGET_DIR" --package ${BIN_CRATE_NAME}
|
|
|
|
|
"$TARGET_EXE" $@
|
