From patchwork Tue Dec 25 18:45:07 2018 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 543 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 7298C169DA; Tue, 25 Dec 2018 18:46:18 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-6.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, RCVD_IN_DNSWL_HI,T_DKIM_INVALID,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.0 Received: from lists.gnu.org (lists.gnu.org [208.118.235.17]) by mira.cbaines.net (Postfix) with ESMTP id 0E77E1696A for ; Tue, 25 Dec 2018 18:46:18 +0000 (GMT) Received: from localhost ([127.0.0.1]:42526 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gbrib-00032z-Hl for patchwork@mira.cbaines.net; Tue, 25 Dec 2018 13:46:17 -0500 Received: from eggs.gnu.org ([208.118.235.92]:52065) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gbriQ-00032s-Ga for guix-patches@gnu.org; Tue, 25 Dec 2018 13:46:08 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gbriM-0001QU-Hj for guix-patches@gnu.org; Tue, 25 Dec 2018 13:46:06 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:41815) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gbriM-0001QI-Dc for guix-patches@gnu.org; Tue, 25 Dec 2018 13:46:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gbriM-0007s0-Ae for guix-patches@gnu.org; Tue, 25 Dec 2018 13:46:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#33866] [PATCH 1/2] gnu: Add emacs-dedukti-mode. Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 25 Dec 2018 18:46:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 33866 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Julien Lepiller Received: via spool by 33866-submit@debbugs.gnu.org id=B33866.154576352430203 (code B ref 33866); Tue, 25 Dec 2018 18:46:02 +0000 Received: (at 33866) by debbugs.gnu.org; 25 Dec 2018 18:45:24 +0000 Received: from localhost ([127.0.0.1]:36429 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gbrhk-0007r5-4n for submit@debbugs.gnu.org; Tue, 25 Dec 2018 13:45:24 -0500 Received: from mail-wm1-f50.google.com ([209.85.128.50]:34390) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gbrhi-0007qp-7a for 33866@debbugs.gnu.org; Tue, 25 Dec 2018 13:45:22 -0500 Received: by mail-wm1-f50.google.com with SMTP id y185so21093486wmd.1 for <33866@debbugs.gnu.org>; Tue, 25 Dec 2018 10:45:22 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version; bh=SFMMb9goJBY7EUyddW+LIPAMFqoQBuyyH5ymjd4DEw0=; b=ShOm/ga2wTbn5IVOF4TCh5BsI/JejpR+bqHoIEpm/MVsULYN0xi1yYLilfLazYThpF aG3a9ktIb6/cISVxV8eZwU40yU9Wqbqs+VISjTR/xTL7RF32Jd+Pjdvwa8J74Wc+f8I8 r6m2JGgriakaBd3xj4M/huVN2Tcjj6uuDwkfMvgMGax0IgG6Mk9JeZIyJAa9K4Q2e9EB ZmkX2L2UwMI1sbKAgNitQIPaklsSYATn9g6aROWCz7z0BDncv2hyrK/EzZslzgsZcEkY EsBiRnkDks5/mxQ5vVAqJm8awhe23TyW4klamaMeMv51mt5QKTuUHBXcC5xxkakGPj1c gRWA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version; bh=SFMMb9goJBY7EUyddW+LIPAMFqoQBuyyH5ymjd4DEw0=; b=efQ2U/IM4M6vBIVgnSqYrVN7QpIVNLdpB/Qu+TA83+Cmk+fgy9B5qBvKjGkkocOWYE W+X01r/0MR3NqRDRhQTzvsX7yEXjfBT98CDjxvyROLi1ej9wpHpQmQEQCC+dfsglft+h 1H09ZwSUBLfhsejs3SuWf4VjgBCeQDMCOKEH5wC0UBEPTHL0VFzf7cAKWIewtPI3H8kK BZqFSTMZUMGIC6bFLgOZwMPrHla/N6mg3V/d5VmD7bzS8eQGrM9f1HxVd9Y82E8LfeCl 53HtPG8uuMwbw8oOa+Jkj2RDH0k4Vv8pPnXs+ylQ9E4nopUXSSTCgYeske3ZjmfC0rbY 7ZIA== X-Gm-Message-State: AJcUukcWT8YZTivUFqlPVqQBDYRCqSue3RSpBkYe/s012QS+N31l6Ds2 lYcGvVYCX0r2r+0kdXmR0LAYVt6t X-Google-Smtp-Source: AFSGD/Wt0WMAzZAkqhOvVA8z6wkkVAd+QaeTJRBWz26Xxic9n0YADIEwHHqVw206ZvcjaeRXwgRTqw== X-Received: by 2002:a1c:9855:: with SMTP id a82mr14811481wme.20.1545763516178; Tue, 25 Dec 2018 10:45:16 -0800 (PST) Received: from glht-x240.gmail.com ([80.12.58.205]) by smtp.gmail.com with ESMTPSA id t12sm29676913wrr.65.2018.12.25.10.45.11 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Tue, 25 Dec 2018 10:45:15 -0800 (PST) References: <87zhstx41e.fsf@gmail.com> <20181225185155.038cee5b@lepiller.eu> User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet In-reply-to: <20181225185155.038cee5b@lepiller.eu> Date: Tue, 25 Dec 2018 19:45:07 +0100 Message-ID: <87wonxwimk.fsf@gmail.com> MIME-Version: 1.0 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: 208.118.235.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 33866@debbugs.gnu.org Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/emacs.scm (emacs-dedukti-mode): New variable. --- gnu/packages/emacs.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/emacs.scm b/gnu/packages/emacs.scm index 7fdcfb1a3..02fd25fef 100644 --- a/gnu/packages/emacs.scm +++ b/gnu/packages/emacs.scm @@ -41,6 +41,7 @@ ;;; Copyright © 2018 Alex Branham ;;; Copyright © 2018 Thorsten Wilms ;;; Copyright © 2018 Pierre Langlois +;;; Copyright © 2018 Gabriel Hondet ;;; ;;; This file is part of GNU Guix. ;;; @@ -12854,3 +12855,24 @@ functions to ensure they are called with the right arguments during testing.") @code{wordnet}. Features include completion, if the query is not found too ambiguous and navigation in the result buffer.") (license license:gpl3+)))) + +(define-public emacs-dedukti-mode + (let ((commit "d7c3505a1046187de3c3aeb144455078d514594e")) + (package + (name "emacs-dedukti-mode") + (version (git-version "0" "0" commit)) + (home-page "https://github.com/rafoo/dedukti-mode") + (source (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit commit))) + (sha256 + (base32 + "1842wikq24c8rg0ac84vb1qby9ng1nssxswyyni4kq85lng5lcrp")) + (file-name (git-file-name name version)))) + (build-system emacs-build-system) + (synopsis "Emacs major mode for Dedukti files") + (description "This package provides an Emacs major mode for editing +Dedukti files.") + (license license:cecill-b)))) From patchwork Tue Dec 25 18:47:32 2018 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 544 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 194DF169DA; Tue, 25 Dec 2018 18:48:22 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-6.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, RCVD_IN_DNSWL_HI,T_DKIM_INVALID,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.0 Received: from lists.gnu.org (lists.gnu.org [208.118.235.17]) by mira.cbaines.net (Postfix) with ESMTP id A5F711696A for ; Tue, 25 Dec 2018 18:48:21 +0000 (GMT) Received: from localhost ([127.0.0.1]:42535 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gbrkb-0003Nk-7P for patchwork@mira.cbaines.net; Tue, 25 Dec 2018 13:48:21 -0500 Received: from eggs.gnu.org ([208.118.235.92]:52462) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gbrkL-0003M1-Uy for guix-patches@gnu.org; Tue, 25 Dec 2018 13:48:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gbrkH-0003BH-Vk for guix-patches@gnu.org; Tue, 25 Dec 2018 13:48:05 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:51335) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gbrkH-0003B8-RN for guix-patches@gnu.org; Tue, 25 Dec 2018 13:48:01 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gbrkH-0007vE-Og for guix-patches@gnu.org; Tue, 25 Dec 2018 13:48:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#33866] [PATCH 2/2] gnu: Add emacs-flycheck-dedukti. Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 25 Dec 2018 18:48:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 33866 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Julien Lepiller Received: via spool by 33866-submit@debbugs.gnu.org id=B33866.154576366830429 (code B ref 33866); Tue, 25 Dec 2018 18:48:01 +0000 Received: (at 33866) by debbugs.gnu.org; 25 Dec 2018 18:47:48 +0000 Received: from localhost ([127.0.0.1]:36432 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gbrk3-0007uj-KF for submit@debbugs.gnu.org; Tue, 25 Dec 2018 13:47:47 -0500 Received: from mail-wm1-f67.google.com ([209.85.128.67]:35265) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gbrk1-0007uS-I6 for 33866@debbugs.gnu.org; Tue, 25 Dec 2018 13:47:45 -0500 Received: by mail-wm1-f67.google.com with SMTP id t200so1895038wmt.0 for <33866@debbugs.gnu.org>; Tue, 25 Dec 2018 10:47:45 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version; bh=sAEDMKQ/OigMPJdWuBSaSHfx15oSO9PYnw5dBExBf04=; b=L2DgpFfScsxoSFqQUNobOnj8Z76S8KW1iasH/rXK73bHCFzojScEGfmKkH7WLdFiOC H8M8cOLUHzlwDVswaGRJ0XnyB5gi9oi/osYWwW/5h/fcvbC8o3FBj40mWAOb7ymATLix 5d3t2cr4BwnPmO0pRxiIFBAuBC3yMvNEf33P7kaMS4Fwq/3L89bmoZdNLtkzw5WhaFWG yKCss7XUFu3REWjYGwqvs8vp0gtUPFirRQtNtYHW93cICVxrWehp/YxWgggEAdDJGo0i XAt45hEH4pAdON/oMxjOAerN24JeeJs2hMFd9sN9hTUjCI3tMdMOKQkGcH+wwYRSx2F5 5mDQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version; bh=sAEDMKQ/OigMPJdWuBSaSHfx15oSO9PYnw5dBExBf04=; b=ChZf8Pv5qFYPZ7RQN4DKv5UTYhWJexf5BZPsfhH+qjkJYajrjmlhRokK2ht59jAXSz ChQmVlwkumwhPrWsyRa6QyplM0S4hcf2bOi2iPmZxGFw7c029Tl1+oFAomP25jFOpFav FM6sB2jEYVIlRKR4vnN2eRaDXcClk/Ys094aYodTsOLfj003na9curSqvuTzCpF3fRd7 vLwfCqmFJSoHEC6mt16NzqQn2jp1cpDvDEuUWXHv2RmRVKN366971hHJg0SUOWOLu6za sc7WMCZRWqUeh3eZlHgjTG+h+T3wf4L33oh41FTeSEJugdkR3jlETj67Z6m84nXH3Ex/ lC4Q== X-Gm-Message-State: AA+aEWaNPOgVcinCgQ+J/MbV/7xcIDVW4SfSe+kVJepM6StMDzzlXaYT jU6XUVfZriSvPFTKgp9oOC9dMGge X-Google-Smtp-Source: AFSGD/XzQ0CAve5+0fEaFGmb4G4/lqthr1jKRoYIAy/9K0ohar269bzYslVkC2ZBGRY5ItFwZbGxlw== X-Received: by 2002:a1c:1c8:: with SMTP id 191mr15852781wmb.150.1545763659659; Tue, 25 Dec 2018 10:47:39 -0800 (PST) Received: from glht-x240.gmail.com ([80.12.58.205]) by smtp.gmail.com with ESMTPSA id q14sm18208514wrw.39.2018.12.25.10.47.35 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Tue, 25 Dec 2018 10:47:38 -0800 (PST) References: <87zhstx41e.fsf@gmail.com> <20181225185155.038cee5b@lepiller.eu> User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet In-reply-to: <20181225185155.038cee5b@lepiller.eu> Date: Tue, 25 Dec 2018 19:47:32 +0100 Message-ID: <87va3hwiij.fsf@gmail.com> MIME-Version: 1.0 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: 208.118.235.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 33866@debbugs.gnu.org Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/emacs.scm (emacs-flycheck-dedukti): New variable. --- gnu/packages/emacs.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/emacs.scm b/gnu/packages/emacs.scm index 02fd25fef..70cf96614 100644 --- a/gnu/packages/emacs.scm +++ b/gnu/packages/emacs.scm @@ -12876,3 +12876,27 @@ too ambiguous and navigation in the result buffer.") (description "This package provides an Emacs major mode for editing Dedukti files.") (license license:cecill-b)))) + +(define-public emacs-flycheck-dedukti + (let ((commit "3dbff5646355f39d57a3ec514f560a6b0082a1cd")) + (package + (name "emacs-flycheck-dedukti") + (version (git-version "0" "0" commit)) + (home-page "https://github.com/rafoo/flycheck-dedukti") + (source (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit commit))) + (sha256 + (base32 + "1ffpxnwl3wx244n44mbw81g00nhnykd0lnid29f4aw1av7w6nw8l")) + (file-name (git-file-name name version)))) + (build-system emacs-build-system) + (inputs + `(("dedukti-mode" ,emacs-dedukti-mode) + ("flycheck-mode" ,emacs-flycheck))) + (synopsis "Flycheck integration for the dedukti language") + (description "This package provides a frontend for Flycheck to perform +syntax checking on dedukti files.") + (license license:cecill-b))))