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…
licencias: 936 de 1141 (82%) — detección por evidencia, con sus dos imprecisiones declaradas
1# udev-pc — el `udev.pc` que falta, y nada más.
2#
3# QUÉ ES: mutter pide DOS pkg-config distintos para su backend nativo (meson.build:262-264):
4# `libudev` (la librería, que da libudev-zero) y `udev` (metadata: la variable `udevdir`, dónde van
5# las reglas). libudev-zero provee el primero y no el segundo — no tiene por qué: es una libudev sin
6# udevd. En distros con systemd el `udev.pc` lo pone systemd; en las que no, lo pone eudev.
7#
8# POR QUÉ UNA RECETA APARTE Y NO AGREGARLO A libudev-zero: `yupana radio libudev-zero` da **51
9# sellados cayendo a deuda**, en las cinco imágenes (base, cli y los tres escritorios). Un fichero de
10# 4 líneas no justifica reconstruir medio catálogo. Esta receta instala SÓLO el .pc, así que no pisa
11# nada de libudev-zero y las dos conviven en el mismo cierre.
12#
13# LA FUENTE es el tarball de libudev-zero a propósito, aunque no se compile nada de él: `[source]` es
14# obligatorio en el esquema de receta, y atarla a su upstream natural deja claro de quién es
15# compañera. El .pc se escribe acá porque libudev-zero no lo trae.
16#
17# udevdir=/usr/lib/udev es la ruta real de esta distro: la Semilla de arje arranca /usr/bin/udevd y
18# ahí busca sus reglas. mutter sólo usa el valor para saber dónde instalar las suyas.
19name = "udev-pc"
20version = "1.0.4"
21license = "ISC"
22
23[source]
24tarball = "https://github.com/illiliti/libudev-zero/archive/refs/tags/1.0.4.tar.gz"
25sha256 = "10148cfd6047d387bf71eca72cd19c177084224d96434a118d8def6e0a3d6316"
26
27[build]
28compiler = "zig-cc"
29target = "x86_64-linux-musl"
30link = "dynamic"
31
32[build.phases]
33compile = 'true'
34install = '''
35set -e
36mkdir -p /out/usr/share/pkgconfig
37cat > /out/usr/share/pkgconfig/udev.pc <<'PC'
38prefix=/usr
39udevdir=${prefix}/lib/udev
40
41Name: udev
42Description: udev device manager (metadata; la libreria la provee libudev-zero)
43Version: 252
44PC
45'''
46
47[deps]
48build = ["pkgconf"]