Gabriel Hondet wrote 6 years ago
(address . guix-patches@gnu.org)
From 19baad3823d0d4051b51def372b119cbf52983a8 Mon Sep 17 00:00:00 2001
From: gabrielhdt <gabrielhondet@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(+)
Toggle diff (34 lines)
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
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlzXLQQACgkQMbyBBfZZ
1CW/iQ/+McoLBCzixjiMHwfxC+U/2CE8aJYaERSm3SCzleVO8wecG6L7E5cpIS54
RRGCRlxuv92WwD0eBtW/bqHDQ0JYtj6fRfi3mDb8/qEw+EpPj34IGtUBI7iuwqbW
AK55rjPQKQIww2RZJcbdQF++0sPjtTWynpmNXibbnhcSeFCiTkw3+X3so+B4eFJJ
IigShSMz2rscbwmFH9WrNqYYhwQavRxGA6NOZVGguiCgLWQsbH0+mHUv9iAv0UDM
SuEjpivUdtCUkiNcfWR3J54AnVLWM0qOv7gku8D6lVaiFoYCQCq/2058ULIz+l7j
XzdMPPymekMO+FO03ABSQTDo5AuhhKZHJyT8Gs2m0+Mv5jeYWZ03KId6lIMGVjcW
2VcFln8zO6CF4hsiUl91y3A5WfdwASL3CTaC8K03xsxRU3P1lwJRMI6hGgLm5Kgg
8kpmpyzxqXNyn2rk9OLCllrm3RowPiIw9svPAcnEJS9nm5ugXmdXK2CAALnMCw2D
6fEtiD1Cw4P+dsGJ8x8Te/r796/Ag7LFGRXkF1nyZGNiu0R3k5VPNYGceh0YWvho
0pNBQ7nmKMGMB8jITo7SIsyVmPSoY/7tn7zel/v+pxQ2+cXPTr2rB4lnIAqF+xzz
VIDVBodS9COv4OZQ+J9ACaIdRqOAQpReSqsqg7dTq8d+iAZYBIg=
=JnUh
-----END PGP SIGNATURE-----