products/sources/formale sprachen/Delphi/Elbe 1.0/Auslieferung/Context IT/  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
exec test -f "subdir/done"

[ zur Elbe Produktseite wechseln0.15Quellennavigators  Analyse erneut starten  ]