ocamlfind – Online in der Cloud

PROGRAMM:

NAME/FUNKTION

ocamlfind – [Befehlszeilenschnittstelle des Paketmanagers]

ZUSAMMENFASSUNG

ocamlfind query [-helfen | mehr Optionen] Paketnamen ...
oder: ocamlfind ocamlc [-helfen | mehr Optionen] Datei ...
oder: ocamlfind ocamlcp [-helfen | mehr Optionen] Datei ...
oder: ocamlfind ocalmktop [-helfen | mehr Optionen] Datei ...
oder: ocamlfind okamlopt [-helfen | mehr Optionen] Datei ...
oder: ocamlfind ocamldoc [-helfen | mehr Optionen] Datei ...
oder: ocamlfind ocamldep [-helfen | mehr Optionen] Datei ...
oder: ocamlfind ocalmklib [-helfen | mehr Optionen] Datei ...
oder: ocamlfind ocamlbrowser [-helfen | mehr Optionen]
oder: ocamlfind installieren [-helfen | mehr Optionen] Paketnamen Datei ...
oder: ocamlfind entfernen [-helfen | mehr Optionen] Paketnamen
oder: ocamlfind Liste [-beschreiben]
oder: ocamlfind printconf [ Variable ]
oder: ocamlfind Paket/Befehl arg ...

Optional Werkzeugkette Auswahl durch:
ocamlfind -Werkzeugkette Name ...

'Anfrage' UNTERBEFEHL

Zusammenfassung
ocamlfind query [ -Prädikate p |
-Format f |
-Langformat | -l |
-i-Format |
-l-Format |
-a-Format |
-o-Format |
-p-Format |
-Präfix p |
-Separator s |
-Suffix s |
-pp |
-Nachkommenschaft | -d |
-rekursiv | -r ] Paket ...

Beschreibung
Dieser Befehl sucht nach Paketen, sortiert sie optional und gibt deren Attribute aus. Wenn
Wenn die Option -recursive (kurz: -r) nicht angegeben ist, werden genau die auf der angegebenen Pakete angezeigt
Befehlszeile werden nachgeschlagen; Wenn -recursive vorhanden ist, werden die Pakete und alle ihre Pakete angezeigt
Vorfahren, oder wenn auch -descendants (kurz: -d) vorhanden ist, sind alle ihre Nachkommen vorhanden
gedruckt.

Die Paketsuche und die Auswahl der Attribute der Pakete können durch geändert werden
Angabe von Prädikaten; Ohne die Option -predicates wird der leere Satz von Prädikaten verwendet.
Beachten Sie, dass selbst die Suche durch die Menge der tatsächlichen Prädikate beeinflusst wird, da „erfordert“
Variablen können bedingt sein.

Was über ein Paket gedruckt wird, hängt vom angegebenen Format ab; Es gibt eine Reihe von
Optionen, die das Format ändern. Einige Formate bezeichnen Wertemengen (z. B. -format %a),
In diesem Fall werden für jedes Paket mehrere Ausgabedatensätze gedruckt. (Es ist sogar möglich
um Formate anzugeben, die das kartesische Produkt von Mengen bezeichnen, wie etwa -format %a%o, aber dies
macht keinen Sinn.) Vor dem ersten Ausgabesatz wird das Präfix und das Suffix ausgegeben
nach der letzten Aufnahme. Zwischen zwei Datensätzen wird das Trennzeichen gedruckt.

Optionen
-Prädikate p

Legt den Satz tatsächlicher Prädikate fest. Das Argument p ist eine Liste von Prädikatnamen
durch Kommas und/oder Leerzeichen getrennt. Wenn mehrere -predicates-Optionen angegeben sind,
die Vereinigung aller angegebenen Mengen wird effektiv genutzt.

-Format f

Legt das Format auf die Zeichenfolge fest f. Zeichen, denen ein Prozentzeichen vorangestellt ist, sind
als Platzhalter interpretiert; alle anderen Charaktere meinen sich selbst. Das Definierte
Platzhalter sind unten aufgeführt. Das Standardformat ist „%d“.

-long-format oder -l

Legt das Format so fest, dass alle relevanten Variablen gedruckt werden.

-i-Format

Identisch mit -format „-I %d“, dh Verzeichnisoptionen für ocamlc werden ausgegeben.

-l-Format

Identisch mit -format „-ccopt -L%d“, dh Verzeichnisoptionen für das Linker-Backend
gedruckt.

-a-Format

Identisch mit -format „%+a“, dh die Namen der Archivdateien werden gedruckt.

-o-Format

Identisch mit -format „%o“, dh es werden Linker-Optionen ausgegeben.

-p-Format

Identisch mit -format „%p“, dh Paketnamen werden gedruckt.

-Präfix p

