From patchwork Sat May 11 20:13:56 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 13953 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 1ED3F16F88; Sat, 11 May 2019 21:15:08 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, T_DKIM_INVALID,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.0 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id 6C14716F88 for ; Sat, 11 May 2019 21:15:07 +0100 (BST) Received: from localhost ([127.0.0.1]:34920 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hPYOg-00008A-PC for patchwork@mira.cbaines.net; Sat, 11 May 2019 16:15:06 -0400 Received: from eggs.gnu.org ([209.51.188.92]:55527) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hPYOd-00007y-NK for guix-patches@gnu.org; Sat, 11 May 2019 16:15:04 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hPYOc-0005zr-OX for guix-patches@gnu.org; Sat, 11 May 2019 16:15:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:55923) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hPYOc-0005zg-L3 for guix-patches@gnu.org; Sat, 11 May 2019 16:15:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hPYOc-0004NR-BY for guix-patches@gnu.org; Sat, 11 May 2019 16:15:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#35687] [PATCH] gnu: Add emacs-ediprolog Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 11 May 2019 20:15:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 35687 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 35687@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.155760565516746 (code B ref -1); Sat, 11 May 2019 20:15:02 +0000 Received: (at submit) by debbugs.gnu.org; 11 May 2019 20:14:15 +0000 Received: from localhost ([127.0.0.1]:41234 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hPYNq-0004M2-N0 for submit@debbugs.gnu.org; Sat, 11 May 2019 16:14:14 -0400 Received: from eggs.gnu.org ([209.51.188.92]:41012) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hPYNo-0004Lq-Tl for submit@debbugs.gnu.org; Sat, 11 May 2019 16:14:13 -0400 Received: from lists.gnu.org ([209.51.188.17]:33829) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hPYNj-0005bR-Ld for submit@debbugs.gnu.org; Sat, 11 May 2019 16:14:07 -0400 Received: from eggs.gnu.org ([209.51.188.92]:55382) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hPYNi-0008LT-I5 for guix-patches@gnu.org; Sat, 11 May 2019 16:14:07 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hPYNh-0005a9-EZ for guix-patches@gnu.org; Sat, 11 May 2019 16:14:06 -0400 Received: from mail-wm1-x335.google.com ([2a00:1450:4864:20::335]:39801) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hPYNh-0005ZP-4Y for guix-patches@gnu.org; Sat, 11 May 2019 16:14:05 -0400 Received: by mail-wm1-x335.google.com with SMTP id n25so10238540wmk.4 for ; Sat, 11 May 2019 13:14:05 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=fKqTQZFFhMIw8xC8ShwDEGTpexHqgqkoAcfYB3Qpkrc=; b=TmFidBrTeyU83747ECeflxWtpYqOJB6eBgosUJ46Jbs6H1ObW+SbSPXp3lpzEkE1wu ujUljL0Ea1sr/AtbU+u7PyJOFB3ZOHZJrYZ5vqSwpfwpn9Yia/eWivu/zreHwphvxDIO JAbLutYkzVnpNoz8XoAz+FkKtzDr+Ct8rl4OfI0VF2Fh6ZyiAGxqozeNPv4WDL678ImY 413tI6MXzfc4kgpgRLQunBoXa1otJrM/OUv6WHljdmOPWwzqbexWTzxNrj6SMhKedzFs 7ZcW+lnyZ9CSZ57GIO6fsgvvAOrtI+rBhGcrQ1hjA8iJeDejMug0G2m/0oAOmcjtV6Vk pMUw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=fKqTQZFFhMIw8xC8ShwDEGTpexHqgqkoAcfYB3Qpkrc=; b=JA6KDJJlWRyGAT0/K5ZluKxdxvLzs9LXvLboFesR/9/pE0PsE7AijyZoVU4xGYBTXD MdUB25ZBp99MJWdbtKsvibcY2B62VcUdSLWXkisjTCqFxAUHW//lXsSi4IfK1YROh+8h BjY5AwkSmYj1so9+oJRj4U8JJDUC+oRJ7MJPsWgmbAgotZJnKvSiE26SwDTTA91OA6d4 AzL+Fiug0rcXQoKPFRSc6ujEQxYs/4OUnlHt/0Ic4jEBlt2z/W6AnyYl/0xUvab+YewV Dpdw51qHjdMpx3YFTke75IfkDz1Cir8/q7wlf+HXPiJ7OO6R0j0G4B2ficzXLxhbs38d AtVQ== X-Gm-Message-State: APjAAAWfp6OMAefoYA0QSoOAh49OK5lQHKR6UE25QbvYysVF5KdvDpq5 qlSW6niq4FSla4wlClqjFOP+giOb X-Google-Smtp-Source: APXvYqydPaiVtHHAVMQS5uBRM/nMpQhhv/TcA8Ys9OmIMszNql7SBqdzR1MNCb3g+kplC5LGJu8K1w== X-Received: by 2002:a1c:c5c3:: with SMTP id v186mr6156325wmf.60.1557605643236; Sat, 11 May 2019 13:14:03 -0700 (PDT) Received: from glht-aurore.gmail.com (2a01cb04062c860082fa5bfffe3823d7.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:82fa:5bff:fe38:23d7]) by smtp.gmail.com with ESMTPSA id v5sm20116646wra.83.2019.05.11.13.14.01 for (version=TLS1_3 cipher=AEAD-AES256-GCM-SHA384 bits=256/256); Sat, 11 May 2019 13:14:02 -0700 (PDT) User-agent: mu4e 1.2.0; emacs 26.2 From: Gabriel Hondet Date: Sat, 11 May 2019 22:13:56 +0200 Message-ID: <87k1ew92bf.fsf@gmail.com> MIME-Version: 1.0 X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches From 19baad3823d0d4051b51def372b119cbf52983a8 Mon Sep 17 00:00:00 2001 From: gabrielhdt 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