[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Guile-commits] 01/02: build: Use '--enable-mini-gmp' for "make distchec
|
From: |
Ludovic Courtès |
|
Subject: |
[Guile-commits] 01/02: build: Use '--enable-mini-gmp' for "make distcheck". |
|
Date: |
Fri, 20 Jan 2023 10:41:54 -0500 (EST) |
civodul pushed a commit to branch main
in repository guile.
commit f57f931e6a9e257dd2abb4661a3b7df1a86bef32
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Fri Jan 20 09:46:07 2023 +0100
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