|
#!/usr/bin/env bash
DOUT=misc/tmp_coqc_dash_o/
OUT=${DOUT}coqc_dash_o.vo
mkdir -p "${DOUT}"
rm -f "${OUT}"
$coqc misc/coqc_dash_o.v -o "${OUT}"
if [ ! -f "${OUT}" ]; then
printf "coqc -o not working"
exit 1
fi
rm -fr "${DOUT}"
exit 0
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
