文芸形式の前処理器としてcmdを使う。

Cプリプロセッサとしてcmdを使う(-cppが指定されているときのみ)

Cコンパイラとしてcmdを使う。

LLVM最適化器としてcmdを使う。

LLVMコンパイラとしてcmdを使う。

splitterとしてcmdを使う。

アセンブラとしてcmdを使う。

リンカとしてcmdを使う。

DLL生成器としてcmdを使う。

前処理器としてcmdを使う。(-Fが指定されているときのみ)

Windowsにおいて、マニフェストを埋め込むためのプログラムとしてcmdを使う。通常、これは、GHCのインストールで供給されるwindresプログラムである。4.12.6. リンクに影響するオプションの-fno-embed-manifest参照。

libtoolコマンドとしてcmdを使う(-staticlibを使っているときのみ)。

optionを文芸形式の前処理器に渡す。

optionをCPPに渡す。(-cppが有効なときのみ効果がある)

optionを用意した前処理器に渡す。(4.12.4. Haskell前処理器に影響するオプションを見よ)

optionをCコンパイラに渡す。

optionをLLVM最適化器に渡す。

optionをLLVMコンパイラに渡す。

optionをmanglerに渡す。

optionをアセンブラに渡す。

optionをリンカに渡す。

optionをDLL生成器に渡す。

Windowsにおいて、マニフェストを埋め込む際、optionをwindresに渡す。4.12.6. リンクに影響するオプションの-fno-embed-manifestを見よ。

HaskellコードがCプリプロセッサcppに通されるのは、-cppオプションが与えられたときのみである。大量の条件コンパイルのある大きなシステムを構築しているのでない限り、これが必要になることはないはずである。

通常の方法でマクロsymbolを定義する。注意: これはCを介してコンパイルするときにCコンパイラに渡される-Dマクロには影響しない。それには、-optc-Dfooというハックを使うこと。(4.12.2. 特定の段階にオプションを強制するを見よ)

通常の方法でマクロsymbolを未定義にする。

#includeファイルを探すディレクトリを、通常のCでの方法で指定する。

GHCのバージョンx.y.zでは、__GLASGOW_HASKELL__の値は定数xyyである。(yが一桁なら、前に0が追加される。例えばGHCのバージョン6.2では__GLASGOW_HASKELL__==602である)。詳しくは1.4. GHCのバージョン番号付け規則を参照。

運が良ければ、__GLASGOW_HASKELL__は、C風プリプロセスをサポートする他の処理系では定義されていないだろう。

(参考までに、他のシステムで比較に使える名前は、Hugsは__HUGS__、nhc98は__NHC__、hbcは__HBC__である。)

注意。このマクロはHaskellソースとCソースの両方のプリプロセス時に有効である。これには、Haskellモジュールから生成されたCソースも含む。(つまり、.hs、.lhs、.c、.hcの各ファイルである)

-fllvmが指定された場合にのみ定義される。GHCがLLVMのバージョンx.y.zを使っている場合、__GLASGOW_HASKELL_LLVM__の値は整数xyになる。

-parallelが使われているときのみ定義される。このシンボルはHaskell(入力)とC(GHCの出力)をプリプロセスするときに定義される。

この定義を使ってOSに基づく条件コンパイルをすることができる。ただし、osは使われているOSの名前である。(例えばlinux、Windowsではmingw32、solarisなど)

この定義を使ってホストのアーキテクチャに基づく条件コンパイルをすることができる。ただし、archは使われているアーキテクチャの名前である。(例えばi386、x86_64、powerpc、sparcなど)

Haskellソースファイルは、-Fオプションが与えられたときのみ選んだ前処理器に通される。

選んだ前処理器をコンパイル時に走らせるのは、場合によっては適切で、便利である。-Fオプションを使うと、前処理器はGHCの総合的なコンパイルパイプラインの一部として走る。このため、Haskell前処理器を別に走らせるのと比べると、解釈実行モードでもうまく動いたり、GHCの再コンパイル検査器の恩恵に浴することができるという点で有利である。

前処理器が走るのはHaskellコンパイラがHaskell入力を処理する直前、ただし文芸的マーク付けが落とされ、(場合によっては)Cプリプロセッサが入力を洗浄した後である。

-pgmF cmdを使って、前処理器として使うプログラムを選ぶことができる。起動されるとき、cmd前処理器はコマンド行から最低三つの引数を渡される。最初の引数は元のソースファイルの名前であり、二番目は入力の置かれているファイルの名前であり、三番目はcmdが出力を書き込むべきファイルの名前である。

前処理器への追加の引数は-optFオプションで渡すことができる。これらは、コマンド行において、三つの標準的な入出力引数の後に置かれる。

