diff options
| author | hallgren <hallgren@chalmers.se> | 2015-06-23 10:20:04 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-06-23 10:20:04 +0000 |
| commit | 72237e6fff674c154dbe98efcdb0136355025cdb (patch) | |
| tree | d3f89c320fd12fb407dedb22f83729a25a9305c0 /doc/gf-developers.t2t | |
| parent | e340b415c71e766966d10b4aad3e3636a1923b1d (diff) | |
doc/gf-developers.t2t: add a note about parallel builds
Also added a note that partial builds (cabal build rgl-none, etc) doesn't work
with newer versions of cabal.
Diffstat (limited to 'doc/gf-developers.t2t')
| -rw-r--r-- | doc/gf-developers.t2t | 23 |
1 files changed, 22 insertions, 1 deletions
diff --git a/doc/gf-developers.t2t b/doc/gf-developers.t2t index 3bbc722cf..da986b8c9 100644 --- a/doc/gf-developers.t2t +++ b/doc/gf-developers.t2t @@ -4,7 +4,7 @@ Last update: %%mtime(%F, %H:%M) % NOTE: this is a txt2tags file. % Create an html file from this file using: -% txt2tags -t html --toc darcs.txt +% txt2tags -t html gf-developers.t2t %!style:../css/style.css %!target:html @@ -285,6 +285,27 @@ $ cabal build Again you can add the option ``-v`` if you want to see more details. +==== Parallel builds ==== + +If you have Cabal>=1.20 you can enable parallel compilation by using + +``` +$ cabal build -j +``` + +or by putting a line ``jobs: $ncpus`` in your ``.cabal/config`` file. Cabal +will pass this option to GHC when building the GF compiler, but only if you +have GHC>=7.8. Cabal can also pass this option to GF when compiling the +Resource Grammar Library, but the code is commented out by default to avoid +causing problems for developers with Cabal<1.20, so you have to manually +enable it by editing the last few lines in ``WebSetup.hs``. + + +==== Partial builds ==== + +**NOTE**: The following doesn't work with recent versions of ``cabal``. +%% // TH 2015-06-22 + Sometimes you just want to work on the GF compiler and don't want to recompile the resource library after each change. In this case use this extended command: |
