summaryrefslogtreecommitdiff
path: root/configure.ac
diff options
context:
space:
mode:
authorSven Verdoolaege <skimo@purples.(none)>2009-09-05 14:53:04 +0200
committerSven Verdoolaege <skimo@purples.(none)>2009-09-06 17:53:52 +0200
commit33d5313cbb338abcab53ad7cadcefdaad526d9ac (patch)
treedc2d02a686a1ddf9af1c5e77eee1f2670c00afd1 /configure.ac
parent440e08d3978df27037ab602d02c6d31cd48135cc (diff)
downloadisl-33d5313cbb338abcab53ad7cadcefdaad526d9ac.tar.gz
isl-33d5313cbb338abcab53ad7cadcefdaad526d9ac.tar.bz2
isl-33d5313cbb338abcab53ad7cadcefdaad526d9ac.zip
configure.ac: use AX_SUBMODULE for gmp for consistency
Diffstat (limited to 'configure.ac')
-rw-r--r--configure.ac4
1 files changed, 1 insertions, 3 deletions
diff --git a/configure.ac b/configure.ac
index c97990d7..e0ffbc43 100644
--- a/configure.ac
+++ b/configure.ac
@@ -9,9 +9,7 @@ AC_PROG_LIBTOOL
AX_CREATE_STDINT_H(include/isl_stdint.h)
-AC_ARG_WITH(gmp_prefix,
- [AS_HELP_STRING([--with-gmp-prefix=DIR],
- [Location of GMP installation])])
+AX_SUBMODULE(gmp,system,system)
AC_SUBST(GMP_CPPFLAGS)
AC_SUBST(GMP_LDFLAGS)