From patchwork Mon Jan 6 23:57:17 2020 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Brett Gilio X-Patchwork-Id: 19650 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 6E9EC17A0B; Mon, 6 Jan 2020 23:58:28 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.0 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id E360317A09 for ; Mon, 6 Jan 2020 23:58:27 +0000 (GMT) Received: from localhost ([::1]:53480 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iocGQ-00058P-RC for patchwork@mira.cbaines.net; Mon, 06 Jan 2020 18:58:26 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:45196) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iocG4-00055K-4E for guix-patches@gnu.org; Mon, 06 Jan 2020 18:58:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iocG1-00006o-VY for guix-patches@gnu.org; Mon, 06 Jan 2020 18:58:04 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:41040) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iocG1-00006V-SR for guix-patches@gnu.org; Mon, 06 Jan 2020 18:58:01 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iocG1-00068L-Pr for guix-patches@gnu.org; Mon, 06 Jan 2020 18:58:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#38603] [WIP v2 0/1] Add mercury. References: <87tv637ffm.fsf@posteo.net> In-Reply-To: <87tv637ffm.fsf@posteo.net> Resent-From: Brett Gilio Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 06 Jan 2020 23:58:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 38603 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 38603@debbugs.gnu.org Received: via spool by 38603-submit@debbugs.gnu.org id=B38603.157835504423516 (code B ref 38603); Mon, 06 Jan 2020 23:58:01 +0000 Received: (at 38603) by debbugs.gnu.org; 6 Jan 2020 23:57:24 +0000 Received: from localhost ([127.0.0.1]:47010 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iocFQ-00067D-8H for submit@debbugs.gnu.org; Mon, 06 Jan 2020 18:57:24 -0500 Received: from eggs.gnu.org ([209.51.188.92]:34045) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iocFL-00066y-M3 for 38603@debbugs.gnu.org; Mon, 06 Jan 2020 18:57:22 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:37668) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1iocFF-0007OP-JX for 38603@debbugs.gnu.org; Mon, 06 Jan 2020 18:57:13 -0500 Received: from [2605:6000:1a0d:4c95::3d] (port=49540 helo=oryx) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1iocFE-0004ag-Gs for 38603@debbugs.gnu.org; Mon, 06 Jan 2020 18:57:13 -0500 From: Brett Gilio Date: Mon, 06 Jan 2020 17:57:17 -0600 Message-ID: <87d0bwuoiq.fsf@gnu.org> MIME-Version: 1.0 Content-Disposition: inline; filename=v2-0000-cover-letter.patch Content-Description: [WIP v2 0/1] Add mercury. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches From 1a78e1b20f015f2f7297eb17becb7b740a991fd5 Mon Sep 17 00:00:00 2001 From: Brett Gilio Date: Mon, 6 Jan 2020 17:52:27 -0600 Subject: [WIP v2 0/1] Add mercury. To: guix-patches@gnu.org This is a revision of the first patch series. The first patch series is effectively without use as this method contains everything into a single patch. This package still requires some work on getting the Boehm `libgc` package replacement to work just right (or maybe just do a recursive checkout of the submodule from Git? Though that seems less Guixy), as well as getting the grades just right (should Java be added in the default package, or split out into a mercury-grade-java package with some load_path magic?), and getting the test cases to work. Mercury is truly a giant and monolithic project, so I would not mind some help! If you aren't familiar with Mercury, checkout http://mercurylang.org/. Thanks! Brett Gilio (1): gnu: Add mercury. gnu/local.mk | 3 +- gnu/packages/mercury.scm | 157 +++++++++++++++++++++++++++++++++++++++ 2 files changed, 159 insertions(+), 1 deletion(-) create mode 100644 gnu/packages/mercury.scm -- 2.24.1