Lyx — Tools & Compiler

Der Lyx-Compiler, die Werkzeuge um ihn herum und der Weg vom Quelltext zum lauffähigen Programm. Geprüfter Stand: lyxc 1.1.14A.

→ Übersicht · Erste Schritte · Sprachreferenz

Was lyxc ist

lyxc ist Compiler und Linker in einem. Es gibt keine Objektdateien, keinen separaten Linker-Aufruf und keine Linker-Flags: aus einer .lyx-Datei entsteht in einem Schritt eine fertige, statisch gelinkte ELF-Datei. C-Bibliotheken werden nicht über die Kommandozeile eingebunden, sondern im Quelltext mit extern fn … link „libfoo.so“ (→ FFI).

lyxc main.lyx -o mein_programm          # der Normalfall
lyxc main.lyx -I ./libs -o mein_programm
lyxc main.lyx --target=arm64 -o app_arm
lyxc --compile-unit src/utils.lyx -o src/utils.lyu   # vorkompilierte Unit

--compile-unit braucht ein ausdrückliches -o. Ohne Ausgabedatei läuft der Aufruf durch, meldet nichts — und legt keine .lyu an. Die Endung wird nicht automatisch aus dem Eingabenamen abgeleitet. Nachgeprüft mit 1.0.21A.

Der Compiler gibt bei jedem Lauf einen Sicherheits-Audit auf stderr aus: aktives Capability-Modell, W^X, RELRO, Stack-Canaries, seccomp und Landlock. Wer nur die Fehler sehen will, filtert die Ausgabe — Meldungen erscheinen als sema error, Parse error at line N oder codegen error.

Seiten

Seite	Inhalt
Compiler-Parameter	Alle Flags aus `--help` mit Wirkung und Beispiel — Zielplattformen, Diagnose, DO-178C-Optionen, Unit-Kompilierung; dazu die Flags, die es nicht gibt
Compiler selbst kompilieren	Bootstrap aus dem Seed-Binary, Selbstkompilierung, Singularitätsprüfung
Projektdatei *.lpf	Quelle, Ziel, Include-Pfade, Schalter und Pakete in einer Datei statt an der Kommandozeile — seit 1.1.13A
lbfdump	LBF-Binaries untersuchen: Genesis-Header, TLV-Pool (Capabilities), Sektionen, Symboltabelle, IR-Disassembly
LPM — Package Manager	Vollständiges Handbuch: `lyx.toml` und `lyx.lock`, Abhängigkeiten auflösen, reproduzierbare `.lxpkg` bauen, anmelden, veröffentlichen, Fehlermeldungen — und was noch nicht geht
LPM — Registry-Protokoll	URL-Layout, Index-Format, Statuscodes, Integrität und die Grenzen der Prüfsumme
LPM — Registry betreiben	Server einrichten, vhost-Regeln, Token vergeben, Publish-Endpunkt, Pakete zurückziehen
LPM — Compiler-Integration	`lpm resolve` als Schnittstelle für `lyxc` — Aufrufvertrag; seit 1.1.13A ruft der Compiler `lpm` selbst, über den Abschnitt `[pakete]` einer Projektdatei
KI-Integration	Geplantes JSON-Format für AST und Fehler (`--ast-json`, `--error-json`) — beide Flags sind nicht verdrahtet und brechen den Aufruf ab

Die häufigsten Aufrufe

Ziel	Aufruf
Übersetzen und ausführen	`lyxc main.lyx -o app && ./app`
Eigene Units mitgeben	`lyxc main.lyx -I ./src -o app`
Für eine andere Plattform	`lyxc main.lyx --target=arm64 --arch=arm64 -o app` → Cross-Compilation
Bereichsprüfungen einschalten	`lyxc main.lyx --runtime-checks -o app` — ohne den Schalter liest ein Zugriff außerhalb der Grenzen kommentarlos fremden Speicher
Nur prüfen, nicht bauen	`lyxc main.lyx --lint-only`
Aufrufgraph und Stack-Tiefe	`lyxc main.lyx --call-graph --static-analysis`
MC/DC-Struktur (DO-178C)	`lyxc main.lyx --mcdc-report -o /dev/null` — Entscheidungen und Bedingungen; die Überdeckungsmessung fehlt weiterhin
Unit vorkompilieren	`lyxc --compile-unit src/utils.lyx -o src/utils.lyu` (das `-o` ist Pflicht)

