GNU bug report logs - #35687
[PATCH] gnu: Add emacs-ediprolog

Previous Next

Package: guix-patches;

Reported by: Gabriel Hondet <gabrielhondet <at> gmail.com>

Date: Sat, 11 May 2019 20:15:02 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 35687 in the body.
You can then email your comments to 35687 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to guix-patches <at> gnu.org:
bug#35687; Package guix-patches. (Sat, 11 May 2019 20:15:02 GMT) Full text and rfc822 format available.

Acknowledgement sent to Gabriel Hondet <gabrielhondet <at> gmail.com>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Sat, 11 May 2019 20:15:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Gabriel Hondet <gabrielhondet <at> gmail.com>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: Add emacs-ediprolog
Date: Sat, 11 May 2019 22:13:56 +0200
[0001-gnu-Add-emacs-ediprolog.patch (text/x-diff, inline)]
From 19baad3823d0d4051b51def372b119cbf52983a8 Mon Sep 17 00:00:00 2001
From: gabrielhdt <gabrielhondet <at> gmail.com>
Date: Sat, 11 May 2019 22:11:40 +0200
Subject: [PATCH] gnu: Add emacs-ediprolog.

* gnu/packages/emacs-xyz.scm (emacs-ediprolog): New variable.
---
 gnu/packages/emacs-xyz.scm | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm
index bb40dea993..5d53da291d 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -15510,3 +15510,27 @@ numbers within that region will be incremented/decremented (unlike in Vim).
 
 It is a fork of https://github.com/cofi/evil-numbers, which is unmaintained.")
       (license license:gpl3+))))
+
+(define-public emacs-ediprolog
+  (package
+    (name "emacs-ediprolog")
+    (version "1.2")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://elpa.gnu.org/packages/ediprolog-"
+             version
+             ".el"))
+       (sha256
+        (base32
+         "039ffvp7c810mjyargmgw1i87g0z8qs8qicq826sd9aiz9hprfaz"))))
+    (build-system emacs-build-system)
+    (home-page "http://elpa.gnu.org/packages/ediprolog.html")
+    (synopsis "Emacs Does Interactive Prolog")
+    (description "This package provides a major mode that let the user
+interact with SWI-Prolog in all buffers.  For instance, one can consult Prolog
+programs and evaluate embedded queries.  This mode is focused on the command
+@code{ediprolog-dwim} (Do What I Mean) which is supposed to, depending on the
+context, carry out the appropriate action.")
+    (license license:gpl3+)))
-- 
2.21.0

[signature.asc (application/pgp-signature, inline)]

Reply sent to Ludovic Courtès <ludo <at> gnu.org>:
You have taken responsibility. (Sun, 12 May 2019 21:54:03 GMT) Full text and rfc822 format available.

Notification sent to Gabriel Hondet <gabrielhondet <at> gmail.com>:
bug acknowledged by developer. (Sun, 12 May 2019 21:54:03 GMT) Full text and rfc822 format available.

Message #10 received at 35687-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Gabriel Hondet <gabrielhondet <at> gmail.com>
Cc: 35687-done <at> debbugs.gnu.org
Subject: Re: [bug#35687] [PATCH] gnu: Add emacs-ediprolog
Date: Sun, 12 May 2019 23:52:54 +0200
Hi,

Gabriel Hondet <gabrielhondet <at> gmail.com> skribis:

> From 19baad3823d0d4051b51def372b119cbf52983a8 Mon Sep 17 00:00:00 2001
> From: gabrielhdt <gabrielhondet <at> gmail.com>
> Date: Sat, 11 May 2019 22:11:40 +0200
> Subject: [PATCH] gnu: Add emacs-ediprolog.
>
> * gnu/packages/emacs-xyz.scm (emacs-ediprolog): New variable.

I added a copyright line for you and applied it.

Thanks,
Ludo’.




bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Mon, 10 Jun 2019 11:24:08 GMT) Full text and rfc822 format available.

This bug report was last modified 4 years and 314 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.