summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2015-06-23 10:20:04 +0000
committerhallgren <hallgren@chalmers.se>2015-06-23 10:20:04 +0000
commit72237e6fff674c154dbe98efcdb0136355025cdb (patch)
treed3f89c320fd12fb407dedb22f83729a25a9305c0
parente340b415c71e766966d10b4aad3e3636a1923b1d (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.
-rw-r--r--doc/gf-developers.t2t23
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: