MahnoKropotkinvich/redox
1
0
Fork 0
mirror of https://gitlab.redox-os.org/redox-os/redox.git synced 2026-06-26 14:54:20 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Split python dev

Browse Source
This commit is contained in:
Wildan M 2025-12-09 23:52:46 +07:00
parent e6b4294501
commit 128cfbfe96
No known key found for this signature in database
GPG Key ID: 01AC53185C679C79
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
recipes/dev/python312/recipe.toml
View File

@ -27,6 +27,7 @@ DYNAMIC_INIT
export PYTHONDONTWRITEBYTECODE=1
ARCH="${TARGET%%-*}"
OS=$(echo "${TARGET}" | cut -d - -f3-4)
if [ "$TARGET" != "$COOKBOOK_HOST_TARGET" ]; then
COOKBOOK_CONFIGURE_FLAGS=(
@ -50,4 +51,15 @@ if [ "${COOKBOOK_DYNAMIC}" != "1" ]; then
fi
cookbook_configure
# A same file to save 60MB
(cd "${COOKBOOK_STAGE}/usr/lib/python3.12/config-3.12-$ARCH-$OS" && \
rm -f libpython3.12.a && ln -s ../../libpython3.12.a)
"""
[[optional-packages]]
name = "dev"
files = [
"usr/lib/python3.12/config-*/**",
"usr/lib/libpython*.a"
]