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

[Carl Hansen]

------------------------------------------------------------
revno: 6047
revision-id: address@hidden
parent: address@hidden
committer: address@hidden
branch nick: trunk
timestamp: Fri 2018-11-09 18:03:04 -0800
message:
  update mercury to 14.01.1
added:
  pkg/other/mercury/             mercury-20181109194009-h0l0v02nsc5pw6mc-1
  pkg/other/mercury/Makefile     makefile-20181109194009-h0l0v02nsc5pw6mc-3
  pkg/other/mercury/config.mk    config.mk-20181109194009-h0l0v02nsc5pw6mc-2
  pkg/other/mercury/sha256sums   sha256sums-20181109194009-h0l0v02nsc5pw6mc-4

=== added directory 'pkg/other/mercury'
=== added file 'pkg/other/mercury/Makefile'
--- a/pkg/other/mercury/Makefile        1970-01-01 00:00:00 +0000
+++ b/pkg/other/mercury/Makefile        2018-11-10 02:03:04 +0000
@@ -0,0 +1,56 @@
+# Copyright ©2018 Carl Hansen <address@hidden>
+#
+# This file is part of GSRC, the GNU Source Release Collection.
+#
+# GSRC is free software: you can redistribute it and/or modify it
+# under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# GSRC is distributed in the hope that it will be useful, but WITHOUT
+# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
+# or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
+# License for more details.
+#
+# 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
+GARNAME = mercury
+GARVERSION = 14.01.1
+HOME_URL = http://www.mercurylang.org/
+DESCRIPTION =  Mercury logic programming language 
+define BLURB
+Mercury is a pure logic programming language intended for the creation
+of large, fast, reliable programs. The syntax of Mercury is based on the
+syntax of Prolog, but semantically the two languages are very different
+due to Mercury's purity, its type, mode, determinism and module systems.
+endef
+
+
+######################################################################
+# http://dl.mercurylang.org/release/mercury-srcdist-14.01.1.tar.gz
+MASTER_SITES = http://dl.mercurylang.org/
+MASTER_SUBDIR = release/
+DISTFILES = mercury-srcdist-$(GARVERSION).tar.gz 
+SIGFILES =
+LICENSE = Gnu GPL and LGPL
+WORKSRC = $(WORKDIR)/mercury-srcdist-$(GARVERSION)
+
+BUILDDEPS =
+LIBDEPS =
+
+######################################################################
+
+include ../../../gar/gar.lib/auto.mk
+include config.mk
+
+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)/
+

=== added file 'pkg/other/mercury/config.mk'
--- a/pkg/other/mercury/config.mk       1970-01-01 00:00:00 +0000
+++ b/pkg/other/mercury/config.mk       2018-11-10 02:03:04 +0000
@@ -0,0 +1,5 @@
+## Configuration options  ##
+## adjust as needed
+
+CONFIGURE_OPTS ?= 
+BUILD_OPTS ?=

=== added file 'pkg/other/mercury/sha256sums'
--- a/pkg/other/mercury/sha256sums      1970-01-01 00:00:00 +0000
+++ b/pkg/other/mercury/sha256sums      2018-11-10 02:03:04 +0000
@@ -0,0 +1,1 @@
+98f7cbde7a7425365400feef3e69f1d6a848b25dc56ba959050523d546c4e88b  
download/mercury-srcdist-14.01.1.tar.gz