--compile-unit läuft seit #1587 bis in den Codegen. Vorher endete der Lauf nach der Semantikprüfung: eine grüne Vorkompilierung belegte nicht, dass die Unit übersetzbar ist. Jetzt wird der Codegen mitgeführt (sein Erzeugnis wird verworfen, gebraucht wird die Diagnose) — und zwar vor dem Schreiben, damit bei einem Fehler gar keine .lyu entsteht, die nach Erfolg aussieht:

$ lyxc --compile-unit kaputt.lyx -o kaputt.lyu
codegen error: globale Variable 'g': Startwert ist zur Uebersetzungszeit nicht bekannt
$ ls kaputt.lyu
ls: kaputt.lyu: Datei nicht gefunden

Shared Library statt Programm	`lyxc lib.lyx --shared -o libmein.so`
C-Header einlesen	`lyxc --include /usr/include/foo.h` → gibt `extern fn`-Deklarationen aus

Der Schalter heißt --mcdc, nicht --mcdc-instrument. Ältere Fassungen der Doku nannten einen Dreischritt aus --mcdc-instrument, --coverage-report und --stack-check — keiner dieser drei Namen existiert, alle brechen mit lyxc: unbekannter Schalter und Exit 2 ab. Vorhanden sind --mcdc, --mcdc-report, --call-graph und --static-analysis. Nachgeprüft mit 1.0.21A.

Den Compiler selbst bauen

Der Compiler ist in Lyx geschrieben und übersetzt sich selbst. Im Compiler-Repository:

make build        # Seed-Binary (src/lyxc_bootstrap) übersetzt die Quelle → ./lyxc
make bootstrap    # ./lyxc übersetzt sich selbst → neues ./lyxc
make singularity  # Nachweis: Seed→Quelle und deren Ergebnis→Quelle sind bitgleich
make test         # Testsuite

Bei einem frischen Stand immer mit make build beginnen. make bootstrap setzt ein bereits passendes ./lyxc voraus — ist das vorhandene Binary älter als die Quelle, scheitert die Selbstkompilierung mit Meldungen aus der eigenen Standardbibliothek. Details: Compiler selbst kompilieren.

Zwei Binaries auf demselben Rechner sind der häufigste Messfehler. Ein installiertes /usr/local/bin/lyxc und das frisch gebaute ./lyxc im Repository können weit auseinanderliegen. Wer Doku-Beispiele oder Fehlerberichte prüft, ruft den Compiler mit vollem Pfad auf und vergleicht vorher lyxc --version.

Werkzeuge im Überblick

Werkzeug	Aufruf	Wofür
`lyxc`	`lyxc datei.lyx -o app`	Übersetzen, linken, prüfen
`lbfdump`	`lbfdump -x datei.lbf`	LBF-Binaries zerlegen: Header, Capabilities, Sektionen, Disassembly
`lpm`	`lpm install`	Abhängigkeiten aus `lyx.toml` auflösen; `lpm resolve` liefert einen Pfad auf stdout, mit `--entry` die Unit-Datei

lbfdump liest zwei Formate: LYX! (natives Binary — Genesis-Header, Capability-TLVs) und LBF\0 (IR-Bytecode — Symboltabelle, Disassembly). Für das Disassembly nativer Dateien wird Capstone benötigt, die Opcode-Tabellen (lbf_opcodes.tsv, lbf_builtins.tsv) erwartet es im aktuellen Verzeichnis.

Letzte Aktualisierung: 2026-08-16 — Stand auf lyxc 1.0.21A gezogen, Einordnung „Was lyxc ist„ (Compiler+Linker, keine Linker-Flags), Tabelle der häufigsten Aufrufe, Abschnitt zum Selbstbau mit den Makefile-Zielen und Werkzeug-Übersicht ergänzt. Sämtliche genannten Flags gegen --help und einen Testlauf geprüft; --ast-json und --error-json sind weiterhin nicht verdrahtet. Die lpm-Zeile nennt jetzt den tatsächlichen Vertrag von lpm resolve — ein Pfad auf stdout, kein -I.