前処理器の例として、ソースファイルを、GHCが期待するエンコーディングに変換するというのがあげられる。つまり、以下のようなスクリプトconvert.shを作るのだ。

#!/bin/sh
( echo "{-# LINE 1 \"$2\" #-}" ; iconv -f l1 -t utf-8 $2 ) > $3

そして、GHCに-F -pgmF convert.shを渡す。-f l1オプションはあなたのLatin-1ファイル(引数$2に与えられる)を変換するように指示し、「-t uft-8」オプションはUTF-8でエンコードされたファイルを返すように指示している。結果は引数$3にリダイレクトされる。echo "{-# LINE 1 \"$2\" #-}"は、エラーがあったとき、その位置を元のソースファイルの物として報告させるようにするためのものである。

LLVMを介するのではなく、GHCのネイティブコード生成器を使ってコンパイルする。-fasmはデフォルトである。

ネイティブコード生成器を使わず、LLVMを介してコンパイルする。これは一般的に、ネイティブコード生成器に比べてやや長いコンパイル時間が掛かる。生成されたコードは一般的に、他の二つのコード生成器と同等か、それより速い。LLVMを介したコンパイルには、LLVMがパスにあることが必要である。

コード生成(と、それ以降の段階全て)を完全に省略する。コンパイルの中間段階の出力を見たいだけのときには使い道があるかもしれない。

オブジェクトコードを生成する。GHCi以外ではこれがデフォルトであり、GHCiでは、バイトコードよりもオブジェクトコードを優先して生成するようにすることができる。

オブジェクトコードの代わりにバイトコードを生成する。GHCiではこれがデフォルトである。現在、バイトコードは対話的インタプリタでのみ使え、ディスクに保存することができない。このオブションが役に立つのは、-fobject-codeの効果を反転させるときだけである。

位置独立なコード(共有ライブラリや共有バイナリに置けるコード)を生成する。これは現在、Linux x86とx86-64において動作する。Windowsでは位置独立コードは決して使われないので、このプラットフォームではこのフラグは何もしない。

コード生成に際して、別パッケージからインポートされた実体は別の共有ライブラリやバイナリにあると仮定する。

このオプションをリンク時に使うと、GHCは共有ライブラリをリンクするのに注意。

libライブラリをリンクする。Unixシステムでは、これはライブラリディレクトリパスのどこかにあるliblib.aまたはliblib.soというファイルに置かれる。

大部分のUNIXリンカは悲しい状態にあって、こういうオプションの順序に意味がある。ライブラリfooがライブラリbarを必要とするなら、一般に、コマンド行中で、-lfooは-lbarよりも前に来なければならない。

外部ライブラリを使うときに心に留めた方がいい罠がもう一つある。もしライブラリにmain()関数があるなら、これはGHCのmain()関数よりも優先して使われるということである。(例えば、libf2cやliblには独自のmain()がある)。これは、GHCのmain()がHSrtsライブラリ由来であり、通常コマンド行中で他の全てのライブラリよりも後に置かれるからである。GHCのmainが他の外部ライブラリ由来のmain()よりも優先して使われるようにするには、単に-lHSrtsオプションをコマンド行で他のライブラリよりも前に置けば良い。

リンクを省略する。--makeと併用して、プログラムにMainモジュールがあったときに行われる自動リンクを避けることができる。

Haskell「パッケージ」(4.9. パッケージ を見よ)を使っているなら、関係する-packageをリンク時にも忘れずに指定する必要がある。こうすることで、必要なライブラリがプログラムにリンクされる。-packageを忘れると何ページにもわたるリンクエラーが起こるだろう。

Darwin/OS X/iOSのみ。フレームワークnameをリンクする。このオプションはAppleのリンカの-frameworkオプションに相当する。フレームワークとパッケージは別々のものだということに注意してほしい。フレームワークはHaskellのコードを含まない。むしろ、これは共有ライブラリをパッケージ化するApple流のやりかたである。例えば、Appleの「Carbon」APIにリンクするには、-framework Carbonを使うことができる。

Darwin/OS X/iOSのみ。与えられたファイルを全て、iOS(クロスコンパイラを使っている場合)かMacのXcodeプロジェクトにリンクするのに適した静的ライブラリへとコンパイルする。名前を制御するには、通常通り-o nameを使う。デフォルトの名前はliba.aである。クロスコンパイラを使ってiOS向けのコンパイルをしている場合、ほとんど常にこれを渡すべきである。

ユーザ供給のライブラリを探す場所。ディレクトリdirをライブラリディレクトリパスの先頭に加える。

Darwin/OS X/iOSのみ。ディレクトリdirをフレームワークディレクトリパスの先頭に加える。これはAppleのリンカの-Fオプションに相当する。(GHCでは-Fは別のものに使用済みである)

