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


Ignore:
Timestamp:
Jan 3, 2012 1:12:57 AM (3 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].