Changes between Version 4 and Version 5 of Building/Architecture/Idiom/PlatformNames


Ignore:
Timestamp:
Jan 3, 2012 1:12:57 AM (4 years ago)
Author:
heisenbug
Comment:

even better

Legend:

Unmodified
Added
Removed
Modified
  • Building/Architecture/Idiom/PlatformNames

    v4 v5  
    1818{{{--build}}}, {{{--host}}}, and
    1919{{{--target}}} options.  The {{{mk/project.mk}}}
    20 file, which is generated by `configure` from [[GhcFile(mk/project.mk.in)]], defines several symbols related to the platform settings.
     20file, which is generated by `configure` from [source:mk/project.mk.in], defines several symbols related to the platform settings.
    2121
    2222We don't currently support build and host being different, because
     
    3131
    3232More details on when to use BUILD, HOST or TARGET can be found in
    33 the comments in [[GhcFile(mk/project.mk.in)]].
     33the comments in [source:mk/project.mk.in].