all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Brett Gilio <brettg@posteo.net>
To: 38604@debbugs.gnu.org
Subject: [bug#38604] [WIP SWI-Prolog 0/3] Add SWI-Prolog
Date: Fri, 13 Dec 2019 21:49:27 -0600	[thread overview]
Message-ID: <87immj7eig.fsf@posteo.net> (raw)

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: [WIP SWI-Prolog 0/3] Add SWI-Prolog --]
[-- Type: text/x-patch, Size: 652 bytes --]

From 08bee0ab7c3c67c6d3095e35bb734243bc93b217 Mon Sep 17 00:00:00 2001
From: Brett Gilio <brettg@posteo.net>
Date: Fri, 13 Dec 2019 21:47:11 -0600
Subject: [WIP SWI-Prolog 0/3] Add SWI-Prolog

Just wanted to share my WIP on SWI-Prolog for anybody who wants to contribute,
and so I can keep track of my own progress.

Please send revision by re-rolling n+1.

Brett Gilio (3):
  gnu: Rename module GPROLOG to PROLOG.
  gnu: Rename GPROLOG to PROLOG in local.mk
  gnu: Add swi-prolog.

 gnu/local.mk             |  2 +-
 gnu/packages/gprolog.scm | 45 +++++++++++++++++++++++++++++++++++++++-
 2 files changed, 45 insertions(+), 2 deletions(-)

-- 
2.24.1

             reply	other threads:[~2019-12-14  3:50 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-12-14  3:49 Brett Gilio [this message]
2019-12-14  3:50 ` [bug#38604] [WIP SWI-Prolog 1/3] gnu: Rename module GPROLOG to PROLOG Brett Gilio
2019-12-14  3:50 ` [bug#38604] [WIP SWI-Prolog 2/3] gnu: Rename GPROLOG to PROLOG in local.mk Brett Gilio
2019-12-14  3:51 ` [bug#38604] [WIP SWI-Prolog 3/3] gnu: Add swi-prolog Brett Gilio
2020-01-04  3:47   ` bug#38604: " Brett Gilio

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

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

  git send-email \
    --in-reply-to=87immj7eig.fsf@posteo.net \
    --to=brettg@posteo.net \
    --cc=38604@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 external index

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

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.