projects
/
fplll.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
dfe8ec1
)
Add a missing substitution
author
Debian Math Team
<team+math@tracker.debian.org>
Mon, 16 Jan 2023 08:31:36 +0000
(08:31 +0000)
committer
Julien Puydt
<jpuydt@debian.org>
Mon, 16 Jan 2023 08:31:36 +0000
(08:31 +0000)
Forwarded: https://github.com/fplll/fplll/issues/356
Gbp-Pq: Name libgmp_subst.patch
configure.ac
patch
|
blob
|
history
diff --git
a/configure.ac
b/configure.ac
index 33272176882e6ff2395036a71eeb512b2fb171c8..2b315e691eca12e8c5c8c21f052c862b6117d08c 100644
(file)
--- a/
configure.ac
+++ b/
configure.ac
@@
-84,6
+84,8
@@
AS_IF([test "x$enable_mpir" != "xyes"], [
[GMP version >= 4.2.0 needed, see http://gmplib.org])])
])
+AC_SUBST(LIBGMP)
+
AC_ARG_WITH(mpfr,
AS_HELP_STRING([--with-mpfr=@<:@=DIR@:>@], [MPFR install directory]), [
CPPFLAGS="$CPPFLAGS -I$withval/include"