Setzt das Präfix, das vor dem ersten Ausgabedatensatz gedruckt wird, auf den angegebenen Wert
Zeichenfolge. Das Standardpräfix ist die leere Zeichenfolge.

-Suffix s

Setzt das Suffix, das nach dem letzten Ausgabedatensatz gedruckt wird, auf die angegebene Zeichenfolge.
Das Standardsuffix ist die leere Zeichenfolge.

-Separator s

Setzt das Trennzeichen, das zwischen Ausgabedatensätzen gedruckt wird, auf die angegebene Zeichenfolge. Der
Das Standardtrennzeichen ist ein Zeilenvorschubzeichen.

-rekursiv oder -r

Es werden nicht nur die auf der Kommandozeile angegebenen Pakete abgefragt, sondern auch alle Vorfahren
oder Nachkommen. Wenn auch die Option -descendants angegeben ist, sind die Nachkommen vorhanden
gedruckt, sonst die Vorfahren. Die Pakete sind topologisch sortiert.

-Nachkommen -d

Anstelle der Vorfahren werden die Nachkommen der angegebenen Pakete abgefragt. Das
Option impliziert -rekursiv.

-pp

Präprozessorpakete abfragen (camlp4-Syntaxerweiterungen). Normalerweise wird es nicht benötigt
um -predicates festzulegen, es sei denn, Sie benötigen die Archive (fügen Sie dann das -predicates-Byte hinzu). Das
Option impliziert -rekursiv.

Platzhalter sinnvoll in -Format ganz ohne irgendetwas tun oder drücken zu müssen.
%%

Wird durch ein einzelnes Prozentzeichen ersetzt

%p

Durch den Paketnamen ersetzt

%d

Ersetzt durch das Paketverzeichnis

%D

Durch die Paketbeschreibung ersetzt

%v

Durch die Versionszeichenfolge ersetzt

%a

Wird durch den Namen der Archivdatei ersetzt. Wenn mehr als ein Archiv vorhanden ist, ein separates
Der Ausgabesatz wird für jedes Archiv gedruckt.

%+a

Wie %a, aber die Dateinamen werden in absolute Pfade umgewandelt („+“- und „@“-Notationen).
gelöst sind)

%A

Ersetzt durch die Liste der Archivdateinamen.

%+A

Wie %A, aber die Dateinamen werden in absolute Pfade umgewandelt („+“- und „@“-Notationen).
gelöst sind)

%o

Durch eine Linker-Option ersetzt. Wenn mehr als eine Option vorhanden ist, erfolgt eine separate Ausgabe
Der Datensatz wird für jede Option gedruckt.

%O

Ersetzt durch die Liste der Linker-Optionen.

%(Resorts)

Wird durch den Wert der in Klammern genannten Eigenschaft oder die leere Zeichenfolge ersetzt, wenn
nicht definiert.

UNTERBEFEHLE 'ocamlc', 'ocamlcp', 'ocamlopt', und 'ocalmktop'

Zusammenfassung
ocamlfind ( ocamlc | ocamlcp | okamlopt | ocalmktop )
[ -Paket Paketnamenliste |
-linkpkg |
-Prädikate pred-name-list |
-nicht verlinken Paketnamenliste |
-Syntax pred-name-list |
-ppopt camlp4-arg |
-ppxopt Paket,arg |
-dllpath-pkg Paketnamenliste |
-dllpath-all |
-passopt arg |
-passrest arg ... |
-nur zeigen |
Standard-Option ]
Datei ...

Beschreibung
Diese Unterbefehle sind Treiber für die gleichnamigen Compiler, also „ocamlfind
„ocamlc“ ist ein Treiber für „ocamlc“ usw. Die Unterbefehle verstehen alle dokumentierten
Optionen des Compilers (hier genannt Standardoptionen), aber auch ein paar weitere Optionen. Wenn
Diese Unterbefehle werden nur mit Standardoptionen aufgerufen, sie verhalten sich wie die zugrunde liegenden
Der Compiler wurde direkt aufgerufen. Die zusätzlichen Optionen ändern dies.

Intern wandeln diese Unterbefehle die angegebene Liste von Optionen und Dateiargumenten in um
ein Aufruf des gesteuerten Compilers. Diese Transformation fügt nur Optionen und Dateien hinzu und
Die relative Reihenfolge der direkt übergebenen Optionen und Dateien bleibt unverändert.

Wenn -package-Optionen vorhanden sind, werden zusätzliche Verzeichnissuchspezifizierer einbezogen
("-I" und "-ccopt -I"), so dass Dateien aller benannten Pakete und aller Vorfahren sein können
gefunden.

Die Option -linkpkg bewirkt, dass die in den Optionen -package aufgeführten Pakete und alle
Notwendige Vorfahren sind eingebunden. Dies bedeutet, dass die Archivdateien, die das implementieren
Pakete werden in die Liste der Dateiargumente eingefügt.

