Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
build_giraffe_vdmpp.sh
Sprache: Unknown
|
#!/bin/bash
echo Building VDM-PP...
echo Generating Interfaces
java -jar astgen-2.0.0-jar-with-dependencies.jar -lang vdm -kind intf -out . -class Giraffe giraffe.ast
echo Generating Implementation
java -jar astgen-2.0.0-jar-with-dependencies.jar -lang vdm -kind impl -out . -class Giraffe giraffe.ast
[ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
]
|
