diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-11-16T12·49+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-11-16T12·49+0000 |
| commit | fb9368b5a0b2457b28f19d4902bc0790123338a2 (patch) | |
| tree | 8e0d68ccc2951c44cfd442b3dad261e190127013 /doc/manual/installation.xml | |
| parent | 64fd29855a8ae49cacdaff424679821b4fd3bf57 (diff) | |
| parent | 4aced7f8d0d5d2c1057b0f46a70a37a577f81fa5 (diff) | |
* Sync with the trunk.
Diffstat (limited to 'doc/manual/installation.xml')
| -rw-r--r-- | doc/manual/installation.xml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/manual/installation.xml b/doc/manual/installation.xml index bc5e21f0d39a..87a6c446a2d5 100644 --- a/doc/manual/installation.xml +++ b/doc/manual/installation.xml @@ -105,6 +105,13 @@ this packages. Alternatively, if you already have it installed, you can use <command>configure</command>'s <option>--with-bzip2</option> options to point to their respective locations.</para> +<para>Nix can optionally use the <link +xlink:href="http://www.hpl.hp.com/personal/Hans_Boehm/gc/">Boehm +garbage collector</link> to reduce the evaluator’s memory consumption. +To enable it, install <literal>pkgconfig</literal> and the Boehm +garbage collector, and pass the flag <option>--enable-gc</option> to +<command>configure</command>.</para> + </section> |