Da die Paketdatenbank abgefragt wird, ist eine Reihe von Prädikaten erforderlich. Die meisten Prädikate sind gesetzt
automatisch, siehe unten, aber zusätzliche Prädikate können durch die Option -predicates angegeben werden.

Wenn die Option -syntax vorhanden ist, gehen die Treiber davon aus, dass ein Präprozessor verwendet werden soll. In
In diesem Fall wird der Präprozessorbefehl zuerst in einer Präprozessorstufe erstellt, und zwar hier
Der Befehl wird mit der Option -pp an den Compiler übergeben. Die Menge der Prädikate im
Die Präprozessorstufe unterscheidet sich von dem Satz in der Compiler-/Linkerstufe.

Optionen für den Zusammenstellung und Linking
Hier werden nur die zusätzlichen Optionen nicht vom Compiler, sondern vom Treiber interpretiert
selbst und Möglichkeiten mit Zusatzeffekten werden erläutert. Einige Optionen sind nur
sind für den Präprozessoraufruf von Bedeutung und werden im Folgenden erläutert.

-Paket Paketnamenliste

Fügt die aufgelisteten Paketnamen der Gruppe der enthaltenen Pakete hinzu. Die Paketnamen
können durch Kommas und/oder Leerzeichen getrennt werden. Im transformierten Befehl, z
jedes Paket der Menge der enthaltenen Pakete und für jeden Vorfahren ein Verzeichnis
Suchoption wird nach den bereits angegebenen Optionen eingefügt. Das bedeutet, dass „-I“
und „-ccopt -I“-Optionen werden für jedes Paketverzeichnis hinzugefügt.

-linkpkg

Bewirkt, dass im transformierten Befehl alle Archive der von angegebenen Pakete angezeigt werden
-Pakete und alle ihre Vorfahren werden zu den Dateiargumenten hinzugefügt. Etwas präziser,
Diese Archive werden vor dem ersten angegebenen Dateiargument eingefügt. Außerdem,
„-ccopt -L“-Optionen für alle Paketverzeichnisse und die Linker-Optionen der
ausgewählte Pakete werden ebenfalls hinzugefügt. Beachten Sie, dass die Archive eingefügt werden
topologische Reihenfolge, während die Linker-Optionen in umgekehrter toplogischer Reihenfolge hinzugefügt werden.

-Prädikate pred-name-list

Fügt die angegebenen Prädikate zur Menge der tatsächlichen Prädikate hinzu. Die Prädikate müssen sein
durch Kommas und/oder Leerzeichen getrennt.

-nicht verlinken Paketnamenliste

Diese Option ändert das Verhalten von -linkpkg. Hier angegebene Pakete und alle
Vorfahren werden nicht verlinkt. Auch hier werden die Pakete durch Kommas und/oder getrennt
Leerzeichen.

-dllpath-pkg Paketnamenliste

Für diese Pakete werden -dllpath-Optionen zum Compilerbefehl hinzugefügt. Das mag sein
nützlich, wenn die Datei ld.conf nicht richtig konfiguriert ist.

-dllpath-all

Für alle verknüpften Pakete werden -dllpath-Optionen zum Compilerbefehl hinzugefügt. Das
kann nützlich sein, wenn die Datei ld.conf nicht richtig konfiguriert ist.

-passopt arg

Das Argument arg wird direkt an den zugrunde liegenden Compiler übergeben. Dies ist erforderlich
Geben Sie undokumentierte Compileroptionen an.

-passrest arg ...

Alle folgenden Argumente arg ... werden direkt an den zugrunde liegenden Compiler übergeben.
Dies ist erforderlich, um undokumentierte Compileroptionen anzugeben.

-nur zeigen

Gibt den erstellten Befehl (ocamlc/ocamlopt) nur auf stdout aus, tut dies jedoch nicht
Führen Sie den Befehl aus. (Dies gilt für den unwahrscheinlichen Fall, dass Sie eine Verpackung benötigen
um ocamlfind.)

-verbose

Auch diese Standardoption wird vom Treiber interpretiert.

-Faden

Diese Standardoption bewirkt, dass das Prädikat „mt“ zur Menge der tatsächlichen hinzugefügt wird
Prädikate. Wenn POSIX-Threads verfügbar sind, wird das Prädikat „mt_posix“ ausgewählt,
zu. Wenn nur VM-Threads verfügbar sind, wird das Prädikat „mt_vm“ in die eingefügt
gesetzt und der Compiler-Schalter wird in -vmthread geändert.

Beachten Sie, dass das Vorhandensein des Prädikats „mt“ eine spezielle Korrektur des auslöst
Abhängigkeitsdiagramm (siehe unten).

-vmthread

