projects
/
fplll.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
15b4734
)
Add a missing substitution
author
Debian Math Team
<team+math@tracker.debian.org>
Mon, 30 May 2022 13:51:40 +0000
(14:51 +0100)
committer
Julien Puydt
<jpuydt@debian.org>
Mon, 30 May 2022 13:51:40 +0000
(14:51 +0100)
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 ce701927c23baacce4f6614cd26583397ebf4a62..8f39a498d820947c4c736bb3076937e4bcd40739 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"