diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-19T14·51+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-19T14·51+0000 |
| commit | f3b8833a48472c3545ea8673d687ea9cadcedd61 (patch) | |
| tree | 3143fb3d27d506864c72770492dcf01d85e21c80 /doc | |
| parent | efc7a579e880ec15ebe9afc0d8766c85c7d53ec2 (diff) | |
* Drop the dependency on the ATerm library.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual/installation.xml | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/doc/manual/installation.xml b/doc/manual/installation.xml index a1b99ca2e812..bc5e21f0d39a 100644 --- a/doc/manual/installation.xml +++ b/doc/manual/installation.xml @@ -96,15 +96,13 @@ ubiquitous 2.5.4a won't. Note that these are only required if you modify the parser or when you are building from the Subversion repository.</para> -<para>Nix uses CWI's ATerm library and the bzip2 compressor (including -the bzip2 library). These are included in the Nix source -distribution. If you build from the Subversion repository, you must -download them yourself and place them in the -<filename>externals/</filename> directory. See +<para>Nix uses the bzip2 compressor (including the bzip2 library). It +is included in the Nix source distribution. If you build from the +Subversion repository, you must download it yourself and place it in +the <filename>externals/</filename> directory. See <filename>externals/Makefile.am</filename> for the precise URLs of -these packages. Alternatively, if you already have them installed, -you can use <command>configure</command>'s -<option>--with-aterm</option> and <option>--with-bzip2</option> +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> </section> |