Diese Standardoption bewirkt, dass die Prädikate „mt“ und „mt_vm“ hinzugefügt werden
Menge tatsächlicher Prädikate.

Beachten Sie, dass das Vorhandensein des Prädikats „mt“ eine spezielle Korrektur des auslöst
Abhängigkeitsdiagramm (siehe unten).

-p

Diese Standardoption von „ocamlopt“ bewirkt, dass das Prädikat „gprof“ hinzugefügt wird
die Menge der tatsächlichen Prädikate.

Optionen für den Vorverarbeitung
Die für den Präprozessor relevanten Optionen sind folgende:

-Paket Paketnamenliste

Diese Pakete werden beim Nachschlagen der Präprozessorargumente berücksichtigt. (Es
verursacht keine Probleme, wenn für diesen Zweck die gleiche Option -package verwendet wird,
weil die Menge der Prädikate unterschiedlich ist.) Es wird empfohlen, zumindest zu erwähnen
Geben Sie hier camlp4 ein, wenn der Präprozessor verwendet werden soll.

-Syntax pred-name-list

Diese Prädikate werden zusätzlich zum Standard-Präprozessor als wahr angenommen
Prädikate. Eine Liste finden Sie weiter unten.

-ppopt camlp4-arg

Dieses Argument wird an den camlp4-Aufruf übergeben.

Prädikate für den Zusammenstellung und Linking
Byte

Das Prädikat „Byte“ bedeutet, dass einer der Bytecode-Compiler verwendet wird. Es ist
automatisch in den Prädikatsatz aufgenommen, wenn „ocamlc“, „ocamlcp“ oder
Der Compiler „ocamlmktop“ wird verwendet.

nativen

Das Prädikat „nativ“ bedeutet, dass der native Compiler verwendet wird. Es ist automatisch
in den Prädikatsatz aufgenommen, wenn der Compiler „ocamlopt“ verwendet wird.

Toploop

Das Prädikat „toploop“ bedeutet, dass der Toploop im verknüpften Programm verfügbar ist.
Dieses Prädikat wird nur gesetzt, wenn der Toploop tatsächlich ausgeführt wird, nicht wann
Der Toploop wird erstellt (dies hat sich in Version 1.0.4 von findlib geändert).

create_toploop

Dieses Prädikat bedeutet, dass ein Toploop erstellt wird (mithilfe von ocalmktop).

mt

Das Prädikat „mt“ bedeutet, dass das Programm multithreaded ist. Es ist automatisch
in den Prädikatsatz aufgenommen, wenn die Option -thread angegeben ist.

mt_posix

Das Prädikat „mt_posix“ bedeutet, dass im Fall „mt“ auch der POSIX gesetzt ist
Bibliotheken werden zum Implementieren von Threads verwendet. „mt_posix“ wird automatisch eingebunden
Das Prädikat wird festgelegt, wenn die Variable „type_of_threads“ in der META-Beschreibung des
Das Paket „threads“ hat den Wert „posix“. Dies ist normalerweise der Fall, wenn „findlib“ vorhanden ist
für POSIX-Threads konfiguriert.

mt_vm

Das Prädikat „mt_vm“ bedeutet, dass im Fall „mt“ auch der VM-Thread gesetzt ist
Emulation wird verwendet, um Multithreading zu implementieren.

gprof

Das Prädikat „gprof“ bedeutet, dass das Programm auch dann aktiv ist, wenn „native“ gesetzt ist
zur Profilerstellung zusammengestellt. Es wird automatisch in den Prädikatsatz aufgenommen, wenn
„ocamlopt“ wird verwendet und die Option -p ist wirksam.

Autolink

Das Prädikat „autolink“ bedeutet, dass ocamlc eine automatische Verknüpfung durchführen kann. Es
wird automatisch in den Prädikatsatz aufgenommen, wenn ocamlc die automatische Verknüpfung kennt
(ab Version 3.00), wird aber nicht gesetzt, wenn die Option -noautolink gesetzt ist.

Syntax

Dieses Prädikat wird festgelegt, wenn eine Syntaxoption vorhanden ist. Es ist sowohl für die eingestellt
Präprozessor und Compiler/Linker-Stufe, und es kann verwendet werden, um herauszufinden, ob
ob der Präprozessor aktiviert ist oder nicht.

Prädikate für den Vorverarbeitung
Präprozessor

Dieses Prädikat wird immer beim Nachschlagen der Präprozessorargumente festgelegt. Es kann
zur Unterscheidung zwischen der Präprozessorstufe und dem Compiler/Linker verwendet werden
Stufe.

Syntax

Dieses Prädikat wird festgelegt, wenn eine Syntaxoption vorhanden ist. Es ist sowohl für die eingestellt
Präprozessor und Compiler/Linker-Stufe, und es kann verwendet werden, um herauszufinden, ob
ob der Präprozessor aktiviert ist oder nicht.

