9.1 オプション

ocaml コマンドの認識するコマンドラインオプションは以下の通りです。

-I directory

ソースファイル、コンパイル済みファイルの探索パスに与えられたディレクトリを追加します。 デフォルトでは、まずカレントディレクトリから探索し、それから標準ライブラリディレクトリを探索します。 -I で追加されたディレクトリは、カレントディレクトリより後、標準ライブラリディレクトリより前に、コマンドラインに与えた順に探索します。

ディレクトリ名が + で始まっていた場合は、標準ライブラリディレクトリからの相対パスとして扱われます。 例えば、 -I +labltk は標準ライブラリディレクトリのサブディレクトリ labltk を探索パスに追加します。

#directory 指示子を使うと、トップレベル起動中にもディレクトリを探索リストに追加することができます( 9.2 節「トップレベル指示子」)。

-init file

デフォルトの初期化ファイルの代わりに指定されたファイルを読み込みます。 デフォルトのファイルは、カレントディレクトリに .ocamlinit が存在すればそのファイル、存在ない場合には、ユーザーのホームディレクトリの .ocamlinit ファイルになります。

-labels

型中のラベルは無視されず、関数適用でラベルを使うことができ、ラベル付きの引数を任意の順序で与えることができます。 これがデフォルトです。

-noassert

assert の検査をコンパイルしません。 このとき、特別な形として assert false は常にコンパイルされることに注意してください。 この式には特別な型付け規則が存在するからです。

-nolabels

型中の省略可能引数以外のラベルを無視します。適用時にラベルを使用することはできず、引数の順序が厳格になります。

-noprompt

入力待ちのときにプロンプトを表示しません。

-nostdlib

ソースファイルとコンパイル済みファイルを探索するディレクトリのリストに標準ライブラリのディレクトリを含めないようにします。

-principal

型チェックの際に information path をチェックし、すべての型がもっとも一般的な型として導出されているか確認します。 ラベル付き引数や多相メソッドを使用している場合は、コンパイラの将来のバージョンでアルゴリズムが変更された場合でも、正しく型を推論できることを保証するためにこのフラグを指定する必要があります。 -principal モードで受理されたプログラムはすべて、デフォルトの場合でも等価な型として受理されます。 ただし、この場合でもバイナリのシグネチャは異なりますし、型検査が低速化するかもしれません。 とはいうものの、ソースコードを公開する前に一度このオプションを試してみるのはよいことでしょう。

-rectypes

型検査時に任意の再帰型を認めます。 デフォルトではオブジェクト型を経由する再帰型のみがサポートされます。

-unsafe

8 章「バッチコンパイル(ocamlcocamlc の同名のオプションを参照してください。 v.(i) 構文や s.[i] 構文を使った配列や文字列へのアクセスの際の境界チェックを無効にします。 このため、 -unsafe オプションを使ってコンパイルしたプログラムは若干高速になりますが、安全ではありません。 プログラムが配列や文字列の境界外にアクセスした場合に何が起こるかはわかりません。

-version

バージョン文字列を表示し、終了します。

-vnum

コンパイラのバージョン番号を短かい形式で表示して終了します。

-w warning-list

warning-list 引数に従って警告を有効/無効にします。 引数の構文については 8.2 節「オプション 」 を参照してください。

-warn-error warning-list

warning-list 引数で有効にした警告をエラーとして扱います。 引数の構文については 8.2 節「オプション 」 を参照してください。

-help または --help

簡単な使用法を表示して終了します。

[注記]Unix

以下の環境変数も参照します。

LC_CTYPE

iso_8859_1 に設定されていると文字列リテラルや文字リテラル中の ISO Latin-1 文字集合のアクセント付き文字がそのまま表示されます。 それ以外の場合には、アクセント付き文字は十進のエスケープシーケンスで \ddd と表示されます。

TERM

エラーメッセージを表示する際に、トップレベルシステムはエラーの起こった箇所に下線を表示しようとします。 このとき、 TERM の値を参照して端末の種類を特定し、端末データベースから下線表示機能を検索します。

HOME

.ocamlinit ファイルを検索するディレクトリです。