Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Tools/Metis/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 256 B image not shown  

Quelle  Makefile.FILES   Sprache: unbekannt

 
include Makefile
bin/mosml/Makefile.src:
 mkdir -p `dirname $@`
 echo > $@
refresh_FILES:
 echo $(POLYML_SRC) | \
 sed "s/src\/PortablePolyml/PortableIsabelle/g" | \
 sed "s/ src\/Tptp\.s[a-z][a-z]//g" | \
 sed "s/ src\/Options\.s[a-z][a-z]//g" \
 > FILES

[ Dauer der Verarbeitung: 0.18 Sekunden  (vorverarbeitet)  ]