通常生成されるような単一のオブジェクトファイルを分割して、モジュール中のHaskell関数や型一つずつにオブジェクトファイルを生成するようにリンカに指示する。これはライブラリに対してのみ意味を持つ。この場合、そのライブラリにリンクされる実行ファイルは、必要なオブジェクトファイルとのみリンクされるので、よりファイルサイズが小さくなる。しかし、全てのセクションを別々に組み立てるのは高価なので、これはふつうにコンパイルするよりも遅い。我々はこの機能をGHCのライブラリをビルドするのに使っている。(警告: 自分が何をしているか分かっているのでない限り、このオプションを使わないように！)

可能なら共有Haskellライブラリを避けるようにリンカに指示する。これはデフォルトである。

このオプションは、Haskellの共有ライブラリをリンクするようにGHCに指示する。このフラグは依存するライブラリの選択に影響するだけであり、現在作っているものの形式には影響しない(-sharedを見よ)。作り方に関しては4.13. 共有ライブラリを使うを見よ。

このオプションはコード生成にも影響を与えることに注意。(上記参照)

このフラグが与えられると、実行可能形式を作る代わりにGHCは共有オブジェクトを生み出す。対象のOSによって、これはELF DSOだったり、Windows DLLだったり、Mac OSのdylibだったりする。GHCはこの統一フラグのもとにOSの詳細を隠す。

生成される共有オブジェクトが-packageオプションで与えられたHaskellのパッケージライブラリに静的にリンクされるか動的にリンクされるかは、-dynamic/-staticフラグによって制御される。Haskell以外のライブラリはそのシステムでgccが通常にリンクするのと同じようにリンクされる。例えば、大部分のELFシステムでは、動的ライブラリが見つかった場合はそれが使われる。

共有オブジェクトへとリンクされるオブジェクトファイルは-fPICでコンパイルされなければならない。4.12.5. コード生成に影響するオプションを見よ。

Haskellパッケージのために共有オブジェクトを作る場合、そのパッケージにリンクされるときにGHCがその共有オブジェクトを認識できるように、その共有オブジェクトには正しい名前が付けられねばならない。共有オブジェクトの名前manglingを見よ。

このフラグは、実行時に共有ライブラリを探すときのいくつかの方式から一つを選ぶものである。それぞれの方式については4.13.4. 実行時における共有ライブラリの発見を見よ。

Haskellの通常の規則では、プログラムはMainのmain関数を供給する必要がある。テスト時には、どの関数が「主要な(main)」ものであるかを変えられると便利であり、これを可能にするのが-main-isフラグである。thingは次のうちいずれかである。

厳密に言うと、-main-isはそもそもリンク時フラグではない。リンク段階ではなんの効果も及ぼさない。このフラグは、指定されたmain関数のあるモジュール(例えば上記のうち後ろ二つではAである)をコンパイルするときに指定する必要がある。他のモジュールには影響がないので、ghc --makeに与えても安全である。ただし、main関数の指定を変更したとき、どのモジュールにもそれ以外に変更がないなら、新旧両方の「main」のモジュールを強制的に再コンパイルさせないといけない。ghcはこれらが両方とも再コンパイルを要していると判断できるほど賢くないのである。再コンパイルを強制するには、オブジェクトファイルを削除しても良いし、-fforce-recompフラグを使っても良い。

ghcでコンパイルされたコードを別の(非Haskellの)プログラムの一部として使いたいときは、RTSはmain()の定義をリンク時に供給せず、あなたが供給せねばならない。このことをリンク時にコンパイラに伝えるのが-no-hs-mainである。8.2.1.1. 自分で用意したmain()を使うも見よ。

リンカにわたされるコマンド行はかなり複雑なので、複数言語のアプリケーションの最終リンクにはghcを使うのが良いだろう。ただしこれは必須ではない。ドライバがどんなオプションをリンカに渡しているかを見るには一度-v付きでリンクしてみるだけで良い。

-no-hs-mainフラグは、--makeモードにおいて、HaskellのMainモジュールがないときでもコンパイラにリンクを行わせるために使うこともできる。(通常、Mainがないときはコンパイラはリンクを試みない)

-rtsoptsおよび-with-rtsoptsフラグは、GHCが生成するmainの定義を変更することで実装されているので、-no-hs-mainと共に使われると効果がない。自分のmainを使っている場合に-rtsoptsと-with-rtsoptsの効果を得る方法については8.2.1.1. 自分で用意したmain()を使うを見よ。

プログラムをデバッグ版のランタイムシステムにリンクする。デバッグランタイムは大量のアサーションと正気度チェックを有効にし、実行時にデバッグ出力を生成するためのオプションを提供する。(一覧を見るにはプログラムを+RTS -?付きで実行せよ)

