gioser

sergio/takana

> Una distribución Linux construida con un laboratorio funcional y hermético en el > sótano, y una terminal mutable, clásica y anárquica en el piso de arriba — diseñada > desde el suelo para que una IA programadora entienda, modifique y co…

TOML 1389Shell 137Markdown 80Rust 802559 Sutichaykuna

⎇ main recipes/incoming-cosmic/gmp.toml TOML · 69 siq'ikuna · 4.0 KB Ñawpa willay ch'uya

licencias: las 26 que faltaban, y el guardián que las contaba mal 3379a1f17 · Sergio ·

1# ── ⚠ HAY DOS `gmp` EN EL CORPUS, Y ES A PROPÓSITO (verificado 2026-09-01) ─────────────────────
2# `incoming-cosmic/gmp.toml` (ésta) y `incoming-kde/gmp.toml` emiten el MISMO nombre de artefacto y
3# sellan en direcciones distintas. NO es un duplicado rancio que haya que unificar — son dos
4# variantes deliberadas, y la diferencia está en las dos líneas que importan:
5#
6#     KDE     link=dynamic   --enable-shared --enable-cxx   ⇒ libgmp.so + libgmpxx.so
7#     COSMIC  link=static    --disable-shared               ⇒ libgmp.a, sin C++
8#
9# Y las dos citan a libqalculate como consumidor con conclusiones opuestas sobre `gmpxx.h`: acá se
10# apaga a propósito para no arrastrar el runtime de C++; allá se activa porque el libqalculate de
11# la campaña KDE exige `gmpxx.h`. Las dos están selladas y las dos son correctas para su frente.
12#
13# ⚠ LO QUE SÍ CUESTA, Y CUÁNDO. Compartir nombre hace ambigua la clasificación de `store-gc.sh`: un
14# artefacto rancio de UNA de las dos puede caer como SUPERADO porque la OTRA tiene sellado vigente,
15# y ahí se perdería el único ejemplar. La condición es precisa: **sólo corre riesgo si el hash
16# vigente de una de las dos NO está sellado**. Medido el 2026-09-01: las dos selladas ⇒ exposición
17# CERO. Antes de podar con nombres compartidos, comprobar eso, no el nombre.
18#
19# `mpfr` tiene exactamente el mismo par (KDE dynamic / COSMIC static) por la misma razón.
20# ⇒ Si algún día molesta de verdad, la salida NO es unificar sino renombrar la dinámica a
21#   `gmp-shared`, que es la convención que el corpus ya usa (zlib-shared, cairo-shared…). Cuesta
22#   re-hashear: `yupana radio` da 7 sellados de KDE que caen a deuda (2 si se renombrara ésta). No se hizo por eso.
23# gmp — aritmética de precisión arbitraria. Entra al corpus por abajo del lanzador: el plugin de la
24# calculadora de pop-launcher llama al binario `qalc`, `qalc` es libqalculate, y libqalculate corta el
25# configure con «libgmp not found» si no está. O sea que la cadena de una tecla del escritorio baja
26# hasta la aritmética de enteros grandes — y ese es justo el tipo de dep que no se ve venir mirando
27# el paquete de arriba.
28#
29# ── `--disable-assembly` NO ES PEREZA ───────────────────────────────────────────────────────────
30# GMP trae rutinas en ensamblador por microarquitectura y su `configfsf.guess` elige una mirando la
31# CPU de QUIEN COMPILA. Eso es exactamente lo que este lab no puede permitir: hornearía la ISA del
32# laptop en el artefacto y el hash dejaría de significar lo mismo en la granja (el mismo modo de
33# falla que `-mcpu=baseline` corrige en el wrapper de zig). Con `--disable-assembly` GMP usa su
34# implementación en C portable: más lenta, y a nadie le importa — acá la usa una calculadora de
35# escritorio, no un criptosistema.
36# Además zig/clang no digiere varias de esas rutinas (`.align` y sintaxis de gas antigua), así que
37# la alternativa realista tampoco era «assembly sí».
38name    = "gmp"
39version = "6.3.0"
40# licencia: README del tarball pineado — mismo sha256 que recipes/gmp.toml
41license = "LGPL-3.0-or-later OR GPL-2.0-or-later"
42
43[source]
44tarball = "https://gmplib.org/download/gmp/gmp-6.3.0.tar.xz"
45sha256  = "a3c2b80201b89e68616f4ad30bc66aee4927c3ce50e33929ca819d5c43538898"
46
47[build]
48compiler = "zig-cc"
49target   = "x86_64-linux-musl"
50link     = "static"
51flags    = []
52
53[build.phases]
54# `--enable-cxx` va APAGADO: libqalculate usa la API C de GMP (`__gmpz_init` es lo que su configure
55# busca), y `libgmpxx` arrastraría el runtime de C++ a un paquete que no lo necesita — justo la deuda
56# que la campaña «matar gcc» viene pagando en el resto del árbol.
57configure = '''
58./configure \
59	--build=$CBUILD --host=$CHOST \
60	--prefix=/usr \
61	--disable-shared --enable-static \
62	--disable-assembly \
63	--enable-fat=no
64'''
65compile = 'make -j"$(nproc)"'
66install = 'make DESTDIR=/out install'
67
68[deps]
69build = ["make", "m4"]