unofficial mirror of guix-patches@gnu.org 
 help / color / mirror / code / Atom feed
From: Brett Gilio <brettg@gnu.org>
To: 38603@debbugs.gnu.org
Subject: [bug#38603] [WIP v2 0/1] Add mercury.
Date: Mon, 06 Jan 2020 17:57:17 -0600	[thread overview]
Message-ID: <87d0bwuoiq.fsf@gnu.org> (raw)
In-Reply-To: <87tv637ffm.fsf@posteo.net>

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: [WIP v2 0/1] Add mercury. --]
[-- Type: text/x-patch, Size: 1175 bytes --]

From 1a78e1b20f015f2f7297eb17becb7b740a991fd5 Mon Sep 17 00:00:00 2001
From: Brett Gilio <brettg@gnu.org>
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

  parent reply	other threads:[~2020-01-06 23:58 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-12-14  3:29 [bug#38603] [WIP Mercury 0/2] Add Mercury Brett Gilio
2019-12-14  3:31 ` [bug#38603] [WIP Mercury 1/2] gnu: Register mercury module Brett Gilio
2019-12-14  3:31 ` [bug#38603] [WIP Mercury 2/2] gnu: Add mercury Brett Gilio
2020-01-06 23:57 ` Brett Gilio [this message]
2020-01-06 23:57 ` [bug#38603] [WIP v2 1/1] " Brett Gilio
2022-04-12 10:30   ` bug#38603: [WIP Mercury 0/2] Add Mercury zimoun

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://guix.gnu.org/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=87d0bwuoiq.fsf@gnu.org \
    --to=brettg@gnu.org \
    --cc=38603@debbugs.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).