diff options
| author | Roberto Bagnara <bagnara@cs.unipr.it> | 2009-01-24 16:22:16 +0000 |
|---|---|---|
| committer | Roberto Bagnara <bagnara@cs.unipr.it> | 2009-01-24 16:22:16 +0000 |
| commit | 9452111b9ab9329bd52dfbf4d08bbd61eab10777 (patch) | |
| tree | caeccadb4491147d6e969c6bfb321aba1da3d602 /NEWS | |
| parent | 453bbf4481459343350372add5746bf948e21623 (diff) | |
| download | ppl-9452111b9ab9329bd52dfbf4d08bbd61eab10777.tar.gz ppl-9452111b9ab9329bd52dfbf4d08bbd61eab10777.tar.bz2 ppl-9452111b9ab9329bd52dfbf4d08bbd61eab10777.zip | |
Wording improved.
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -24,8 +24,9 @@ o New configuration option `--with-mlgmp=DIR' allows to specify the installation directory of the ML GMP package. o The configuration script now explicitly checks that a recent enough - version of GNU M4 is available (in previous versions this check was - not performed and building the library could fail in a mysterious way). + version of GNU M4 is available if at least one non-C++ interface is + enabled (in previous versions this check was not performed and + building the library could fail in a mysterious way). Bugfixes |