diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-01-20 09:46:07 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-01-20 09:46:07 +0100 |
| commit | f57f931e6a9e257dd2abb4661a3b7df1a86bef32 (patch) | |
| tree | 964e4c7f2f61c7ac9e0576e73e0bc5db9a6dfaec | |
| parent | 479b7388e95ee31e646e204f00763489204e3e58 (diff) | |
| download | guile-f57f931e6a9e257dd2abb4661a3b7df1a86bef32.tar.gz | |
build: Use '--enable-mini-gmp' for "make distcheck".
* Makefile.am (DISTCHECK_CONFIGURE_FLAGS): Add '--enable-mini-gmp'.
| -rw-r--r-- | Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index 3701a12f1..e59990838 100644 --- a/Makefile.am +++ b/Makefile.am @@ -2,7 +2,7 @@ ## ## Copyright (C) 1998, 1999, 2000, 2001, 2002, 2006, 2007, ## 2008, 2009, 2010, 2011, 2012, 2013, -## 2014, 2015, 2016, 2022 Free Software Foundation, Inc. +## 2014, 2015, 2016, 2022, 2023 Free Software Foundation, Inc. ## ## This file is part of GUILE. ## @@ -91,7 +91,7 @@ ACLOCAL_AMFLAGS = -I m4 CLEANFILES = libguile/guile-procedures.txt DISTCLEANFILES = check-guile.log -DISTCHECK_CONFIGURE_FLAGS = --enable-error-on-warning +DISTCHECK_CONFIGURE_FLAGS = --enable-error-on-warning --enable-mini-gmp dist-hook: gen-ChangeLog gen-tarball-version assert-no-store-file-names |