これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、または MAC OS オンライン エミュレーターなどの複数の無料オンライン ワークステーションの 5 つを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド camlpXNUMX です。
プログラム：
NAME
camlp5 - ocaml 用プリプロセッサプリティプリンタ
mkcamlp5 - カスタム camlp5 を作成する
mkcamlp5.opt - カスタム camlp5 の作成 (ネイティブ コード)
ocpp5 - ユニバーサル プリプロセッサ
SYNOPSIS
カムルプ5 [ ロードオプション ] [--] [ その他のオプション ]
カムルプ5o [ ロードオプション ] [--] [ その他のオプション ]
カムルプ5r [ ロードオプション ] [--] [ その他のオプション ]
カムルプ5sch [ ロードオプション ] [--] [ その他のオプション ]
camlp5o.cma
camlp5r.cma
camlp5sch.cma
mkcamlp5
mkcamlp5.opt
ocpp5 [ ロードオプション ] ファイル
camlp5o.opt [ - ] [ その他のオプション ]
camlp5r.opt [ - ] [ その他のオプション ]
DESCRIPTION
カムルプ5 OCaml のプリプロセッサ - プリティ プリンタであり、ソース ファイルを解析して印刷します。
一部の結果は標準出力に出力されます。
カムルプ5o、 カムルプ5r カムルプ5sch のバージョンです カムルプ5 いくつかのファイルはすでにロードされています（「
さらに遠く）。
camlp5o.cma、 camlp5r.cma camlp5sch.cma ocamlのトップレベルにロードして使用するファイルです
camlp5 機械
mkcamlp5 mkcamlp5.opt とほぼ同じオプションを使用して camlp5 実行可能ファイルを作成します。
オカムムクトップ。 詳細を参照してください。
ocpp5 あらゆる種類のソース ファイルを処理し、同じファイルを生成するユニバーサル プリプロセッサです。
引用符が展開されたテキスト。
camlp5o.opt camlp5r.opt ネイティブによってコンパイルされた camlp5o および camlp5r のバージョンです。
コードコンパイラ ocamlopt。 これらは高速ですが、拡張性がありません。 そしてそれらは利用できません
camlp5 のすべてのインストール。
負荷 OPTIONS
ロード オプションでは、OCaml オブジェクト ファイルに記録されたアクションの解析と印刷を選択します
(末尾は .cmo または .cma)。 これらのオプションのいくつかの使用が許可されています。 彼らは〜するべきだ
他のオプションの前に置きます。
オプション -- ロードオプションを終了する場合があります。
-I ディレクトリにジョブを開始します。
追加 ディレクトリにジョブを開始します。 ロードされたファイルの検索パス内。 -nolib オプションが指定されていない限り、
使用すると、camlp5 ライブラリ ディレクトリがパスに追加されます。 警告: ありません
現在のディレクトリ内の自動検索: 「-I」を追加します。 このため。
-どこ camlp5 ライブラリのディレクトリ名を出力して終了します。
-nolib camlp5 ライブラリ ディレクトリ内のオブジェクト ファイルの自動検索は行われません。
オブジェクトファイル
ファイルは camlp5 コアにロードされます。
その他 OPTIONS
他のオプションは次のとおりです。
file 扱う file .mli で終わる場合はインターフェイス ファイルとして、実装ファイルとして
.ml で終わる場合。
-intf file
扱う file 拡張子に関係なく、インターフェイス ファイルとして。
-impl file
扱う file 拡張子に関係なく、実装ファイルとして。
-安全ではない
配列および文字列への安全でないアクセスを生成します。
-noassert
アサーション チェックをコンパイルしません。
-詳細
解析エラーがより詳細に表示されます。
-QD file
ダンプイン file 引用展開の結果に構文エラーがあった場合。
-o アウトファイル
結果を標準出力ではなく出力ファイルに出力します。 ファイルは次で開かれます
open_out_bin (OCaml ライブラリ Pervasives を参照)。
-v バージョン番号を出力して終了します。
-助けて 利用可能なオプションを出力して終了します。 このプリントにはオプションが含まれている可能性があります
ロードされたオブジェクトファイルによって追加されます。
他のオプションは、ロードされたオブジェクト ファイルによって拡張できます。 提供されたファイルには、
次のオプション：
-l 線の長さ
pr_o.cmo および pr_r.cmo によって追加: 行の長さを設定します (デフォルトは 78)。
-XNUMX月 string
pr_o.cmo と pr_r.cmo によって追加されました: の代わりにフレーズ間にこの文字列を出力します。
コメント。
-no_ss pr_o.cmo によって追加: 二重セミコロンを出力しない
-D IDENT
pa_macro.cmo によって追加: ID を定義します。
-U IDENT
pa_macro.cmo によって追加されました: ident の定義を解除します。
提供 ファイル
これらのファイルは、ディレクトリ /usr/lib/ocaml/camlp5 にインストールされます。
ファイルを解析しています:
pa_r.cmo: 改訂された構文
pa_rp.cmo: ストリームとパーサー
pa_lexer.cmo: レクサー
pa_o.cmo: 通常の構文
pa_op.cmo: ストリームとパーサー
pa_oop.cmo: ストリームとパーサー (コード最適化なし)
pa_scheme.cmo: スキームの構文
pa_extend.cmo: 文法の構文拡張
pa_extfold.cmo: FOLD0 および FOLD1 による pa_extend の拡張
pa_extfun.cmo: 拡張可能な関数の構文拡張
pa_extprint.cmo: 拡張可能なプリンター用の構文拡張
pa_pprintf.cmo: pprintf ステートメントの構文拡張
pa_fstream.cmo: 機能ストリームの構文拡張
pa_macro.cmo: C のようなマクロ (ifdef、define) を追加します。
pa_lefteval.cmo: パラメータの左から右への評価
pa_pragma.cmo: ディレクティブ #pragma
ファイルの印刷:
pr_r.cmo: オブジェクトとラベルを含まない改訂された構文
pr_ro.cmo: オブジェクトとラベルの構文を修正
pr_rp.cmo: ストリームとパーサーの構文を再構築してみる
pr_o.cmo: 通常の構文
pr_op.cmo: ストリームとパーサーの構文を再構築してみる
pr_scheme.cmo: スキームの構文
pr_schemep.cmo: ストリームとパーサーの構文を再構築してみる
pr_extend.cmo: EXTEND ステートメントの再構築を試行します
pr_extfun.cmo: extfun ステートメントの再構築を試みます
pr_extprint.cmo: EXTEND_PRINTER ステートメントの再構築を試行します
pr_dump.cmo: ocaml コンパイラのダンプ構文ツリー
pr_depend.cmo: ファイルの依存関係
pr_null.cmo: 出力なし
引用展開:
q_MLast.cmo: 構文ツリー ノード (改訂された構文)
q_ast.cmo: ユーザー完全構文の構文ツリー ノード
q_phony.cmo: きれいに印刷するために引用符を保持する
コマンド カムルプ5o のショートカットです：
camlp5 pa_o.cmo pa_op.cmo pr_dump.cmo
コマンド カムルプ5r のショートカットです：
camlp5 pa_r.cmo pa_rp.cmo pr_dump.cmo
コマンド カムルプ5sch のショートカットです：
camlp5 pa_scheme.cmo pr_dump.cmo
ファイル camlp5o.cma トップレベルにロードして、OCaml 構文で camlp5 を起動できます。
ファイル camlp5r.cma トップレベルにロードして、改訂された構文で camlp5 を起動できます。
ファイル camlp5sch.cma トップレベルにロードして、Scheme 構文で camlp5 を起動できます。
MKCAMLP5
mkcamlp5 mkcamlp5.opt とほぼ同じオプションを使用して camlp5 実行可能ファイルを作成します。
オカムムクトップ。 バージョン mkcamlp5.opt ネイティブ コードの実行可能ファイルをより高速に作成できますが、
拡張可能。
mkcamlp5 の場合、表示されるインターフェイスは次のようにコマンド ラインに明示的に追加する必要があります。
「.cmi」ファイル。 たとえば、OCaml モジュール「str」を追加する方法は次のとおりです。
mkcamlp5 -custom str.cmi str.cma -cclib -lstr -o camlp5str
ENVIRONMENT 変数
次の環境変数も参照されます。
CAMLP5PARAM
文法解析アルゴリズムのパラメータを設定します。 この変数は次のシーケンスである必要があります。
パラメータの仕様。 パラメータ指定は文字です（オプション）
その後に = と値が続きます。 可能なパラメータは次の XNUMX つです。
b （後戻り）
バックトラックアルゴリズムをデフォルトとして設定します。
t （痕跡）
バックトラッキングを使用して解析中にシンボル (終端および非終端) をトレースします。
y (トレース停止)
バックトラッキングでは、入力ストリームの進行状況 (凍結されていないトークンの数) を追跡します。
停止の可能性 (トークンテストの数)。
l (最大失速)
最大ストール値を設定します。
onworks.net サービスを使用してオンラインで camlp5 を使用する
