blob: 75ad471c49d3751760a87cf68ac95614a5168f0e [file] [log] [blame]
Matthias Andreas Benkard2d33bf72026-08-16 06:40:07 +02001#!/bin/sh
2# Macht aus dem Übersetzerergebnis ein auslieferbares Verzeichnis. Läuft in der Phase
3# „package“ des Profils -Pwasm, unmittelbar nach native-image.
4#
5# 1. Der Textzwischenschritt aendggner.js.wat (mehrere hundert Megabyte) wird entfernt.
Matthias Andreas Benkardf3b47af2026-08-22 21:23:06 +02006# 2. Das Modul geht durch wasm-opt -Oz, sofern Binaryen zur Hand ist.
7# 3. Der Quelltext der gebauten Fassung wird als Tarball beigelegt — AGPLv3 §13 verlangt
Matthias Andreas Benkard2d33bf72026-08-16 06:40:07 +02008# beim Netzwerkbetrieb einen Quellcode-Zugang für die Nutzer:innen, und der Footer der
9# Startseite verweist darauf.
Matthias Andreas Benkardf3b47af2026-08-22 21:23:06 +020010# 4. Nur die vom Bau erzeugten Dateien bleiben stehen; alles hier Liegende wird
11# hochgeladen.
12# 5. Auf Wunsch (VORKOMPRIMIEREN=1) werden die großen Dateien vorkomprimiert.
13#
14# Zielplattform ist Cloudflare Workers: dort gilt eine Grenze von 25 MiB je Datei
15# (unkomprimiert), und komprimiert wird beim Ausliefern ohnehin. Deshalb ist die
16# Vorkompression abgeschaltet und die Größe jeder Datei wird geprüft. Wer stattdessen
17# selbst mit nginx ausliefert (deploy/nginx-aendggner.conf, gzip_static/brotli_static),
18# ruft das Skript mit VORKOMPRIMIEREN=1 auf.
Matthias Andreas Benkard2d33bf72026-08-16 06:40:07 +020019#
20# Aufruf: deploy/webpaket.sh <ausgabeverzeichnis> (Standard: target/web)
21
22set -eu
23
24ziel="${1:-target/web}"
25quelle="$(CDPATH='' cd -- "$(dirname -- "$0")/.." && pwd)"
26
Matthias Andreas Benkardf3b47af2026-08-22 21:23:06 +020027# Cloudflare Workers nimmt keine Datei über 25 MiB an.
28grenze_datei=26214400
29# Der Quelltext misst ein Viertel Megabyte. Wächst das Archiv über diese Schranke, sind
30# wieder Massendaten ins Repository geraten, die dort nicht hingehören (siehe
31# .gitattributes) — dann lieber der Bau ab als ein unbrauchbares Paket.
32grenze_archiv=8388608
33
Matthias Andreas Benkard2d33bf72026-08-16 06:40:07 +020034if [ ! -d "$ziel" ]; then
35 echo "webpaket: $ziel gibt es nicht — erst -Pwasm package laufen lassen." >&2
36 exit 1
37fi
38
Matthias Andreas Benkardf3b47af2026-08-22 21:23:06 +020039groesse() {
40 wc -c <"$1" | tr -d ' '
41}
42
Matthias Andreas Benkard2d33bf72026-08-16 06:40:07 +020043# 1. Zwischenschritt fort.
44rm -f "$ziel/aendggner.js.wat"
45
Matthias Andreas Benkardf3b47af2026-08-22 21:23:06 +020046# 2. Nachoptimierung. -Oz zieht die Codegröße noch einmal spürbar zusammen.
47#
48# Die Merkmale sind einzeln aufgezählt, nicht als --all-features: Binaryen darf ausgeben,
49# was es darf, und mit --all-features nutzt es auch Vorschläge, die noch kein Browser
50# annimmt — das Modul scheitert dann erst beim Instanziieren („invalid heap type 'exact'“
51# aus den custom descriptors, „invalid import kind 127“ aus der kompakten
52# Importsektion). Aufgeführt ist deshalb nur, was ausgeliefert in den Browsern steht und
53# was Web Image braucht: WasmGC samt Referenztypen, das Ausnahmen-Proposal, endständige
54# Aufrufe. Fehlt wasm-opt, bleibt das Modul, wie es ist — der Bau soll daran nicht
55# scheitern.
56wasm_merkmale="--enable-gc --enable-reference-types --enable-exception-handling
57 --enable-tail-call --enable-bulk-memory --enable-bulk-memory-opt
58 --enable-nontrapping-float-to-int --enable-sign-ext
59 --enable-mutable-globals --enable-multivalue --enable-extended-const
60 --enable-simd --enable-call-indirect-overlong"
61
62if [ -f "$ziel/aendggner.js.wasm" ]; then
63 vorher="$(groesse "$ziel/aendggner.js.wasm")"
64 if command -v wasm-opt >/dev/null 2>&1; then
65 # shellcheck disable=SC2086 # die Merkmalsliste soll in Wörter zerfallen
66 wasm-opt $wasm_merkmale -Oz \
67 -o "$ziel/aendggner.js.wasm.neu" "$ziel/aendggner.js.wasm"
68 mv "$ziel/aendggner.js.wasm.neu" "$ziel/aendggner.js.wasm"
69 echo "webpaket: wasm-opt: $vorher -> $(groesse "$ziel/aendggner.js.wasm") Bytes."
70 else
71 echo "webpaket: wasm-opt nicht gefunden — Modul bleibt unnachoptimiert" \
72 "($vorher Bytes)." >&2
73 fi
74fi
75
76# 3. Quelltext der gebauten Fassung.
Matthias Andreas Benkard2d33bf72026-08-16 06:40:07 +020077#
78# Ein veränderter Arbeitsbaum bricht den Bau ab: Der angebotene Quelltext muss der
79# ausgelieferten Fassung entsprechen, sonst ist die Auflage aus §13 verfehlt. Wer nur
80# ausprobieren will, setzt QUELLTEXT_UNGEPRUEFT=1.
81if ! git -C "$quelle" rev-parse --git-dir >/dev/null 2>&1; then
82 echo "webpaket: $quelle ist kein Git-Arbeitsbaum; ohne ihn lässt sich der Quelltext" >&2
83 echo " der gebauten Fassung nicht beilegen (AGPLv3 §13)." >&2
84 exit 1
85fi
86
87if [ -n "$(git -C "$quelle" status --porcelain)" ] && [ "${QUELLTEXT_UNGEPRUEFT:-}" != 1 ]; then
88 echo "webpaket: Der Arbeitsbaum trägt uneingecheckte Änderungen. Der beigelegte Quelltext" >&2
89 echo " wäre dann nicht der gebaute. Erst einchecken — oder für einen Probelauf" >&2
90 echo " QUELLTEXT_UNGEPRUEFT=1 setzen (dann nicht ausliefern)." >&2
91 exit 1
92fi
93
94fassung="$(git -C "$quelle" rev-parse HEAD)"
Matthias Andreas Benkardf3b47af2026-08-22 21:23:06 +020095archiv="$(CDPATH='' cd -- "$ziel" && pwd)/aendggner-quelltext.tar.gz"
96git -C "$quelle" archive --format=tar.gz --prefix=aendggner/ HEAD -o "$archiv"
97
98archivgroesse="$(groesse "$archiv")"
99if [ "$archivgroesse" -gt "$grenze_archiv" ]; then
100 echo "webpaket: Das Quelltextarchiv misst $archivgroesse Bytes und überschreitet damit" >&2
101 echo " die Schranke von $grenze_archiv. Vermutlich sind Massendaten ins" >&2
102 echo " Repository geraten; sie gehören in .gitattributes (export-ignore)." >&2
103 exit 1
104fi
Matthias Andreas Benkard2d33bf72026-08-16 06:40:07 +0200105
106{
107 echo "ÄndGgner — Quelltext der ausgelieferten Fassung"
108 echo
109 echo "Commit: $fassung"
110 echo "Gebaut: $(date -u '+%Y-%m-%dT%H:%M:%SZ')"
111 echo
112 echo "Vollständig in aendggner-quelltext.tar.gz; Bauanleitung darin in README.adoc."
113 echo "Fortlaufend: https://gerrit.benkard.de/plugins/gitiles/aendggner"
Matthias Andreas Benkardf3b47af2026-08-22 21:23:06 +0200114 echo
115 echo "Nicht im Archiv liegt der Beispielkorpus (src/test/resources/sampledata): Gesetzes-"
116 echo "und Drucksachentexte fremder Urheberschaft, an denen die Tests messen. Gebaut wird"
117 echo "ohne ihn; nur die Tests verlangen danach. Wer sie laufen lassen will, holt das"
118 echo "Repository von der oben genannten Adresse, wo der Korpus vollständig liegt."
Matthias Andreas Benkard2d33bf72026-08-16 06:40:07 +0200119} > "$ziel/quelltext-fassung.txt"
120
Matthias Andreas Benkardf3b47af2026-08-22 21:23:06 +0200121# 4. Nur das Gebaute bleibt liegen — was hier steht, geht hoch.
122rm -f "$ziel/.DS_Store"
123
124# 5. Vorkompression, nur auf Anforderung (siehe Kopf). Der Tarball ist bereits gepackt und
125# bleibt außen vor.
126if [ "${VORKOMPRIMIEREN:-}" = 1 ]; then
127 for datei in "$ziel"/*.wasm "$ziel"/*.js "$ziel"/*.css "$ziel"/*.html "$ziel"/*.svg \
128 "$ziel"/*.txt; do
129 [ -f "$datei" ] || continue
130 gzip -9 -f -k -- "$datei"
131 if command -v brotli >/dev/null 2>&1; then
132 brotli -f -- "$datei"
133 fi
134 done
135
136 if ! command -v brotli >/dev/null 2>&1; then
137 echo "webpaket: brotli nicht gefunden — nur .gz angelegt." >&2
138 fi
139fi
140
141# Was zu groß ist, nimmt Cloudflare nicht an. Lieber hier auffallen als beim Hochladen.
142zugross=""
143for datei in "$ziel"/*; do
Matthias Andreas Benkard2d33bf72026-08-16 06:40:07 +0200144 [ -f "$datei" ] || continue
Matthias Andreas Benkardf3b47af2026-08-22 21:23:06 +0200145 if [ "$(groesse "$datei")" -gt "$grenze_datei" ]; then
146 zugross="$zugross $(basename "$datei") ($(groesse "$datei") Bytes)
147"
Matthias Andreas Benkard2d33bf72026-08-16 06:40:07 +0200148 fi
149done
Matthias Andreas Benkardf3b47af2026-08-22 21:23:06 +0200150if [ -n "$zugross" ]; then
151 echo "webpaket: Diese Dateien überschreiten die 25-MiB-Grenze von Cloudflare Workers:" >&2
152 printf '%s' "$zugross" >&2
153 exit 1
Matthias Andreas Benkard2d33bf72026-08-16 06:40:07 +0200154fi
155
156echo "webpaket: $ziel ist auslieferbar (Fassung $(git -C "$quelle" rev-parse --short HEAD))."