Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: dune Sprache: SML

Original von: Coq^©

(install
(section bin)
(package coq)
(files (coqtop_bin.exe as coqtop)))

(executable
(name coqtop_bin)
(public_name coqtop.opt)
(package coq)
(modules coqtop_bin)
(libraries coq.toplevel)
(link_flags -linkall))

(executable
(name coqtop_byte_bin)
(public_name coqtop.byte)
(package coq)
(modules coqtop_byte_bin)
(libraries compiler-libs.toplevel coq.toplevel)
(modes byte)
(link_flags -linkall))

(executable
(name coqc_bin)
(public_name coqc)
(package coq)
(modules coqc_bin)
(libraries coq.toplevel)
(link_flags -linkall))

(install
(section bin)
(package coq)
(files (coqc_bin.bc as coqc.byte)))

; Workers
(executables
(names coqqueryworker_bin coqtacticworker_bin coqproofworker_bin)
(public_names coqqueryworker.opt coqtacticworker.opt coqproofworker.opt)
(package coq)
(modules :standard \ coqtop_byte_bin coqtop_bin coqc_bin)
(libraries coq.toplevel)
(link_flags -linkall))

; Workers installed targets
(alias
(name topworkers)
(deps %{bin:coqqueryworker.opt} %{bin:coqtacticworker.opt} %{bin:coqproofworker.opt}))

¤ 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.