... | ... | @@ -21,7 +21,7 @@ These platforms are set when running the |
|
|
`configure` script, using the
|
|
|
`--build`, `--host`, and
|
|
|
`--target` options. The `mk/project.mk`
|
|
|
file, which is generated by `configure` from [mk/project.mk.in](/trac/ghc/browser/ghc/mk/project.mk.in), defines several symbols related to the platform settings.
|
|
|
file, which is generated by `configure` from [mk/project.mk.in](/trac/ghc/browser/mk/project.mk.in)[](/trac/ghc/export/HEAD/ghc/mk/project.mk.in), defines several symbols related to the platform settings.
|
|
|
|
|
|
|
|
|
We don't currently support build and host being different, because
|
... | ... | @@ -37,4 +37,4 @@ will be built as HC files for the target system (see [Porting GHC](building/port |
|
|
|
|
|
|
|
|
More details on when to use BUILD, HOST or TARGET can be found in
|
|
|
the comments in [mk/project.mk.in](/trac/ghc/browser/ghc/mk/project.mk.in). |
|
|
the comments in [mk/project.mk.in](/trac/ghc/browser/mk/project.mk.in)[](/trac/ghc/export/HEAD/ghc/mk/project.mk.in). |