From 35892ae074949970b769a6a4985e4c4e56f25857 Mon Sep 17 00:00:00 2001 From: Vagrant Cascadian Date: Sun, 24 May 2020 15:44:22 +0000 Subject: [PATCH] configure: Add no-op for "disable-option-checking" option. This is a standard option supported in autoconf. In Debian systems using recent versions of debhelper this argument is be passed to configure by default. See for more information. * configure (parse-opts): Ignore disable-option-checking. --- configure | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/configure b/configure index 1d1a1a82..c1b54809 100755 --- a/configure +++ b/configure @@ -5,6 +5,7 @@ MES_ARENA=100000000 exec ${SCHEME-guile} -L . --no-auto-compile -e '(configure)' ;;; GNU Mes --- Maxwell Equations of Software ;;; Copyright © 2016,2017,2018,2019,2020,2021 Jan (janneke) Nieuwenhuizen +;;; Copyright © 2020 Vagrant Cascadian ;;; ;;; configure: This file is part of GNU Mes. ;;; @@ -321,14 +322,14 @@ MES_ARENA=100000000 exec ${SCHEME-guile} -L . --no-auto-compile -e '(configure)' (enable-silent-rules) (with-system-libc) - (enable-fast-install) ; Ignored for Guix - (mandir (value #t)) ; Ignored for Debian - (localstatedir (value #t)) ; Ignored for Debian - (libexecdir (value #t)) ; Ignored for Debian - (runstatedir (value #t)) ; Ignored for Debian - (disable-maintainer-mode) ; Ignored for Debian + (enable-fast-install) ; Ignored for Guix (disable-dependency-tracking) ; Ignored for Debian - ))) + (disable-maintainer-mode) ; Ignored for Debian + (disable-option-checking) ; Ignored for Debian + (libexecdir (value #t)) ; Ignored for Debian + (localstatedir (value #t)) ; Ignored for Debian + (mandir (value #t)) ; Ignored for Debian + (runstatedir (value #t))))) ; Ignored for Debian (getopt-long args option-spec)))