camp4o

Dies ist das reservierte Prädikat für die Standard-O'Caml-Syntax. Es kann in verwendet werden
die -syntax-Prädikatliste.

camp4r

Dies ist das reservierte Prädikat für die überarbeitete O'Caml-Syntax. Es kann in verwendet werden
die -syntax-Prädikatliste.

Spezial Verhalten of 'ocalmktop'
Da es ein spezielles Modul Topfind gibt, das das Laden von Paketen in Skripten unterstützt, ist das
Der Unterbefehl „ocalmktop“ kann Initialisierungscode für dieses Modul hinzufügen. Dieser zusätzliche Code ist
mit der ausführbaren Datei verknüpft, wenn „findlib“ in der Menge der effektiv verknüpften Pakete enthalten ist.

In Ordnung bringen of Abhängigkeit Graph für den Multithreading
Aus mehreren Gründen löst das Vorhandensein des „mt“-Prädikats aus, dass (1) das Paket
„threads“ wird zur Liste der erforderlichen Pakete hinzugefügt und (2) das Paket „threads“ wird
Voraussetzung für alle anderen Pakete (mit Ausnahme von sich selbst und einigen fest codierten Ausnahmen). Der
Der Effekt besteht darin, dass die Optionen -thread und -vmthread automatisch die „Threads“ auswählen.
Paket, und dass „threads“ an der richtigen Position in der Paketliste eingefügt wird.

Verlängert Datei Benennung
An einigen Stellen kann man Dateien nicht nur mit absoluten oder relativen Pfadnamen referenzieren,
aber auch durch erweiterte Namen. Diese haben zwei Hauptformen: „+Name" bezieht sich auf das Unterverzeichnis
Name des Standardbibliotheksverzeichnisses und „@Name" bezieht sich auf das Paketverzeichnis des
Paket Name. Beide Formen können durch einen Pfad fortgesetzt werden, z. B. „@netstring/netstring_top.cma“.

Sie können erweiterte Namen verwenden: (1) Mit -I-Optionen, (2) als normale Dateiargumente von
Compiler, (3) in der „Archive“-Eigenschaft von Paketen.

Wie zu kompensieren Namen of Compiler ausführbare Dateien
Normalerweise kann der O'Caml-Bytecode-Compiler unter dem Namen ocamlc aufgerufen werden. Allerdings ist dies
ist nicht immer wahr; manchmal wird ein anderer Name gewählt.

Sie können ocamlfind anweisen, ausführbare Dateien mit anderen Namen als ocamlc, ocamlopt, aufzurufen.
ocamlmktop und ocamlcp. Falls vorhanden, ist die Umgebungsvariable OCAMLFIND_COMMANDS vorhanden
wird als Zuordnung der Standardnamen zu den tatsächlichen Namen der ausführbaren Dateien interpretiert.
Es muss das folgende Format haben:

Standardname1=tatsächlicher Name1 Standardname2=tatsächlicher Name2 ...

Beispiel: Sie können OCAMLFIND_COMMANDS wie folgt festlegen:

OCAMLFIND_COMMANDS='ocamlc=ocamlc-3.00 ocamlopt=ocamlopt-3.00'
exportieren OCAMLFIND_COMMANDS

Alternativ können Sie die Konfigurationsdatei findlib.conf ändern.

UNTERBEFEHL 'ocalmklib'

Zusammenfassung
ocamlfind ocalmklib
[ -Paket Paketnamenliste |
-Prädikate pred-name-list |
-dllpath-pkg Paketnamenliste |
-dllpath-all |
-passopt arg |
-passrest arg ... |
Standard-Option ]
Datei ...

Beschreibung
Dies ist ein Wrapper um ocalmklib und erstellt Bibliotheksarchive und DLLs. Zusätzlich zu
Neben den Standardoptionen kann man mit -package den Suchpfad von Paketen hinzufügen. Beachten Sie, dass
Standardmäßig sind keine Prädikate gesetzt – der Wrapper weiß nicht, ob es sich um Byte oder handelt
Native Code-Verknüpfung.

Dieser Wrapper wird hauptsächlich der Vollständigkeit halber bereitgestellt.

'ocamldep' UNTERBEFEHL

Zusammenfassung
ocamlfind ocamldep [-Paket Paketnamenliste |
-Syntax pred-name-list |
-ppopt camlp4-arg |
-passopt arg |
-passrest arg ... |
-verbose |
Standard-Option] Datei ...

Beschreibung
Dieser Befehl ist ein Treiber für das Tool ocamldep der O'Caml-Distribution. Dieser Treiber ist
nur in Verbindung mit dem Präprozessor camlp4 sinnvoll; sonst geht es nicht
mehr Funktionen als ocamldep selbst.

