Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
.project
Sprache: Unknown
|
(rule
(targets all_stdlib.v)
(deps
build_all_stdlib.sh
(source_tree ../../../theories)
(source_tree ../../../plugins))
(action
(with-stdout-to all_stdlib.v
(bash "./build_all_stdlib.sh"))))
[ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
]
|
|
