Dies ist der Befehl mkcamlp5, der im kostenlosen OnWorks-Hosting-Provider über eine unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, Windows-Online-Emulator oder MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
camlp5 - Pre-Precessor-Pretty-Printer für ocaml
mkcamlp5 - Benutzerdefinierte camlp5 erstellen
mkcamlp5.opt - Erstellen Sie benutzerdefinierten camlp5 (nativer Code)
ocpp5 - Universal-Präprozessor
ZUSAMMENFASSUNG
camp5 [ Lade-Optionen ] [--] [ Andere-Optionen ]
camp5o [ Lade-Optionen ] [--] [ Andere-Optionen ]
camp5r [ Lade-Optionen ] [--] [ Andere-Optionen ]
camlp5sch [ Lade-Optionen ] [--] [ Andere-Optionen ]
camlp5o.cma
camlp5r.cma
camlp5sch.cma
mkcamlp5
mkcamlp5.opt
ocpp5 [ Ladeoptionen ] Datei
camlp5o.opt [--] [ andere Optionen ]
camlp5r.opt [--] [ andere Optionen ]
BESCHREIBUNG
camp5 ist ein Pre-Processor-Pretty-Printer für OCaml, der eine Quelldatei analysiert und druckt
einige Ergebnisse auf der Standardausgabe.
camlp5o, camp5r und camlp5sch sind Versionen von camp5 mit einigen bereits geladenen Dateien (siehe
weiter).
camlp5o.cma, camlp5r.cma und camlp5sch.cma sind Dateien die in ocaml Toplevel geladen werden sollen?
die camlp5-Maschinen
mkcamlp5 und mkcamlp5.opt erstellt camlp5 ausführbare Dateien mit fast den gleichen Optionen wie
ocamlmktop. Siehe weiter.
ocpp5 ist ein universeller Präprozessor, der jede Art von Quelldatei behandelt und dieselbe generiert
Text mit den möglichen Zitaten erweitert.
camlp5o.opt und camlp5r.opt sind Versionen von camlp5o und camlp5r, die von den nativen kompiliert wurden.
Code-Compiler ocamlopt. Sie sind schneller, aber nicht erweiterbar. Und sie sind nicht verfügbar in
alle Installationen von camlp5.
BELASTUNG OPTIONAL
Die Ladeoptionen wählen Analyse- und Druckaktionen aus, die in OCaml-Objektdateien aufgezeichnet wurden
(Endung mit .cmo oder .cma). Mehrere Verwendungen dieser Optionen sind erlaubt. Sie müssen
vor den anderen Optionen.
Ein optionales -- kann die Ladeoptionen beenden.
-I Verzeichnis
Speichern Verzeichnis im Suchpfad für geladene Dateien. Es sei denn, die Option -nolib ist
verwendet wird, wird das camlp5-Bibliotheksverzeichnis an den Pfad angehängt. Achtung: es gibt kein
automatische Suche im aktuellen Verzeichnis: "-I ." dafür.
-wo Name des camlp5-Bibliotheksverzeichnisses ausgeben und beenden.
-nolib Keine automatische Suche nach Objektdateien im camlp5-Bibliotheksverzeichnis.
Objektdatei
Die Datei wird im camlp5-Kern geladen.
anderes OPTIONAL
Die anderen Optionen sind:
Datei BEHANDELN Datei als Schnittstellendatei, wenn sie mit .mli endet und als Implementierungsdatei
wenn es mit .ml endet.
-intf Datei
BEHANDELN Datei als Schnittstellendatei, unabhängig von ihrer Erweiterung.
-impli Datei
BEHANDELN Datei als Implementierungsdatei, unabhängig von ihrer Erweiterung.
-unsicher
Generieren Sie unsichere Zugriffe auf Arrays und Strings.
-keine Behauptung
Kompilieren Sie keine Assertionsprüfungen.
-verbose
Ausführlicher bei Parsing-Fehlern.
-QD Datei
Einwerfen Datei bei Syntaxfehler im Ergebnis einer Zitaterweiterung.
-o out-Datei
Drucken Sie das Ergebnis in einer Ausgabedatei anstelle der Standardausgabe. Datei wird geöffnet mit
open_out_bin (siehe OCaml-Bibliothek Pervasives).
-v Drucken Sie die Versionsnummer und beenden Sie.
-Hilfe Drucken Sie die verfügbaren Optionen und beenden Sie den Vorgang. Dieser Druck enthält die Optionen möglicherweise
durch die geladenen Objektdateien hinzugefügt.
Die anderen Optionen können durch geladene Objektdateien erweitert werden. Die bereitgestellten Dateien fügen die
folgende Optionen:
-l Linienlänge
Hinzugefügt von pr_o.cmo und pr_r.cmo: Setzt die Zeilenlänge (Standard 78).
-Sep Schnur
Hinzugefügt von pr_o.cmo und pr_r.cmo: Drucken Sie diese Zeichenfolge zwischen Phrasen anstelle von
Kommentare.
-nein_ss Hinzugefügt von pr_o.cmo: keine doppelten Semikolons drucken
-D ident
Hinzugefügt von pa_macro.cmo: Definiere die ident.
-U ident
Hinzugefügt von pa_macro.cmo: Definiere die Ident.
UNTER DER VORAUSSETZUNG DATEIEN
Diese Dateien werden im Verzeichnis /usr/lib/ocaml/camlp5 installiert.
Parsen von Dateien:
pa_r.cmo: überarbeitete Syntax
pa_rp.cmo: Streams und Parser
pa_lexer.cmo: lexer
pa_o.cmo: normale Syntax
pa_op.cmo: Streams und Parser
pa_oop.cmo: Streams und Parser (ohne Codeoptimierung)
pa_scheme.cmo: Schemasyntax
pa_extend.cmo: Syntaxerweiterung für Grammatiken
pa_extfold.cmo: Erweiterung von pa_extend mit FOLD0 und FOLD1
pa_extfun.cmo: Syntaxerweiterung für erweiterbare Funktionen
pa_extprint.cmo: Syntaxerweiterungen für erweiterbare Drucker
pa_pprintf.cmo: Syntaxerweiterung für pprintf-Anweisung
pa_fstream.cmo: Syntaxerweiterung für funktionale Streams
pa_macro.cmo: Makros hinzufügen (ifdef, define) wie in C
pa_lefteval.cmo: Auswertung von Parametern von links nach rechts
pa_pragma.cmo: Direktive #pragma
Druckdateien:
pr_r.cmo: überarbeitete Syntax ohne Objekte und Labels
pr_ro.cmo: überarbeitete Syntax für Objekte und Labels
pr_rp.cmo: Versuchen Sie, die Syntax von Streams und Parsern neu zu erstellen
pr_o.cmo: normale Syntax
pr_op.cmo: Versuchen Sie, die Syntax von Streams und Parsern neu zu erstellen
pr_scheme.cmo: Schema-Syntax
pr_schemep.cmo: Versuchen Sie, die Syntax von Streams und Parsern neu zu erstellen
pr_extend.cmo: Versuchen Sie, EXTEND-Anweisungen neu zu erstellen
pr_extfun.cmo: Versuchen Sie, extfun-Anweisungen neu zu erstellen
pr_extprint.cmo: Versuchen Sie, EXTEND_PRINTER-Anweisungen neu zu erstellen
pr_dump.cmo: Dump-Syntaxbaum für den ocaml-Compiler
pr_depend.cmo: Dateiabhängigkeiten
pr_null.cmo: keine Ausgabe
Angebotserweiterungen:
q_MLast.cmo: Syntaxbaumknoten (in überarbeiteter Syntax)
q_ast.cmo: Syntaxbaumknoten in voller Benutzersyntax
q_phony.cmo: Zitate halten für hübsches Drucken
Der Befehl camp5o ist eine Abkürzung für:
camlp5 pa_o.cmo pa_op.cmo pr_dump.cmo
Der Befehl camp5r ist eine Abkürzung für:
camlp5 pa_r.cmo pa_rp.cmo pr_dump.cmo
Der Befehl camlp5sch ist eine Abkürzung für:
camlp5 pa_scheme.cmo pr_dump.cmo
Die Datei camlp5o.cma kann in der obersten Ebene geladen werden, um camlp5 mit OCaml-Syntax zu starten.
Die Datei camlp5r.cma kann im Toplevel geladen werden, um camlp5 mit überarbeiteter Syntax zu starten.
Die Datei camlp5sch.cma kann in der obersten Ebene geladen werden, um camlp5 mit der Scheme-Syntax zu starten.
MKCAMLP5
mkcamlp5 und mkcamlp5.opt erstellt camlp5 ausführbare Dateien mit fast den gleichen Optionen wie
ocamlmktop. Die Version mkcamlp5.opt kann ausführbare Dateien mit nativem Code erstellen, schneller, aber nicht
erweiterbar.
Für mkcamlp5 müssen die sichtbaren Schnittstellen explizit in der Befehlszeile hinzugefügt werden als
".cmi"-Dateien. So fügen Sie beispielsweise das OCaml-Modul "str" hinzu:
mkcamlp5 -custom str.cmi str.cma -cclib -lstr -o camlp5str
VARIABLE
Die folgende Umgebungsvariable wird ebenfalls konsultiert:
CAMLP5PAR
Legen Sie die Parameter des Grammatik-Parsing-Algorithmus fest. Diese Variable muss eine Folge von . sein
Parameterspezifikationen. Eine Parameterangabe ist optional ein Buchstabe
gefolgt von einem = und einem Wert. Es gibt vier mögliche Parameter:
b (zurück)
Legen Sie den Backtrack-Algorithmus als Standard fest.
t (verfolgen)
Verfolgen Sie Symbole (Terminals und Nicht-Terminals) beim Parsen mit Backtracking.
y (Spurhaltung)
Verfolgen Sie beim Backtracking den Fortschritt im Eingabestrom (Anzahl der ungefrorenen Token)
und das mögliche Abwürgen (Anzahl der Token-Tests).
l (maximaler Stillstand)
Stellen Sie den maximalen Stillstandswert ein.
Verwenden Sie mkcamlp5 online mit den onworks.net-Diensten
