[Gsrc-commit] trunk r7777: update mercury to 20.06.1

[Carl Hansen]

------------------------------------------------------------
revno: 7777
revision-id: carlhansen@gnu.org-20210729214810-587ri30ne2e9a8r7
parent: carlhansen@gnu.org-20210729205748-220km108turts6ny
committer: Carl Hansen <carlhansen@gnu.org>
branch nick: trunk
timestamp: Thu 2021-07-29 14:48:10 -0700
message:
  update mercury to 20.06.1
modified:
  pkg/other/mercury/Makefile     makefile-20181109194009-h0l0v02nsc5pw6mc-3
  pkg/other/mercury/config.mk    config.mk-20181109194009-h0l0v02nsc5pw6mc-2

=== modified file 'pkg/other/mercury/Makefile'
--- a/pkg/other/mercury/Makefile        2021-07-29 20:57:48 +0000
+++ b/pkg/other/mercury/Makefile        2021-07-29 21:48:10 +0000
@@ -1,4 +1,4 @@
-# Copyright ©2018,2019,2020 Carl Hansen <carlhansen@gnu.org>
+# Copyright ©2018,2019,2020,2021 Carl Hansen <carlhansen@gnu.org>
 #
 # This file is part of GSRC, the GNU Source Release Collection.
 # http://www.gnu.org/software/gsrc
@@ -48,8 +48,11 @@
 ######################################################################
 
 include ../../../gar/gar.lib/auto.mk
-include config.mk    # important
+include config.mk 
+# important
 # Does "minimal install. The READMEs may help about additions.
+#
+.PHONY: pre-install
 
 pre-install:
        echo Read the READMEs in the source to see if you need do something

=== modified file 'pkg/other/mercury/config.mk'
--- a/pkg/other/mercury/config.mk       2019-04-22 19:10:04 +0000
+++ b/pkg/other/mercury/config.mk       2021-07-29 21:48:10 +0000
@@ -2,4 +2,7 @@
 ## adjust as needed
 
 CONFIGURE_OPTS ?=  --enable-minimal-install
-BUILD_OPTS ?=
+BUILD_OPTS ?=  CFLAGS+="--warn-no-array-parameter"
+
+
+