summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-09-14 12:59:37 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-09-14 12:59:37 +0000
commit6610fa56325969b56ce36be3a4e9cc27433b5a1c (patch)
tree52c49264f28302db6563ec25a284435d65ac9856
parenta4b981eea416fb8feb22a82aaade3fca8d26d717 (diff)
downloadmpfr-6610fa56325969b56ce36be3a4e9cc27433b5a1c.tar.gz
[configure.ac] Define MINI_GMP Automake conditional (AM_CONDITIONAL).
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/with-mini-gmp@13193 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--configure.ac3
1 files changed, 3 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac
index da0b494ff..a8ceafa9d 100644
--- a/configure.ac
+++ b/configure.ac
@@ -222,6 +222,9 @@ AC_ARG_ENABLE(tune-for-coverage,
*) AC_MSG_ERROR([bad value for --enable-tune-for-coverage]) ;;
esac])
+dnl Makefile.am files can use "if MINI_GMP" / ... / "endif".
+AM_CONDITIONAL([MINI_GMP], [test "$use_mini_gmp" = yes])
+
dnl
dnl Setup CC and CFLAGS