configure: Add no-op for "disable-option-checking" option.
authorVagrant Cascadian <vagrant@reproducible-builds.org>
Sun, 24 May 2020 15:44:22 +0000 (15:44 +0000)
committerJan (janneke) Nieuwenhuizen <janneke@gnu.org>
Sat, 8 May 2021 08:46:41 +0000 (10:46 +0200)
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.

configure

index 1d1a1a82281945cb95bec906428c4b8ccbaa9663..c1b548093f221121606cf85060d26de651422f58 100755 (executable)
--- 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 <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)))