From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:56599) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ifyAx-0008GE-SJ for guix-patches@gnu.org; Fri, 13 Dec 2019 22:33:07 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ifyAv-0005cp-T2 for guix-patches@gnu.org; Fri, 13 Dec 2019 22:33:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:57070) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ifyAv-0005c1-Mj for guix-patches@gnu.org; Fri, 13 Dec 2019 22:33:01 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ifyAv-0004pw-K9 for guix-patches@gnu.org; Fri, 13 Dec 2019 22:33:01 -0500 Subject: [bug#38603] [WIP Mercury 2/2] gnu: Add mercury. References: <87tv637ffm.fsf@posteo.net> In-Reply-To: <87tv637ffm.fsf@posteo.net> Resent-Message-ID: From: Brett Gilio Date: Fri, 13 Dec 2019 21:31:47 -0600 Message-ID: <87o8wb7fbw.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/x-patch; charset=utf-8 Content-Disposition: inline; filename=0002-gnu-Add-mercury.patch Content-Transfer-Encoding: quoted-printable Content-Description: [WIP Mercury 2/2] gnu: Add mercury. List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 38603@debbugs.gnu.org >From a6abc5a2d05cba65c652f5834e768ee8cecde5f8 Mon Sep 17 00:00:00 2001 From: Brett Gilio Date: Fri, 13 Dec 2019 21:26:15 -0600 Subject: [WIP Mercury 2/2] gnu: Add mercury. * gnu/packages/mercury.scm (mercury): New variable. --- gnu/packages/mercury.scm | 142 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 142 insertions(+) create mode 100644 gnu/packages/mercury.scm diff --git a/gnu/packages/mercury.scm b/gnu/packages/mercury.scm new file mode 100644 index 0000000000..4db0386852 --- /dev/null +++ b/gnu/packages/mercury.scm @@ -0,0 +1,142 @@ +;;; GNU Guix --- Functional package management for GNU +;;; Copyright =C2=A9 2019 Brett Gilio +;;; +;;; This file is part of GNU Guix. +;;; +;;; GNU Guix 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. +;;; +;;; GNU Guix 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 GNU Guix. If not, see . + +;; TODO: Not all of these modules are needed. +(define-module (gnu packages mercury) + #:use-module (guix download) + #:use-module (guix packages) + #:use-module (guix utils) + #:use-module ((guix licenses) #:prefix license:) + #:use-module (guix build-system gnu) + #:use-module (guix build-system cmake) + #:use-module (gnu packages bdw-gc) + #:use-module (gnu packages compression) + #:use-module (gnu packages commencement) + #:use-module (gnu packages multiprecision) + #:use-module (gnu packages ninja) + #:use-module (gnu packages readline) + #:use-module (gnu packages tex) + #:use-module (gnu packages libunwind) + #:use-module (gnu packages image) + #:use-module (gnu packages xorg) + #:use-module (gnu packages fontutils) + #:use-module (gnu packages pkg-config) + #:use-module (gnu packages tls) + #:use-module (gnu packages perl) + #:use-module (gnu packages texinfo) + #:use-module (gnu packages flex) + #:use-module (gnu packages shells) + #:use-module (gnu packages bison) + #:use-module (srfi srfi-1) + #:use-module (ice-9 match)) ; match-lambda + +(define-public mercury + (package + (name "mercury") + (version "14.01.1") + (source (origin + (method url-fetch) + (uri (string-append "https://dl.mercurylang.org/release/merc= ury-srcdist-" + version + ".tar.gz")) + (sha256 + (base32 + "12z8qi3da8q50mcsjsy5bnr4ia6ny5lkxvzy01a3c9blgbgcpxwq")))) + (build-system gnu-build-system) + (arguments + `(#:imported-modules ((ice-9 match) + ,@%gnu-build-system-modules) + #:modules ((ice-9 match) + (guix build gnu-build-system) + (guix build utils) + ,@%gnu-build-system-modules) + #:tests? #f ; TODO: tests are cryptic. Figure it out later. + #:phases + (modify-phases %standard-phases + (add-after 'unpack 'patch + (lambda _ (substitute* + (list "Makefile" + "Mmakefile" + "scripts/mercury_update_interface.in" + "scripts/mercury_config.in" + "scripts/mmake.in" + "scripts/mmake.sh" + "scripts/Mmake.vars.in" + "scripts/mdb.in" + "scripts/rs6000_hack" + "scripts/fullarch" + "scripts/mmc.in" + "scripts/canonical_grade" + "scripts/mprof.in" + "scripts/gud.el" + "scripts/ml.in" + "scripts/canonical_grade.in" + "scripts/mdprof.in" + "scripts/vpath_find" + "scripts/mkfifo_using_mknod.in" + "scripts/prepare_install_dir.in" + "scripts/ml.sh" + "scripts/mprof_merge_runs" + "scripts/mtc" + "scripts/mgnuc.in" + "scripts/c2init.in" + "bindist/bindist.Makefile") + (("/bin/sh") (which "sh")) + (("/bin/pwd") (which "pwd")) + (("/bin/rm") (which "rm"))))) + (add-after 'unpack 'replace-boehm + (lambda* (#:key inputs #:allow-other-keys) + (let ((boehm (assoc-ref inputs "libgc"))) + (map (match-lambda + ((src orig-name new-name) + (with-directory-excursion "." + (apply unpack (list #:source src)) + (apply patch-source-shebangs (list #:source src))) + (delete-file-recursively new-name) + (invoke "mv" orig-name new-name))) + `((,boehm "source" "libgc"))))))))) + (native-inputs + `(("texinfo" ,texinfo) + ("flex" ,flex) + ("tcsh", tcsh) + ("bison" ,bison) + ("readline" ,readline) + ("libgc" ,libgc))) + (synopsis "A pure logic programming language") + (description "Mercury is a logic/functional programming language which= =20 +combines the clarity and expressiveness of declarative programming with ad= vanced +static analysis and error detection features. Its highly optimized execut= ion=20 +algorithm delivers efficiency far in excess of existing logic programming= =20 +systems, and close to conventional programming systems. Mercury addresses= =20 +the problems of large-scale program development, allowing modularity,=20 +separate compilation, and numerous optimization/time trade-offs.") + (home-page "https://mercurylang.org") + (license license:gpl2))) + +(define-public mercury-minimal + (package (inherit mercury) + (name "mercury-minimal") + (build-system gnu-build-system) + (arguments + (substitute-keyword-arguments (package-arguments mercury) + ((#:configure-flags flags ''()) + `(list "--enable-minimal-install")))) + (inputs + `(("gcc-toolchain" ,gcc-toolchain))) + (synopsis "A pure logic programming language (used only for +compiling packages dependent on base Mercury)"))) --=20 2.24.1