vasilito
50b731f1b7
Derivative of Redox OS (https://www.redox-os.org) adding: - AMD GPU driver (amdgpu) via LinuxKPI compat layer - ext4 filesystem support (ext4d scheme daemon) - ACPI fixes for AMD bare metal (x2APIC, DMAR, IVRS, MCFG) - Custom branding (hostname, os-release, boot identity) Build system is full upstream Redox with RBOS overlay in local/. Patches for kernel, base, and relibc are symlinked from local/patches/ and protected from make clean/distclean. Custom recipes live in local/recipes/ with symlinks into the recipes/ search path. Build: make all CONFIG_NAME=redbear-full Sync: ./local/scripts/sync-upstream.sh
24 lines
579 B
TOML
24 lines
579 B
TOML
[source]
|
|
same_as = "../../dev/gcc13"
|
|
|
|
[build]
|
|
template = "custom"
|
|
script = """
|
|
DYNAMIC_STATIC_INIT
|
|
|
|
COOKBOOK_CONFIGURE_FLAGS+=(
|
|
--enable-threads=posix
|
|
--enable-libstdcxx-threads
|
|
)
|
|
|
|
# TODO: Investigate why mutex is not available in riscv64
|
|
if [ "${TARGET}" = "riscv64gc-unknown-redox" ]; then
|
|
COOKBOOK_CONFIGURE_FLAGS+=( --without-libstdcxx-zoneinfo )
|
|
fi
|
|
|
|
CPPINCLUDE="${COOKBOOK_HOST_SYSROOT}/$TARGET/include/c++/13.2.0"
|
|
export CPPFLAGS+=" -I${CPPINCLUDE} -I${CPPINCLUDE}/$TARGET/bits"
|
|
COOKBOOK_CONFIGURE="${COOKBOOK_SOURCE}/libstdc++-v3/configure"
|
|
cookbook_configure
|
|
"""
|