プログラムを「スレッド化された」版のランタイムシステムにリンクする。スレッド化ランタイムシステムは複数のOSスレッドを管理するのでこう呼ばれる。これに対して、デフォルトのランタイムシステムは純粋に単一スレッドである。

並行性を使うのに-threadedは必要ない。単一スレッドのランタイムはHaskellスレッド間の並行性をちゃんと扱う。

スレッド化ランタイムシステムには次のような利点がある。

プログラムを"eventlog"版のランタイムシステムにリンクする。この方法でリンクされたプログラムは、実行時にイベント(スレッドの開始/停止など)の追跡情報をprogram.eventlogというバイナリファイルに生成することができる。このファイルは後でいろいろなツールによって解釈できる。さらなる情報は4.17.6. 追跡情報を得るを見よ。

-eventlogは-threadedと併用することができる。また-debugによって自動的に有効になる。

このオプションは、コマンド行やGHCRTSで与えられるRTS制御オプションの処理に影響する。可能なのは以下の三つ。

GHC 6.12.3以前では、全てのRTSオプションを処理するのがデフォルトだった。しかし、RTSオプションは任意のファイルに対するログデータの書き込みを、実行プログラムのコンテキストで許すので、セキュリティ上の問題が発生する余地がある。このため、GHC 7.0.1以降のデフォルトは-rtsopts=someである。

-rtsoptsは、-no-hs-mainを使っているときには効果がないことに注意。詳細は8.2.1.1. 自分で用意したmain()を使うを見よ。

このオプションは、RTSオプションのデフォルトをリンク時に設定できるようにする。例えば、-with-rtsopts="-H128m"はヒープのデフォルトの大きさを128MBにする。このプログラムのデフォルトのヒープサイズは、ユーザによって上書きされない限り、常にこれになる。(-rtsoptsオプションの設定によっては、ユーザが実行時にRTSオプションを設定することができないかもしれない。その場合には-with-rtsoptsがそれを設定する唯一の方法である。)

-with-rtsoptsは、-no-hs-mainを使っているときには効果がないことに注意。詳細は8.2.1.1. 自分で用意したmain()を使うを見よ。

Windowsでは、バイナリをリンクする際、GHCは通常マニフェストファイルを生成する。マニフェストはprog.exe.manifestというファイルに置かれる。ここで、prog.exeが実行ファイルの名前である。現在、このマニフェストファイルの役割は唯一つである。Windows Vistaにおける「インストーラの検知」を無効にするのだ。(これは、ある種の名前(例えば、「install」「setup」「patch」を含む名前)の実行ファイルの権限を昇格させようとするものだ)。マニフェストファイルを使ってインストーラ検知を無効にしないと、Windowsがインストーラだと見なした実行ファイルを実行しようと試みた場合、起動者にパーミッションエラーのコードが返されることになる。この結果、起動者によって、ユーザに昇格の許可を求めるダイアログボックスを表示したり、単に権限不足のエラーになるかもしれない。

インストーラ検知は、セキュリティコントロールパネルを使って大域的に無効にすることもできるが、GHCはデフォルトで、ユーザがインストーラ検知を無効にしてあることに依存しないバイナリを生成する。

-fno-gen-manifestはこのマニフェストファイルの生成を無効にする。こうすることの一つの理由としては、例えば自分でマニフェストファイルを用意した場合というのがあるだろう。

将来的には、GHCはマニフェストファイルをもっと多くのことに使うようになるかもしれない。依存しているDLLの位置を指定するなど。

-fno-gen-manifestは-fno-embed-manifestも有効にする。下記参照。

WindowsにおいてGHCがバイナリのリンク時に生成するマニフェストファイルは、デフォルトで、実行ファイル自体に埋め込まれる。これによって、バイナリを、マニフェストファイルを同時に供給する必要なしで配布することができる。この埋め込みは、windresを走らせることによって為される。マニフェストを埋め込むためにGHCが何をしているが正確に知るには、-vフラグを使うとよい。このために、GHCのインストールにはwindresのコピーが付属している。

-pgmwindres(4.12.1. それぞれの段階で使われるプログラムを変更する)と-optwindres(4.12.2. 特定の段階にオプションを強制する)も参照。

Darwin/OS Xでは、動的ライブラリにはビルド時に「install name」が付加される。これは、そのライブラリの最終的なインストールパスである。後にこのライブラリをリンクするライブラリや実行ファイルは、このライブラリを実行時に探索する場所としてこのパスを選ぶ。デフォルトでは、ghcはライブラリがビルドされた場所をinstall nameとして設定する。このオプションは、指定したパスでそれを上書きすることを可能にする。(Appleのリンカに-install_nameを渡すものである)。他のプラットフォームでは無視される。