Optionen
Hier nur die zusätzlichen Optionen, die nicht von ocamldep, sondern vom Treiber selbst interpretiert werden,
und Optionen mit zusätzlichen Effekten werden erläutert.

-Paket Paketnamenliste

Die hier genannten Pakete dienen lediglich der Suche nach den Präprozessoroptionen. Der
Paket camlp4 sollte trotzdem angegeben werden, aber weitere Pakete, die hinzugefügt werden
Es können auch Fähigkeiten an den Präprozessor übergeben werden.

-Syntax pred-name-list

Die Prädikate, die während der Suche nach den Präprozessoroptionen wirksam sind.
Zumindest entweder camlp4o (Auswahl der normalen Syntax) oder camlp4r (Auswahl der
(überarbeitete Syntax) sollte angegeben werden.

-ppopt camlp4-arg

Eine Option, die an den camlp4-Aufruf weitergegeben wird.

-passopt arg

Eine Option, die an den ocamldep-Aufruf weitergegeben wird.

-passrest arg ...

Alle weiteren Argumente werden unverarbeitet an ocamldep weitergegeben

-verbose

Zeigt den resultierenden Befehl ocamldep an (zum Debuggen)

Beispiel
Eine typische Art, diesen Treiber zu verwenden:

ocamlfind ocamldep -Paket camlp4,xstrp4 -Syntax camp4r Datei1.ml Datei2.ml
Dieser Befehl gibt die Abhängigkeiten von file1.ml und file2.ml aus, obwohl diese Module
nutzen die von xstrp4 bereitgestellten Syntaxerweiterungen und sind in überarbeiteter Syntax geschrieben.

'ocamlbrowser' UNTERBEFEHL

Zusammenfassung
ocamlfind ocamlbrowser [-Paket Paketnamenliste |
-alles |
-passopt arg
-passrest ]

Beschreibung
Dieser Treiber ruft den Ocamlbrowser mit Paketoptionen auf. Mit -package wird das angegebene
Pakete und deren Module werden in den Suchpfad des Browsers eingebunden
Pakete werden sichtbar (zusätzlich zur Standardbibliothek). Die Option -all bewirkt dies
Es werden alle Pakete ausgewählt, die von findlib verwaltet werden.

Wie bei anderen Treibern können die Optionen -passopt und -passrest zur Übergabe von Argumenten verwendet werden
direkt zum ocamlbrowser-Programm.

UNTERBEFEHL 'ocamldoc'

Zusammenfassung
ocamlfind ocamldoc
[ -Paket Paketnamenliste |
-Prädikate pred-name-list |
-Syntax pred-name-list |
-ppopt camlp4-arg |
Standard-Option ]
Datei ...

Beschreibung
Dieser Unterbefehl ist ein Treiber für ocamldoc. Es versteht alle Optionen, die ocamldoc plus unterstützt
die genannten findlib-Optionen. Grundsätzlich werden die -package-Optionen in -I übersetzt
Optionen und die ausgewählten Syntaxoptionen werden in camlp4-Optionen übersetzt.

Optionen
Hier nur die zusätzlichen Optionen, die nicht von ocamldep, sondern vom Treiber selbst interpretiert werden,
und Optionen mit zusätzlichen Effekten werden erläutert.

-Paket Paketnamenliste

Fügt die aufgelisteten Paketnamen der Gruppe der enthaltenen Pakete hinzu. Die Paketnamen
können durch Kommas und/oder Leerzeichen getrennt werden. Im transformierten Befehl, z
jedes Paket der Menge der enthaltenen Pakete und für jeden Vorfahren ein Verzeichnis
Suchoption wird nach den bereits angegebenen Optionen eingefügt. Das bedeutet, dass „-I“
Optionen werden für jedes Paketverzeichnis hinzugefügt.

-Prädikate pred-name-list

Fügt die angegebenen Prädikate zur Menge der tatsächlichen Prädikate hinzu. Die Prädikate müssen sein
durch Kommas und/oder Leerzeichen getrennt.

-Syntax pred-name-list

Die Prädikate, die während der Suche nach den Präprozessoroptionen wirksam sind.
Zumindest entweder camlp4o (Auswahl der normalen Syntax) oder camlp4r (Auswahl der
(überarbeitete Syntax) sollte angegeben werden.

-ppopt camlp4-arg

Eine Option, die an den camlp4-Aufruf weitergegeben wird.

'Installieren' UNTERBEFEHL

Zusammenfassung
ocamlfind installieren [ -Zielverzeichnis Verzeichnis ]
[ -metadir Verzeichnis ]
[ -ldconf Weg ]
[ -dont-add-directory-directive ]
[ -Patch-Version Schnur ]
[ -patch-rmpkg Name ]
[ -Patch-Archive ]
[ -dll ] [ -nodll ] [ -Optional ] [ -hinzufügen ]
Paketnamen Datei ...

Beschreibung
Dieser Unterbefehl installiert ein neues Paket entweder am Standardspeicherort (siehe Variable
destdir von findlib.conf) oder in dem durch die Option -destdir angegebenen Verzeichnis. Das heisst
dass ein neues Paketverzeichnis erstellt wird und dass die Dateien auf der Kommandozeile kopiert werden
in dieses Verzeichnis. Es ist erforderlich, dass eine META-Datei eine der Dateien ist, die in kopiert werden
Zielverzeichnis.

Beachten Sie, dass Paketverzeichnisse flach sein sollten (keine Unterverzeichnisse). Vorhandene Pakete sind
nie überschrieben.

Es ist möglich, ein separates Verzeichnis für alle META-Dateien zu haben. Wenn du das willst, du
Sie müssen entweder die Variable metadir von findlib.conf festlegen oder -metadir angeben
Möglichkeit. In diesem Fall wird die Datei namens META in das angegebene Verzeichnis kopiert und
umbenannt in META.p (wobei p der Paketname ist), während alle anderen Dateien nach kopiert werden
das Paketverzeichnis wie gewohnt. Darüber hinaus wird die META-Datei so geändert, dass die
Die Verzeichnisvariable enthält den Pfad des Paketverzeichnisses.

Die Option -dont-add-directory-directive verhindert, dass der Installer ein Verzeichnis hinzufügt
variabel.

Wenn Dateien mit den Endungen .so oder .dll vorhanden sind, wird das Paketverzeichnis hinzugefügt
in die DLL-Konfigurationsdatei ld.conf, damit der dynamische Loader die DLL finden kann. Der
Der Speicherort dieser Datei kann mit der Option -ldconf überschrieben werden. Um diese Funktion zu deaktivieren,
verwenden Sie „-ldconf ignorieren“; Dies führt dazu, dass die Datei ld.conf nicht geändert wird.

Wenn jedoch in site-lib ein Stublibs-Verzeichnis vorhanden ist, werden die DLLs nicht darin installiert
Paketverzeichnis, sondern in diesem Verzeichnis, das von allen installierten Paketen gemeinsam genutzt wird
am selben Ort. In diesem Fall wird die Konfigurationsdatei ld.conf nicht geändert, sodass Sie
Wenn Sie diesen Installationsstil bevorzugen, müssen Sie nicht „-ldconf ignorieren“ sagen.

Mit den Optionen -dll und -nodll kann genau gesteuert werden, welche Dateien als berücksichtigt werden
DLLs und welche nicht. Standardmäßig gilt die erwähnte Suffixregel: Dateien mit der Endung
„.so“ (Unix) oder „.dll“ (Windows) sind DLLs. Der Schalter -dll ändert dies und alles Folgende
Dateien werden unabhängig von ihrem Suffix als DLLs betrachtet. Der Schalter -nodll drückt aus
dass die folgenden Dateien keine DLLs sind, auch wenn sie ein DLL-ähnliches Suffix haben. Zum Beispiel,
im folgenden Aufruf werden die Dateien f1 und f2 durch die Suffixregel behandelt; f3 und f4 sind
DLLs sowieso; und f5 und f6 sind keine DLLs:

ocamlfind installieren p f1 f2 -dll f3 f4 -nodll f5 f6

Der Schalter -optional erklärt, dass alle folgenden Dateien optional sind, d. h. der Befehl wird dies tun
schlägt nicht fehl, wenn keine Dateien vorhanden sind.

Die -patch-Optionen können verwendet werden, um den Inhalt der META-Dateien während der Erstellung zu ändern
Eingerichtet. Die Option -patch-version ändert den Inhalt der „Version“ der obersten Ebene.
Variable. Die Option -patch-rmpkg entfernt das angegebene Unterpaket. Die Option -patch-archives
ist experimentell, insbesondere entfernt es alle nicht vorhandenen Dateien aus „Archiv“-Variablen,
und sogar ganze Unterpakete, wenn die Archive fehlen.

Der Effekt von -add besteht darin, weitere Dateien zu bereits installierten Paketen hinzuzufügen.

'Löschen' UNTERBEFEHL

Zusammenfassung
ocamlfind entfernen [ -Zielverzeichnis Verzeichnis ]
[ -metadir Verzeichnis ]
[ -ldconf Weg ]
Paketnamen

Beschreibung
Das Paket wird entfernt, wenn es am Standardspeicherort installiert wird (siehe Variable).
Zielverzeichnis von findlib.conf). Wenn sich das Paket an einem anderen Ort befindet, ist dies nicht der Fall
standardmäßig entfernt; Sie können jedoch ein alternatives Verzeichnis für Pakete übergeben
-destdir-Option. (Dies muss dasselbe Verzeichnis sein, das bei der Installation angegeben wurde.)

Beachten Sie, dass Paketverzeichnisse flach sein sollten (keine Unterverzeichnisse); Dieser Unterbefehl kann nicht
Entfernen Sie tiefe Paketverzeichnisse.

Wenn Sie ein separates Verzeichnis für META-Dateien haben, müssen Sie dieses Verzeichnis entweder konfigurieren
durch die Variable metadir von findlib.conf oder durch Angabe der Option -metadir.

Der Befehl schlägt nicht fehl, wenn das Paket und/oder die META-Datei nicht gefunden werden kann. Du wirst
Nur in diesem Fall erhalten Sie eine Warnung.

Wenn das Paketverzeichnis in der Konfigurationsdatei ld.conf für DLLs erwähnt wird, ist dies der Fall
Es wird versucht, diesen Eintrag aus der Datei zu entfernen. Der Speicherort dieser Datei kann durch überschrieben werden
die Option -ldconf. Um diese Funktion zu deaktivieren, verwenden Sie „-ldconfignore“; Dies führt dazu, dass die
Die Datei ld.conf wird nicht geändert.

Wenn ein Stublibs-Verzeichnis vorhanden ist, wird geprüft, ob das Paket Eigentümer einer der Dateien ist
in diesem Verzeichnis, und die eigenen Dateien werden gelöscht.

'Liste' UNTERBEFEHL

Zusammenfassung
ocamlfind Liste [-beschreiben]

Beschreibung
Dieser Befehl listet alle Pakete im Suchpfad auf. Die Option -describe gibt die aus
auch Paketbeschreibungen.

'printconf' UNTERBEFEHL

Zusammenfassung
ocamlfind printconf [ conf | Weg | Zielverzeichnis | Metaverzeichnis | stdlib | ldconf ]

Beschreibung
Dieser Befehl druckt die effektive Konfiguration nach dem Lesen der Konfigurationsdatei und
nach dem Anwenden der verschiedenen Umgebungsvariablen, die die Einstellungen überschreiben. Bei Anruf ohne
Argumente gibt der Befehl alle Konfigurationsoptionen in einer für Menschen lesbaren Form aus. Wann
Wird mit einem Argument aufgerufen, ohne dass nur der Wert der angeforderten Option ausgegeben wird
erklärende Texte:

conf

Gibt den Speicherort der Konfigurationsdatei findlib.conf aus

Weg

Druckt den Suchpfad für Pakete. Die Mitglieder des Pfades werden durch getrennt
Zeilenvorschübe.

Zielverzeichnis

Gibt standardmäßig den Speicherort aus, an dem Pakete installiert und entfernt werden.

Metaverzeichnis

Gibt den Speicherort aus, an dem META-Dateien installiert und entfernt werden (falls die Alternative besteht).
Layout verwendet wird).

