Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: include Sprache: Hlasm

Original von: Coq^©

(library
(name kernel)
(synopsis "The Coq Kernel")
(public_name coq.kernel)
(wrapped false)
(modules (:standard \ genOpcodeFiles uint63_x86 uint63_amd64 write_uint63))
(libraries lib byterun dynlink))

(executable
  (name genOpcodeFiles)
  (modules genOpcodeFiles))

(rule
(targets copcodes.ml)
(action (with-stdout-to %{targets} (run ./genOpcodeFiles.exe copml))))

(executable
  (name write_uint63)
  (modules write_uint63)
  (libraries unix))

(rule
(targets uint63.ml)
(deps (:gen ./write_uint63.exe) uint63_x86.ml uint63_amd64.ml)
(action (run %{gen})))

(documentation
(package coq))

; In dev profile, we check the kernel against a more strict set of
; warnings.
(env
(dev (flags :standard -w +a-4-44-50)))
; (ocaml408 (flags :standard -w +a-3-4-44-50)))

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