Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/sgpviz/src/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 30.7.2024 mit Größe 1 kB image not shown  

Quelle  Makefile   Sprache: C

 
clean:
 echo "make xsemi to rebuild the files for xsemigroup"
 echo "make xaut to rebuild the files for xautomaton"


xsemi:
 rm -f xsemi_new_funcs.tcl.*
 touch xsemi_new_funcs.tcl.menu1
 touch xsemi_new_funcs.tcl.menu2
 touch xsemi_new_funcs.tcl.menu3
 touch xsemi_new_funcs.tcl.menu4
 touch xsemi_new_funcs.tcl.procs
 touch xsemi_new_funcs.tcl.names
 chmod a+w xsemi_new_funcs.tcl.menu1 xsemi_new_funcs.tcl.menu2 xsemi_new_funcs.tcl.menu3 xsemi_new_funcs.tcl.menu4 xsemi_new_funcs.tcl.procs xsemi_new_funcs.tcl.names

xaut:
 rm -f xaut_new_funcs.tcl.*
 touch xaut_new_funcs.tcl.menu
 touch xaut_new_funcs.tcl.procs
 touch xaut_new_funcs.tcl.names
 chmod a+w xaut_new_funcs.tcl.menu xaut_new_funcs.tcl.procs xaut_new_funcs.tcl.names

xnumsemi:
 rm -f xnumsemi_new_funcs.tcl.*
 touch xnumsemi_new_funcs.tcl.menu1
 touch xnumsemi_new_funcs.tcl.menu2
 touch xnumsemi_new_funcs.tcl.menu3
 touch xnumsemi_new_funcs.tcl.procs
 touch xnumsemi_new_funcs.tcl.names
 chmod a+w xnumsemi_new_funcs.tcl.menu1 xnumsemi_new_funcs.tcl.menu2 xnumsemi_new_funcs.tcl.menu3 xnumsemi_new_funcs.tcl.procs xnumsemi_new_funcs.tcl.names

100%


¤ Dauer der Verarbeitung: 0.2 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

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.