Gedichte
Musik
Bilder
Quellcodebibliothek
Diashow
Normaldarstellung
products
/
Sources
/
formale Sprachen
/
Coq
/
dev
/
ci
/
nix
/
Quellcode-Bibliothek
©
Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: lyxtext.h Sprache: Unknown
Spracherkennung für: .nix vermutete Sprache: PVS {PVS[42] C[48] Abap[214]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
{}:
rec {
make =
"make IGNORECOQVERSION=true"
;
clean =
"${make} clean"
;
}
[ Dauer der Verarbeitung: 0.41 Sekunden
]