Changes between Version 7 and Version 8 of Development/DevBuilds


Ignore:
Timestamp:
Dec 5, 2012, 11:27:25 AM (7 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Development/DevBuilds

    v7 v8  
    1414The build can be tweaked by creating the file `make/config-override.mk`. Note that you don't want to change `make/config.mk` directly because this file is under version control.
    1515
    16 ==== Build Flavour ====
     16=== Build Flavour ===
    1717
    1818The  {{{make/config.mk}}} file lists a number of additional build flavours. For the fastest build add the following line to `make/config-override.mk`.
     
    2424This turns off some GHC optimisations, and reduces the amount of rebuilding that must be done after changing one of the compiler source files.
    2525
    26 ==== Parallel Builds ====
     26=== Parallel Builds ===
    2727
    2828The makefile is set up to use the value of the `THREADS` variable wherever possible.