[PATCH 2/3] doc: clarify that the --with-gmp-* configure options take a path argument

[skim...@kotnet.org]

From: Sven Verdoolaege <sven.ver...@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.ver...@gmail.com>
---
doc/user.pod | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/user.pod b/doc/user.pod
index 6ac2ff7883..c9cf999a9a 100644
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -422,11 +422,11 @@ for values out of the 32 bit range. In most applications, C<isl> will run
fastest with the C<imath-32> option, followed by C<gmp> and C<imath>, the
slowest.

-=item C<--with-gmp-prefix>
+=item C<--with-gmp-prefix=>I<path>

Installation prefix for C<GMP> (architecture-independent files).

-=item C<--with-gmp-exec-prefix>
+=item C<--with-gmp-exec-prefix=>I<path>

Installation prefix for C<GMP> (architecture-dependent files).

--
2.25.1

[skim...@kotnet.org]

From: Sven Verdoolaege <sven.ver...@gmail.com>

Requested-by: Andrei Lascu <alas....@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.ver...@gmail.com>
---

doc/user.pod | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/doc/user.pod b/doc/user.pod
index cabe2261c3..6ac2ff7883 100644
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -436,7 +436,11 @@ Installation prefix for C<GMP> (architecture-dependent files).

make

-=item 4 Install (optional)
+=item 4 Test (optional)
+
+ make check
+
+=item 5 Install (optional)

make install

--
2.25.1

[skim...@kotnet.org]

From: Sven Verdoolaege <sven.ver...@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.ver...@gmail.com>
---

doc/user.pod | 31 +++++++++++++++++++++++++++++++
1 file changed, 31 insertions(+)

diff --git a/doc/user.pod b/doc/user.pod
index c9cf999a9a..36d46f33c3 100644
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -446,6 +446,37 @@ Installation prefix for C<GMP> (architecture-dependent files).

=back

+=head2 Building the foreign language bindings
+
+The tarball already contains the generated foreign language bindings,
+but they are not included in the git repository.
+Building the C++ and Python bindings relies on the LLVM/clang libraries,
+see C<http://clang.llvm.org/get_started.html>.
+The C<configure> script will not assume that these are available
+on the system.
+To enable building the foreign language bindings,
+one of the following options needs to be specified.
+
+=over
+
+=item C<--with-clang=system>
+
+Use the system clang libraries (installed in a default location).
+
+=item C<--with-clang-prefix=>I<path>
+
+Use the system clang libraries installed in I<path>.
+
+=back
+
+It is best to use the latest release of the clang libraries (12.0),
+although any release since 2.9 should work as well.
+Note that if you build the clang libraries from source,
+then you need to make sure they are also installed (using C<make install>).
+If the compiler that was used to compile the clang libraries
+is different from the default C++ compiler, then use C<CXX_FOR_BUILD>
+to specify this non-default C++ compiler when running C<isl>'s C<./configure>.
+
=head1 Integer Set Library

=head2 Memory Management
--
2.25.1