From f57f931e6a9e257dd2abb4661a3b7df1a86bef32 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= Date: Fri, 20 Jan 2023 09:46:07 +0100 Subject: build: Use '--enable-mini-gmp' for "make distcheck". * Makefile.am (DISTCHECK_CONFIGURE_FLAGS): Add '--enable-mini-gmp'. --- Makefile.am | 4 ++-- 1 file 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 -- cgit v1.2.1