[Gsrc-commit] trunk r6470: update mercury to 14.01.1

[Carl Hansen]

------------------------------------------------------------
revno: 6470
revision-id: address@hidden
parent: address@hidden
committer: address@hidden
branch nick: trunk
timestamp: Mon 2019-04-22 12:10:04 -0700
message:
  update mercury to 14.01.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        2019-01-04 17:28:47 +0000
+++ b/pkg/other/mercury/Makefile        2019-04-22 19:10:04 +0000
@@ -1,6 +1,7 @@
-# Copyright ©2018 Carl Hansen <address@hidden>
+# Copyright ©2018,2019 Carl Hansen <address@hidden>
 #
 # This file is part of GSRC, the GNU Source Release Collection.
+# http://www.gnu.org/software/gsrc
 #
 # GSRC is free software: you can redistribute it and/or modify it
 # under the terms of the GNU General Public License as published by
@@ -15,6 +16,7 @@
 # You should have received a copy of the GNU General Public License
 # along with GSRC.  If not, see <http://www.gnu.org/licenses/>.
 #
+#
 # Send bug reports and comments about GSRC problems to address@hidden
 
 NAME =    Mercury
@@ -41,17 +43,16 @@
 
 BUILDDEPS =
 LIBDEPS =
-#?
- DESTDIR = $(packageprefix)
+
+#DESTDIR = $(packageprefix)
 ######################################################################
 
 include ../../../gar/gar.lib/auto.mk
-include config.mk
+include config.mk    # important
+# Does "minimal install. The READMEs may help about additions.
 
 pre-install:
        echo Read the READMEs in the source to see if you need do something
        echo if you are not compiling on x86/x86_64 GNU/Linux
 
-#      mkdir -p $(packageprefix)/share/doc/$(GARNAME)/
-#      cp $(WORKSRC)/doc/*pdf  $(packageprefix)/share/doc/$(GARNAME)/
 

=== modified file 'pkg/other/mercury/config.mk'
--- a/pkg/other/mercury/config.mk       2018-11-10 02:03:04 +0000
+++ b/pkg/other/mercury/config.mk       2019-04-22 19:10:04 +0000
@@ -1,5 +1,5 @@
 ## Configuration options  ##
 ## adjust as needed
 
-CONFIGURE_OPTS ?= 
+CONFIGURE_OPTS ?=  --enable-minimal-install
 BUILD_OPTS ?=