04/05: gnu: Add emacs-ediprolog.

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit 62f6f3bb045cad63174a9706e182a06052f0b5b0
Author: gabrielhdt <address@hidden>
Date:   Sat May 11 22:11:40 2019 +0200

    gnu: Add emacs-ediprolog.
    
    * gnu/packages/emacs-xyz.scm (emacs-ediprolog): New variable.
    
    Signed-off-by: Ludovic Courtès <address@hidden>
---
 gnu/packages/emacs-xyz.scm | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm
index 069bf3e..a4ac5c5 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -45,6 +45,7 @@
 ;;; Copyright © 2019 Dimakakos Dimos <address@hidden>
 ;;; Copyright © 2019 Brian Leung <address@hidden>
 ;;; Copyright © 2019 mikadoZero <address@hidden>
+;;; Copyright © 2019 Gabriel Hondet <address@hidden>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -15557,3 +15558,27 @@ between \"frame-width\" and \"frame-height\", between 
\"public\",
 \"protected\" and \"private\" and between \"variable1\", \"variable2\" through
 \"variableN\".")
     (license license:gpl2+)))
+
+(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
address@hidden (Do What I Mean) which is supposed to, depending on the
+context, carry out the appropriate action.")
+    (license license:gpl3+)))