products/sources/formale Sprachen/Isabelle/Doc/Tutorial/document/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: run.sh   Sprache: Unknown

#!/usr/bin/env bash

. ../template/init.sh

coq_makefile -f _CoqProject -o Makefile
cat Makefile.conf
make only TGTS="src/test.cmi src/test_aux.cmi" -j2
test -f src/test.cmi
test -f src/test_aux.cmi
! test -f src/test.cmo

[ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ]