# dash-to-panel 73 — la barra de tareas: mueve el dash al panel superior y junta lanzadores,
# ventanas abiertas y bandeja en una sola barra, al estilo Plasma/Windows 7+. Es, con diferencia, la
# extensión que más cambia el uso diario de GNOME.
#
# Segunda extensión del catálogo; el patrón lo fijó `gnome-shell-extension-blur-my-shell` y su
# cabecera explica por qué la fuente es el REPO y no el zip de extensions.gnome.org.
# El tag `v73` es el que EGO sirve para shell 48 (preguntado a su API, no supuesto) y el
# `metadata.json` del repo declara shell-version ["46","47","48","49","50"].
#
# ══ ACÁ SÍ SE USA EL `make install` DE UPSTREAM ════════════════════════════════════════════════
# A diferencia de blur-my-shell —cuyo `make build` llama a `gnome-extensions pack`, el CLI que
# nuestra receta del shell apaga— el Makefile de dash-to-panel tiene un `install` que HONRA
# `DESTDIR` y hace exactamente lo que hace un paquete de distro:
#   · el árbol de la extensión va a $DESTDIR/usr/share/gnome-shell/extensions/<uuid>/
#   · y en modo «system» SACA de ahí `schemas/` y `locale/` para ponerlos en los directorios
#     GLOBALES: /usr/share/glib-2.0/schemas y /usr/share/locale.
# Se usa su install en vez de copiar a mano: es upstream quien decide qué entra y qué no.
#
# ⚠ Que el gschema termine en el directorio GLOBAL no es un detalle: lo compila el mismo
# `glib-compile-schemas` que corre el lanzador al arrancar, junto con los del shell. Por eso esta
# receta NO necesita compilarlo ella (y el Makefile igual lo compila para el `_build`).
#
# ⚠ `VERSION=73` SE PASA A MANO, y no es cosmético. Sin ella el Makefile hace
# `git describe --tags HEAD` para deducirla, y el árbol se materializa con `git archive`, SIN `.git`
# ⇒ la orden falla y `metadata.json` queda con el `"version": 9999` de marcador que trae el repo.
# Es la misma razón por la que la receta de `tzdata` pasa `VERSION=2026b`.
name    = "gnome-shell-extension-dash-to-panel"
version = "73"
# licencia: el fichero COPYING del commit pineado es el texto del GPL v2, y el `metadata.json` de
# EGO no declara licencia. ⚠ La concesión está en la CABECERA de los fuentes (src/extension.js y
# compañía): «either version 2 of the License, or (at your option) any later version» ⇒ -or-later.
# No se dedujo del COPYING: su apéndice «How to Apply» contiene esa frase SIEMPRE, así que buscarla
# ahí da positivo aunque el proyecto sea -only (la trampa que ya está documentada en el repo).
license = "GPL-2.0-or-later"

[source]
repo   = "https://github.com/home-sweet-gnome/dash-to-panel"
commit = "b31cbe1f3c9fa997b954b71199563fbedc2f3446"  # tag v73 (ADR 0006: commit fijo, nunca HEAD)

[build]
compiler = "zig-cc"
target   = "x86_64-linux-musl"
link     = "dynamic"

[build.phases]
# Nada que compilar en el sentido de C: `make all` sólo compila el gschema y los catálogos .po.
configure = "true"
compile   = 'make VERSION=73'
install = '''
set -e
UUID="dash-to-panel@jderose9.github.com"
make install DESTDIR=/out VERSION=73
D="/out/usr/share/gnome-shell/extensions/$UUID"

# Guardián: el `install` de upstream mueve cosas de sitio según DESTDIR, así que se comprueba el
# resultado y no la intención. Un artefacto a medias sella igual y el fallo sale recién al arrancar
# el escritorio (regla 3 de CLAUDE.md).
test -s "$D/metadata.json"
test -s "$D/extension.js"
grep -q '"version": 73' "$D/metadata.json"   # falla si el sed de VERSION no corrió (quedaría 9999)
grep -q '"48"' "$D/metadata.json"            # falla si un bump deja de soportar shell 48
# El gschema tiene que haber ido al directorio GLOBAL, que es lo que compila el lanzador.
test -s /out/usr/share/glib-2.0/schemas/org.gnome.shell.extensions.dash-to-panel.gschema.xml
'''

[deps]
# `make` para el Makefile, `glib` por glib-compile-schemas y `gettext-tiny` por msgfmt. Ninguna es
# una librería que la extensión enlace: no enlaza nada, es JavaScript.
build = ["make", "glib", "pcre2", "libffi", "zlib", "gettext-tiny"]