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…
gcc-libs: las librerías de ejecución que faltaban (b3:aa605af4)
1# ── ⚠ HAY DOS `gmp` EN EL CORPUS, Y ES A PROPÓSITO (verificado 2026-09-01) ─────────────────────
2# `incoming-kde/gmp.toml` (ésta) y `incoming-cosmic/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# activa porque el libqalculate de la campaña KDE lo exige; allá se apaga a propósito para no
11# arrastrar el runtime de C++. 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. No se hizo por eso.
23# GNU GMP 6.3.0 — aritmética de enteros/racionales/floats de precisión arbitraria (libgmp.so + libgmpxx.so).
24# Campaña KDE (ADR 0011): sustrato de libqalculate (motor matemático de KCalc/KRunner), que exige el
25# interfaz C++ gmpxx.h además del C. También base de mpfr (#2 de esta tanda).
26#
27# compiler=zig-cc + --disable-assembly: GMP trae asm x86_64 a mano, pero el gueto-gcc del sandbox falla el
28# test de configure ("cannot find -lssp_nonshared/-lgcc: file in wrong format" — libgcc/ssp del gcc de
29# Alpine en formato incorrecto para el link musl). zig cc compila musl limpio; con --disable-assembly usa
30# el mpn en C genérico (más lento, irrelevante para un build-dep de libqalculate). --enable-cxx = libgmpxx.so
31# (gmpxx.h que libqalculate exige). La descarga es del mirror GNU (gmplib.org cuelga en TLS con hammer-fetch).
32name = "gmp"
33version = "6.3.0"
34
35[source]
36tarball = "https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz"
37sha256 = "a3c2b80201b89e68616f4ad30bc66aee4927c3ce50e33929ca819d5c43538898"
38
39[build]
40compiler = "zig-cc"
41target = "x86_64-linux-musl"
42link = "dynamic"
43zig_version = "0.13.0"
44flags = []
45
46[build.phases]
47configure = './configure --build=$CBUILD --host=$CHOST --prefix=/usr --disable-static --enable-shared --enable-cxx --disable-assembly'
48compile = 'make -j"$(nproc)"'
49install = "make install DESTDIR=/out && find /out -name '*.la' -delete"
50
51[deps]
52build = ["m4", "pkgconf"]