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# GNU MPFR 4.2.2 — floats de precisión arbitraria con redondeo correcto (libmpfr.so), sobre GMP.
2# Campaña KDE (ADR 0011): sustrato de libqalculate (motor matemático). Depende de gmp (#1 de esta tanda).
3#
4# compiler=zig-cc: el gueto-gcc del sandbox falla el link test (libgcc/ssp "wrong format"); zig cc compila
5# nativo lo construye idéntico a Alpine (mpfr-dev). link=dynamic (libtool descarta -static).
6#
7# --with-gmp=/usr: apunta al GMP sellado (headers en /usr/include, libgmp.so en /usr/lib). El flag exacto
8# de MPFR es --with-gmp=DIR (NO --with-gmp-prefix); con GMP en el prefix estándar /usr lo hallaría solo,
9# pero se explicita para determinismo.
10name = "mpfr"
11version = "4.2.2"
12license = "LGPL-3.0-or-later"
13
14[source]
15tarball = "https://ftp.gnu.org/gnu/mpfr/mpfr-4.2.2.tar.xz"
16sha256 = "b67ba0383ef7e8a8563734e2e889ef5ec3c3b898a01d00fa0a6869ad81c6ce01"
17
18[build]
19compiler = "zig-cc"
20zig_version = "0.13.0"
21target = "x86_64-linux-musl"
22link = "dynamic"
23flags = []
24
25[build.phases]
26configure = './configure --build=$CBUILD --host=$CHOST --prefix=/usr --disable-static --enable-shared --with-gmp=/usr'
27compile = 'make -j"$(nproc)"'
28install = "make install DESTDIR=/out && find /out -name '*.la' -delete"
29
30[deps]
31build = ["gmp", "pkgconf"]