mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-04-29 19:30:36 +02:00
Code Activity

build: Use '--enable-mini-gmp' for "make distcheck".

Browse source 
* Makefile.am (DISTCHECK_CONFIGURE_FLAGS): Add '--enable-mini-gmp'.
This commit is contained in:
Ludovic Courtès 2023-01-20 09:46:07 +01:00
parent 479b7388e9
commit f57f931e6a
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Makefile.am
View file

@ -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