From patchwork Tue Dec 25 10:57:48 2018 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 540 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 88FEE16996; Tue, 25 Dec 2018 11:03:17 +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 203DB1695C for ; Tue, 25 Dec 2018 11:03:17 +0000 (GMT) Received: from localhost ([127.0.0.1]:40450 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gbkUW-0007X2-L6 for patchwork@mira.cbaines.net; Tue, 25 Dec 2018 06:03:16 -0500 Received: from eggs.gnu.org ([208.118.235.92]:33067) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gbkUM-0007Wv-K4 for guix-patches@gnu.org; Tue, 25 Dec 2018 06:03:07 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gbkUI-00022j-L8 for guix-patches@gnu.org; Tue, 25 Dec 2018 06:03:06 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:37814) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gbkUI-000229-5a for guix-patches@gnu.org; Tue, 25 Dec 2018 06:03:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gbkUH-0002PE-VA for guix-patches@gnu.org; Tue, 25 Dec 2018 06:03:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#33866] [PATCH] gnu: Add emacs-dedukti-mode emacs-flycheck-dedukti. Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 25 Dec 2018 11:03:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 33866 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 33866@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.15457357779236 (code B ref -1); Tue, 25 Dec 2018 11:03:01 +0000 Received: (at submit) by debbugs.gnu.org; 25 Dec 2018 11:02:57 +0000 Received: from localhost ([127.0.0.1]:35729 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gbkUD-0002Ou-3y for submit@debbugs.gnu.org; Tue, 25 Dec 2018 06:02:57 -0500 Received: from eggs.gnu.org ([208.118.235.92]:40805) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gbkU9-0002Of-Sf for submit@debbugs.gnu.org; Tue, 25 Dec 2018 06:02:55 -0500 Received: from lists.gnu.org ([208.118.235.17]:50084) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gbkU4-0001j8-Ep for submit@debbugs.gnu.org; Tue, 25 Dec 2018 06:02:48 -0500 Received: from eggs.gnu.org ([208.118.235.92]:33038) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gbkU3-0007UV-EA for guix-patches@gnu.org; Tue, 25 Dec 2018 06:02:48 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gbkTy-0001co-NY for guix-patches@gnu.org; Tue, 25 Dec 2018 06:02:47 -0500 Received: from mail-wr1-x42f.google.com ([2a00:1450:4864:20::42f]:37512) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gbkTx-0001a6-Tx for guix-patches@gnu.org; Tue, 25 Dec 2018 06:02:42 -0500 Received: by mail-wr1-x42f.google.com with SMTP id s12so13436148wrt.4 for ; Tue, 25 Dec 2018 03:02:41 -0800 (PST) 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=JeBj+HHssu8Z8vCQOKQD1er91LYN0vHdoaAf8AejUeU=; b=MR5weMHlI2bqd68d9iC8LkiPOVO6ZnaANaDRJR940gMWDnw68/in+uDvIDzwU0OQmr z2TB63HkAmlLZByYNSACJPfYWXhoH5aXRnRYmtoxmCo3Hwx4Hta5E20WV3GX8rUlyzdU hyuwM/0ryEJTuDcuJCy7yh26zPP41YRT4rEA1RCjRnqUi65LHV/an67WSEYEQi9BHFxX Jf1U+eTMag0l5dEs0lBoGIHDuIdIgW0K+FqeUuyNeTMgFldhJ3Bo2rGyLQBlv/urc7ur 26W9QnNkyBwiSHvUCr4Q2wKa05wq0fEy5/y74Q1xbAW9+aP6lMyflioh51fJVAc2dOZe SNiw== 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=JeBj+HHssu8Z8vCQOKQD1er91LYN0vHdoaAf8AejUeU=; b=mx3dX3RMkHUXA+dWaLIGDDvod8Y3vcviieYELL/HyB4gQlhCRLQpBZFbQJ3fxRZhux 5lXsLS2586AONqj47b0qrGLOdxxBsgXMGEjP+Knz5X2A/uJrMqMKNqGuXn7Wi3o6nqMb zjlaOtCrzGHgX10Cj5n/p/hCtJzpFHdJHeR7JHnpMnoSXdb+TU/J3Tv75v5NScCvE5/v DbtCDH1nnbE8+uZld0t+70dBgFmGVxETFd9O9lVuMKoK9nN9TMiWmbZtBPoE9efBKW4Q 5xTgJ5WGKsdaQblJ/Hlzy4teMUAlAvZe0u+Gta1RZAU4zLuPiPh/wjCNNL1lf8wINJJZ SRyA== X-Gm-Message-State: AJcUukcqSxgSv8Yfdbv8Rf1LO3J9walb7ZvP4bY4ebeES08BeorrKkRG y+53eMEPk0vjauxoRm9uscYzUmGV X-Google-Smtp-Source: ALg8bN4MIkHCbTOPdIh3et4W5X9CZPOPR2UU6SDJNA0OOiCvnjVLWX+WaypnDLu2tnFHi6uz6xeskQ== X-Received: by 2002:adf:eec9:: with SMTP id a9mr14463278wrp.242.1545735760756; Tue, 25 Dec 2018 03:02:40 -0800 (PST) Received: from glht-x240.gmail.com ([80.12.58.115]) by smtp.gmail.com with ESMTPSA id 202sm28626964wmt.8.2018.12.25.03.02.39 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Tue, 25 Dec 2018 03:02:39 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Tue, 25 Dec 2018 11:57:48 +0100 Message-ID: <87zhstx41e.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: 208.118.235.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 * gnu/packages/emacs.scm (emacs-dedukti-mode emacs-flycheck-dedukti): New variable. --- gnu/packages/emacs.scm | 43 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) diff --git a/gnu/packages/emacs.scm b/gnu/packages/emacs.scm index 7fdcfb1a3..8c8ae6fb9 100644 --- a/gnu/packages/emacs.scm +++ b/gnu/packages/emacs.scm @@ -12854,3 +12854,46 @@ 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 + (package + (name "emacs-dedukti-mode") + (version "git") + (home-page "https://github.com/rafoo/dedukti-mode") + (source (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit "d7c3505a1046187de3c3aeb144455078d514594e"))) + (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))) + +(define-public emacs-flycheck-dedukti + (package + (name "emacs-flycheck-dedukti") + (version "git") + (home-page "https://github.com/rafoo/flycheck-dedukti") + (source (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit "3dbff5646355f39d57a3ec514f560a6b0082a1cd"))) + (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)))