| products/sources/formale Sprachen/Coq/test-suite/coq-makefile/multiroot/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: run.sh Sprache: ShellOriginal von: Coq© |
|
||||||
|
#!/usr/bin/env bash
. ../template/init.sh cp -r theories theories2 mv src/test_plugin.mlpack src/test_plugin.mllib coq_makefile -f _CoqProject -o Makefile cat Makefile.conf make make html mlihtml make install DSTROOT="$PWD/tmp" make install-doc DSTROOT="$PWD/tmp" #make debug ( while IFS= read -r -d '' d do pushd "$d" >/dev/null && find . && popd >/dev/null done < <(find tmp -name user-contrib -print0) ) | sort -u > actual sort > desired <<EOT . ./test ./test/test.glob ./test/test.cmi ./test/test.cmx ./test/test_aux.cmi ./test/test_aux.cmx ./test/test_plugin.cmxa ./test/test_plugin.cmxs ./test/test.v ./test/test.vo ./test2 ./test2/test.glob ./test2/test.v ./test2/test.vo ./orphan_test_test2_test ./orphan_test_test2_test/html ./orphan_test_test2_test/html/coqdoc.css ./orphan_test_test2_test/html/index.html ./orphan_test_test2_test/html/test2.test.html ./orphan_test_test2_test/html/test.test.html ./orphan_test_test2_test/html/toc.html ./orphan_test_test2_test/mlihtml ./orphan_test_test2_test/mlihtml/index_attributes.html ./orphan_test_test2_test/mlihtml/index_classes.html ./orphan_test_test2_test/mlihtml/index_class_types.html ./orphan_test_test2_test/mlihtml/index_exceptions.html ./orphan_test_test2_test/mlihtml/index_extensions.html ./orphan_test_test2_test/mlihtml/index.html ./orphan_test_test2_test/mlihtml/index_methods.html ./orphan_test_test2_test/mlihtml/index_modules.html ./orphan_test_test2_test/mlihtml/index_module_types.html ./orphan_test_test2_test/mlihtml/index_types.html ./orphan_test_test2_test/mlihtml/index_values.html ./orphan_test_test2_test/mlihtml/style.css ./orphan_test_test2_test/mlihtml/Test_aux.html ./orphan_test_test2_test/mlihtml/Test.html ./orphan_test_test2_test/mlihtml/type_Test_aux.html ./orphan_test_test2_test/mlihtml/type_Test.html EOT exec diff -u desired actual ¤ Dauer der Verarbeitung: 0.1 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.Bot Zugriff |
