From mboxrd@z Thu Jan 1 00:00:00 1970 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 Subject: [bug#33866] [PATCH] gnu: Add emacs-dedukti-mode emacs-flycheck-dedukti. Resent-Message-ID: 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) 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) From: Gabriel Hondet Date: Tue, 25 Dec 2018 11:57:48 +0100 Message-ID: <87zhstx41e.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: 33866@debbugs.gnu.org --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable * gnu/packages/emacs.scm (emacs-dedukti-mode emacs-flycheck-dedukti): New v= ariable. =2D-- 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 =2D-- 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 De= dukti +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))) =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlwiDk0ACgkQMbyBBfZZ 1CVA1g/8Dg4zgC55tMPzPA8dqyhUvnEze5uSzPH91dYNOvdVyIPuYtCkyulSVRQ7 nhpjX/Wsn3gAElyzTgjXWg8axwReAmFarnltLa58jr8gJtBJ0ZaeIQzABqd9wWhj iI8G/qxEVx6LWWqKulHNsr9mc7Mij4uhrhBaCZOlvJkrQKRwli63ifMsOioYGoOA 76fnJvj3SomqPm3UI32UHUTjEait8leWRI68+WgwzMK9hcJmr1hXFe5up5YGL4pf nV9b0ST/aU2ueae2tZTKU775pd7ROUEaM/mXxINSWnxe2/ghC+UV6c37l547e8Jb vSc3pguf8J6bcSLLKNS0i74QWp9o8nK6SFa3YvONJZst9mLEdI1I+JGdfyXvs/po U5Maax9gJGV9cDdC8gG4UBOFuEWG1rc2wxO9hFj2PJerBNMTOF91LYcWtufsDqpo 7vcxIB0jYE2y/5cfggqHvCRf6Vkg7kUu0MkGNCVNM8weC3hQ/dfcMDtU0PcwKd1q fc0H7rf3tGEkzWOX4fYBS8MUCTz3yw35TYQ+9oxpwW8MUMhDzAirfWGUmNeC6yBL c3N7XTR1Ykmg2p/yUrjLSYMFrlQjzpOnlOVvymKUdRw0oyVsqxWeEB+6O0YlQxrc P2wLGOeSE0LN4atdiQ+953lKqNPM2HfrPkym5du/lEsKmXyhMPM= =1vz+ -----END PGP SIGNATURE----- --=-=-=--