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…
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"
12
13[source]
14tarball = "https://ftp.gnu.org/gnu/mpfr/mpfr-4.2.2.tar.xz"
15sha256 = "b67ba0383ef7e8a8563734e2e889ef5ec3c3b898a01d00fa0a6869ad81c6ce01"
16
17[build]
18compiler = "zig-cc"
19zig_version = "0.13.0"
20target = "x86_64-linux-musl"
21link = "dynamic"
22flags = []
23
24[build.phases]
25configure = './configure --build=$CBUILD --host=$CHOST --prefix=/usr --disable-static --enable-shared --with-gmp=/usr'
26compile = 'make -j"$(nproc)"'
27install = "make install DESTDIR=/out && find /out -name '*.la' -delete"
28
29[deps]
30build = ["gmp", "pkgconf"]