Skip to content
Snippets Groups Projects
Commit d5ab0ed1 authored by Marcus Comstedt's avatar Marcus Comstedt
Browse files

Bugfix.

Rev: src/modules/Gmp/configure.in:1.19
parent 436cb682
No related branches found
No related tags found
No related merge requests found
# $Id: configure.in,v 1.18 2000/09/05 13:01:01 grubba Exp $ # $Id: configure.in,v 1.19 2000/09/05 16:25:03 marcus Exp $
AC_INIT(mpz_glue.c) AC_INIT(mpz_glue.c)
AC_CONFIG_HEADER(gmp_machine.h) AC_CONFIG_HEADER(gmp_machine.h)
AC_ARG_WITH(gmp, [ --with(out)-gmp Support bignums],[],[with_gmp=yes]) AC_ARG_WITH(gmp, [ --with(out)-gmp Support bignums],[],[with_gmp=yes])
...@@ -74,11 +74,11 @@ __MPN(PiKe) ...@@ -74,11 +74,11 @@ __MPN(PiKe)
]) ])
]) ])
]) ])
if test "x[$]PIKE_PREFIX_NAME" = "xno"; then if test "x$PIKE_PREFIX_NAME" = "xno"; then
AC_MSG_RESULT(warning -- prefix not found) AC_MSG_RESULT(warning -- prefix not found)
else else
AC_MSG_RESULT([$]PIKE_PREFIX_NAME) AC_MSG_RESULT($PIKE_PREFIX_NAME)
AC_DEFINE(PIKE_MPN_PREFIX, [$]PIKE_PREFIX_NAME) AC_DEFINE_UNQUOTED(PIKE_MPN_PREFIX, $PIKE_PREFIX_NAME)
fi fi
undefine(PIKE_PREFIX_NAME) undefine(PIKE_PREFIX_NAME)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment