Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: dune Sprache: SML

Original von: Coq^©

(install
(section lib)
(package coq)
(files
  (CoqMakefile.in as tools/CoqMakefile.in)
  (TimeFileMaker.py as tools/TimeFileMaker.py)
  (make-one-time-file.py as tools/make-one-time-file.py)
  (make-both-time-files.py as tools/make-both-time-files.py)
  (make-both-single-timing-files.py as tools/make-both-single-timing-files.py)))

(executable
(name coq_makefile)
(public_name coq_makefile)
(package coq)
(modules coq_makefile)
(libraries coq.lib))

(executable
(name coqworkmgr)
(public_name coqworkmgr)
(package coq)
(modules coqworkmgr)
(libraries coq.stm))

(executable
(name coqdep)
(public_name coqdep)
(package coq)
(modules coqdep_lexer coqdep_common coqdep)
(libraries coq.lib))

(ocamllex coqdep_lexer)

(executable
(name coqwc)
(public_name coqwc)
(package coq)
(modules coqwc)
(libraries))

(ocamllex coqwc)

(executables
(names coq_tex coq_dune)
(public_names coq-tex coq_dune)
(package coq)
(modules coq_tex coq_dune)
(libraries str))

¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

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.