summaryrefslogtreecommitdiff
path: root/libguile/gen-scmconfig.c
diff options
context:
space:
mode:
Diffstat (limited to 'libguile/gen-scmconfig.c')
-rw-r--r--libguile/gen-scmconfig.c9
1 files changed, 7 insertions, 2 deletions
diff --git a/libguile/gen-scmconfig.c b/libguile/gen-scmconfig.c
index a3c732039..af6d0fe92 100644
--- a/libguile/gen-scmconfig.c
+++ b/libguile/gen-scmconfig.c
@@ -1,4 +1,4 @@
-/* Copyright 2003-2013,2018,2020
+/* Copyright 2003-2013,2018,2020,2021
Free Software Foundation, Inc.
This file is part of Guile.
@@ -206,7 +206,6 @@ main (int argc, char *argv[])
pf ("#define SCM_HAVE_WINSOCK2_H 0 /* 0 or 1 */\n");
#endif
-
/*** GUILE_DEBUG (defined or undefined) ***/
pf ("\n");
pf ("/* Define to include various undocumented debugging functions. */\n");
@@ -378,6 +377,12 @@ main (int argc, char *argv[])
pf ("/* Define to 1 if there is an auxiliary stack, as in ia64. */\n");
pf ("#define SCM_HAVE_AUXILIARY_STACK %d\n", SCM_I_GSC_HAVE_AUXILIARY_STACK);
+#ifdef GUILE_MINI_GMP
+ pf ("#define GUILE_MINI_GMP 1\n");
+#else
+ pf ("#undef GUILE_MINI_GMP\n");
+#endif
+
printf ("#endif\n");
return 0;