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: Confluence.thy Sprache: Unknown
rahmenlose Ansicht.nix DruckansichtShell {Shell[93] Ada[107] Abap[170]}Entwicklung
{ autoconf, automake, ssreflect }:
{
buildInputs = [ autoconf automake ];
coqBuildInputs = [ ssreflect ];
configure =
"./autogen.sh && ./configure"
;
make
=
"./remake"
;
clean
=
"./remake clean"
;
}
[ Verzeichnis aufwärts0.50unsichere Verbindung
]