2022-06-02 12:50:33 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
export LC_ALL=C
|
|
|
|
set -e -o pipefail
|
|
|
|
|
|
|
|
# shellcheck source=contrib/shell/realpath.bash
|
|
|
|
source contrib/shell/realpath.bash
|
|
|
|
|
|
|
|
# shellcheck source=contrib/shell/git-utils.bash
|
|
|
|
source contrib/shell/git-utils.bash
|
|
|
|
|
|
|
|
################
|
|
|
|
# Required non-builtin commands should be invocable
|
|
|
|
################
|
|
|
|
|
|
|
|
check_tools() {
|
|
|
|
for cmd in "$@"; do
|
|
|
|
if ! command -v "$cmd" > /dev/null 2>&1; then
|
|
|
|
echo "ERR: This script requires that '$cmd' is installed and available in your \$PATH"
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
done
|
|
|
|
}
|
|
|
|
|
|
|
|
check_tools cat env readlink dirname basename git
|
|
|
|
|
|
|
|
################
|
|
|
|
# We should be at the top directory of the repository
|
|
|
|
################
|
|
|
|
|
|
|
|
same_dir() {
|
|
|
|
local resolved1 resolved2
|
|
|
|
resolved1="$(bash_realpath "${1}")"
|
|
|
|
resolved2="$(bash_realpath "${2}")"
|
|
|
|
[ "$resolved1" = "$resolved2" ]
|
|
|
|
}
|
|
|
|
|
|
|
|
if ! same_dir "${PWD}" "$(git_root)"; then
|
|
|
|
cat << EOF
|
|
|
|
ERR: This script must be invoked from the top level of the git repository
|
|
|
|
|
|
|
|
Hint: This may look something like:
|
|
|
|
env FOO=BAR ./contrib/guix/guix-<blah>
|
|
|
|
|
|
|
|
EOF
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
|
|
|
################
|
|
|
|
# Execute "$@" in a pinned, possibly older version of Guix, for reproducibility
|
|
|
|
# across time.
|
|
|
|
time-machine() {
|
|
|
|
# shellcheck disable=SC2086
|
2023-10-17 12:21:34 +00:00
|
|
|
guix time-machine --url=https://github.com/guix-mirror/guix.git \
|
2023-11-13 23:34:59 +00:00
|
|
|
--commit=77386bdbfe6b0c649c05ab37f08051d1ab3e5074 \
|
2022-06-02 12:50:33 +00:00
|
|
|
--cores="$JOBS" \
|
|
|
|
--keep-failed \
|
|
|
|
--fallback \
|
|
|
|
${SUBSTITUTE_URLS:+--substitute-urls="$SUBSTITUTE_URLS"} \
|
|
|
|
${ADDITIONAL_GUIX_COMMON_FLAGS} ${ADDITIONAL_GUIX_TIMEMACHINE_FLAGS} \
|
|
|
|
-- "$@"
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
################
|
|
|
|
# Set common variables
|
|
|
|
################
|
|
|
|
|
|
|
|
VERSION="${FORCE_VERSION:-$(git_head_version)}"
|
|
|
|
DISTNAME="${DISTNAME:-feather-${VERSION}}"
|
|
|
|
|
2022-12-21 15:15:22 +00:00
|
|
|
VERSION_BASE_DIR="${VERSION_BASE_DIR:-${PWD}}"
|
2023-03-17 13:56:03 +00:00
|
|
|
version_base_prefix="${VERSION_BASE_DIR}/guix/guix-build-"
|
2022-06-02 12:50:33 +00:00
|
|
|
VERSION_BASE="${version_base_prefix}${VERSION}" # TOP
|
|
|
|
|
|
|
|
DISTSRC_BASE="${DISTSRC_BASE:-${VERSION_BASE}}"
|
|
|
|
|
|
|
|
OUTDIR_BASE="${OUTDIR_BASE:-${VERSION_BASE}/output}"
|
|
|
|
|
|
|
|
var_base_basename="var"
|
|
|
|
VAR_BASE="${VAR_BASE:-${VERSION_BASE}/${var_base_basename}}"
|
|
|
|
|
|
|
|
profiles_base_basename="profiles"
|
|
|
|
PROFILES_BASE="${PROFILES_BASE:-${VAR_BASE}/${profiles_base_basename}}"
|