stdlib

Gibt den Speicherort der Standardbibliothek aus.

ldconf

Gibt den Speicherort der Datei ld.conf aus

UNTERBEFEHL AUFRUF PAKET PROGRAMME

Zusammenfassung
ocamlfind pkg/cmd Argument ...

Beschreibung
Dieser Unterbefehl ist nützlich, um Programme aufzurufen, die in Paketverzeichnissen installiert sind. Es
sucht das Verzeichnis nach pkg und ruft den genannten Befehl auf cmd in diesem Verzeichnis. Der
Die restlichen Argumente werden an diesen Befehl übergeben.

argv(0) enthält den absoluten Pfad zum Befehl und argv(1) und das folgende argv
Einträge enthalten die Argumente. Das Arbeitsverzeichnis wird nicht geändert.

Beispiel: Aufrufen des Programms „x“, das im Paket „p“ installiert ist, mit den Argumenten „y“ und
„z“, ausführen:

ocamlfind p/x y z

CONFIGURATION DATEI, VARIABLEN

Die Konfigurationsdatei und Umgebungsvariablen sind in der Handbuchseite für dokumentiert
findlib.conf.

WIE TO SET WERKZEUGKETTE

Zusammenfassung
ocamlfind -Werkzeugkette Name ...

Beschreibung
Die Option -toolchain kann vor jedem anderen Befehl angegeben werden, z

ocamlfind -Werkzeugkette foo ocamlc -c Datei.ml
kompiliert file.ml mit der Toolchain „foo“. Durch die Auswahl von Toolchains kann gewechselt werden
verschiedene Befehlssätze. Beispielsweise kann die Toolchain „foo“ aus einem gepatchten ocamlc bestehen
Compiler. Informationen zum Konfigurieren von Toolchains finden Sie in findlib.conf.

Nutzen Sie ocamlfind online über die Dienste von onworks.net