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 <https://bugs.debian.org/942813>
for more information.

* configure (parse-opts): Ignore disable-option-checking.
This commit is contained in:
Vagrant Cascadian 2020-05-24 15:44:22 +00:00 committed by Jan (janneke) Nieuwenhuizen
parent 191d822e95
commit 35892ae074
No known key found for this signature in database
GPG key ID: F3C1A0D9C1D65273

15
configure vendored
View file

@ -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 <janneke@gnu.org>
;;; Copyright © 2020 Vagrant Cascadian <vagrant@reproducible-builds.org>
;;;
;;; 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)))