diff options
Diffstat (limited to 'libguile/random.c')
-rw-r--r-- | libguile/random.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/libguile/random.c b/libguile/random.c index 6fd567cca..7a588d3e4 100644 --- a/libguile/random.c +++ b/libguile/random.c @@ -30,14 +30,17 @@ #include <sys/types.h> #include <unistd.h> -#include <gmp.h> - #include "arrays.h" #include "feature.h" #include "generalized-arrays.h" #include "generalized-vectors.h" #include "gsubr.h" #include "list.h" +#if GUILE_MINI_GMP +#include "mini-gmp.h" +#else +#include <gmp.h> +#endif #include "modules.h" #include "numbers.h" #include "numbers.h" |