vasilito
a52632f69d
The generated bits/pthread.h uses size_t but had no includes. Also added openat cache vars to m4 recipe for gnulib cross-compilation.
121 lines
3.1 KiB
Bash
Executable File
121 lines
3.1 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
set -euo pipefail
|
|
|
|
# Ensure cargo bin (cbindgen, rustup, etc.) is in PATH
|
|
case ":${PATH}:" in
|
|
*":$HOME/.cargo/bin:"*) ;;
|
|
*) export PATH="$HOME/.cargo/bin:$PATH" ;;
|
|
esac
|
|
|
|
CONFIG_NAME="redbear-mini"
|
|
ARCH="x86_64"
|
|
ALLOW_UPSTREAM=0
|
|
NO_CACHE=0
|
|
DISTCLEAN=0
|
|
|
|
usage() {
|
|
cat <<EOF
|
|
Usage: $(basename "$0") [OPTIONS] [CONFIG_NAME] [ARCH]
|
|
|
|
Build a Red Bear OS live ISO for real bare metal.
|
|
|
|
Options:
|
|
--upstream Allow Redox/upstream recipe source refresh during build
|
|
--no-cache Rebuild from scratch, discarding recipe build caches and
|
|
package repository (preserves cross-compiler toolchain)
|
|
--no-cache-distclean Full rebuild including cross-compiler toolchain
|
|
(use when toolchain itself is broken or outdated)
|
|
-h, --help Show this help
|
|
|
|
Supported targets:
|
|
redbear-full Full desktop ISO (Wayland + KDE + GPU drivers)
|
|
redbear-mini Text-only ISO (default)
|
|
redbear-grub Text-only ISO with GRUB boot manager
|
|
|
|
Defaults:
|
|
CONFIG_NAME=redbear-mini
|
|
ARCH=x86_64
|
|
EOF
|
|
}
|
|
|
|
POSITIONAL=()
|
|
while [ $# -gt 0 ]; do
|
|
case "$1" in
|
|
--upstream)
|
|
ALLOW_UPSTREAM=1
|
|
;;
|
|
--no-cache)
|
|
NO_CACHE=1
|
|
;;
|
|
--no-cache-distclean)
|
|
DISTCLEAN=1
|
|
;;
|
|
-h|--help)
|
|
usage
|
|
exit 0
|
|
;;
|
|
--)
|
|
shift
|
|
POSITIONAL+=("$@")
|
|
break
|
|
;;
|
|
-*)
|
|
echo "Unknown option: $1" >&2
|
|
usage >&2
|
|
exit 1
|
|
;;
|
|
*)
|
|
POSITIONAL+=("$1")
|
|
;;
|
|
esac
|
|
shift
|
|
done
|
|
|
|
if [ ${#POSITIONAL[@]} -gt 2 ]; then
|
|
echo "ERROR: Too many positional arguments" >&2
|
|
usage >&2
|
|
exit 1
|
|
fi
|
|
|
|
[ ${#POSITIONAL[@]} -ge 1 ] && CONFIG_NAME="${POSITIONAL[0]}"
|
|
[ ${#POSITIONAL[@]} -ge 2 ] && ARCH="${POSITIONAL[1]}"
|
|
|
|
case "$CONFIG_NAME" in
|
|
redbear-full|redbear-mini|redbear-grub)
|
|
;;
|
|
*)
|
|
echo "ERROR: Unsupported target '$CONFIG_NAME'" >&2
|
|
echo "Supported: redbear-full, redbear-mini, redbear-grub" >&2
|
|
exit 1
|
|
;;
|
|
esac
|
|
|
|
if [ -z "${CI:-}" ] && { [ ! -t 0 ] || [ ! -t 1 ]; }; then
|
|
export CI=1
|
|
fi
|
|
|
|
echo "Building Red Bear OS ISO for real bare metal"
|
|
echo " config: ${CONFIG_NAME}"
|
|
echo " arch: ${ARCH}"
|
|
if [ "$DISTCLEAN" -eq 1 ]; then
|
|
echo " cache: full distclean (rebuilding toolchain + packages)"
|
|
make clean
|
|
elif [ "$NO_CACHE" -eq 1 ]; then
|
|
echo " cache: disabled (rebuilding packages, preserving toolchain)"
|
|
make repo_clean
|
|
rm -rf repo
|
|
# Also clean local recipe targets that repo_clean misses
|
|
find local/recipes -maxdepth 4 -name "target" -type d -exec rm -rf {} + 2>/dev/null || true
|
|
fi
|
|
if [ "$ALLOW_UPSTREAM" -eq 1 ]; then
|
|
echo " upstream recipe refresh: enabled"
|
|
REPO_OFFLINE=0 COOKBOOK_OFFLINE=false make live CONFIG_NAME="${CONFIG_NAME}" ARCH="${ARCH}"
|
|
else
|
|
echo " upstream recipe refresh: disabled (pass --upstream to enable)"
|
|
REPO_OFFLINE=1 COOKBOOK_OFFLINE=true make live CONFIG_NAME="${CONFIG_NAME}" ARCH="${ARCH}"
|
|
fi
|
|
|
|
echo ""
|
|
echo "Done: build/${ARCH}/${CONFIG_NAME}.iso"
|