From mboxrd@z Thu Jan 1 00:00:00 1970 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 Subject: [bug#33866] [PATCH 2/2] gnu: Add emacs-flycheck-dedukti. Resent-Message-ID: References: <87zhstx41e.fsf@gmail.com> <20181225185155.038cee5b@lepiller.eu> 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 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Julien Lepiller Cc: 33866@debbugs.gnu.org --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable * gnu/packages/emacs.scm (emacs-flycheck-dedukti): New variable. =2D-- 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 =2D-- 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 perfo= rm +syntax checking on dedukti files.") + (license license:cecill-b)))) =2D-=20 2.20.1 On Tue 25 Dec 2018 at 18:51 Julien Lepiller wrote: > Also, please send two separate patches, one per package :) And here is the 2nd! --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlwie0QACgkQMbyBBfZZ 1CWVsA//YUJ8Qw2ucDQVjdiagdBHomjAgN0VSbLdsS3wirm+wHKIbFZ0GS7LK6IE vwJ/NgRKKylW/ub/t4+QlVpxGtkMF0rEGKzax0Gk80MqnqElUCyuN/Fm86iodtPR SArs2/aTGgJsgkKjzb38B6gNnOcLIMFfK+N5ngb1y3JO3MlLUZMMzZOvVERNH2bQ 64HMXcI/iViBJj+mYIGAb9fSDlCHY9zILDlAeruDWt799aUwJKjMpze9gFOWzsMk leXY+nnBW5eTW90VVOUaX/olft2wg0crt5iQm69La8efhg5xchRwIORfODu7/HVX pJ4YvNsFDhqM0ZUiVZUgmrQJG1Ztj0PaEHq1OAobKXIzq38Eu1XHYE6IoqgoDfdb GOe1aAzuS+bxBSmM+Wa3Zg9UF4rpRk+EAZHLMXLukIGuG3vEN6VNS8SSqtkFhJfH mfL2Gljh1Tc+XA/FTNgblrrSExo0r4NyD/f8ASMaGjK4+/4ek0r9IWFoJWfXtJpR Gz7OQ+0EWIKjvN0s/8+HabpxLWXWoF00S9n9I1zm63QxhPrQAA+YqdeYpIV9irhQ k6OIAfOtkxvkTdYrhqfmklE0+OXMJmrEZDRzgPHaAizYVV7y8hJ6aCQtycbOpWJr AFLqCYdxsadSO36UokxB/p2MpjO3i2gk6KYVRElOM8kAa5LGE2Q= =AgOu -----END PGP SIGNATURE----- --=-=-=--