From 62f6f3bb045cad63174a9706e182a06052f0b5b0 Mon Sep 17 00:00:00 2001 From: gabrielhdt Date: Sat, 11 May 2019 22:11:40 +0200 Subject: gnu: Add emacs-ediprolog. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * gnu/packages/emacs-xyz.scm (emacs-ediprolog): New variable. Signed-off-by: Ludovic Courtès --- gnu/packages/emacs-xyz.scm | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) (limited to 'gnu/packages') diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index 069bf3e1f6..a4ac5c5b5f 100644 --- a/gnu/packages/emacs-xyz.scm +++ b/gnu/packages/emacs-xyz.scm @@ -45,6 +45,7 @@ ;;; Copyright © 2019 Dimakakos Dimos ;;; Copyright © 2019 Brian Leung ;;; Copyright © 2019 mikadoZero +;;; Copyright © 2019 Gabriel Hondet ;;; ;;; This file is part of GNU Guix. ;;; @@ -15557,3 +15558,27 @@ (define-public emacs-rotate-text \"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 +@code{ediprolog-dwim} (Do What I Mean) which is supposed to, depending on the +context, carry out the appropriate action.") + (license license:gpl3+))) -- cgit v1.2.3