From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([208.118.235.92]:43353) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gbqt7-00085U-3X for guix-patches@gnu.org; Tue, 25 Dec 2018 12:53:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gbqt3-0006as-VA for guix-patches@gnu.org; Tue, 25 Dec 2018 12:53:05 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:59126) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gbqt3-0006af-Qy for guix-patches@gnu.org; Tue, 25 Dec 2018 12:53:01 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gbqt3-0006aE-O1 for guix-patches@gnu.org; Tue, 25 Dec 2018 12:53:01 -0500 Subject: [bug#33866] [PATCH] gnu: Add emacs-dedukti-mode emacs-flycheck-dedukti. Resent-Message-ID: Date: Tue, 25 Dec 2018 18:51:55 +0100 From: Julien Lepiller Message-ID: <20181225185155.038cee5b@lepiller.eu> In-Reply-To: <87zhstx41e.fsf@gmail.com> References: <87zhstx41e.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; boundary="Sig_//PnGQ15D.APQgc6UnYhrPW8"; 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: Gabriel Hondet Cc: 33866@debbugs.gnu.org --Sig_//PnGQ15D.APQgc6UnYhrPW8 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Le Tue, 25 Dec 2018 11:57:48 +0100, Gabriel Hondet a =C3=A9crit : > * gnu/packages/emacs.scm (emacs-dedukti-mode emacs-flycheck-dedukti): > New variable. --- > gnu/packages/emacs.scm | 43 > ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 43 > insertions(+) >=20 > 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))) Also, please send two separate patches, one per package :) --Sig_//PnGQ15D.APQgc6UnYhrPW8 Content-Type: application/pgp-signature Content-Description: Signature digitale OpenPGP -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEtfrmKFtBNyiyoPrtQxEfRSAIagwFAlwibjsACgkQQxEfRSAI agzexw/9GcWbQazLE0wl8yPVNyB7jiKkCIMajO8XA9sYwNCqN5pzuB3elakIKzEv yk816fH9lNkh7PyTv2gOWi03cfNHq90xEfu4DpbFgtROMpx3NF5qhZNLwyazR/mI sklxQv1zWCnhN34kScfJdYkTiH4fVZ5VJSKr42Ts1GLtlV7XPtG/6RQWVfnSsrY6 4cK9Hq28v6vkkJPqBc1PuGbPRVxRCGbJvgPa7aOwDCxvtZEi6G9BWhQ4bIKrJTTe Cjn4Ov3dpYcD1bOTu2jo51Xj7mEJgj0UjJfKle8jB1KAJlnVF5mlH3YH5dmzjYxR mMnkWnPEy0YcTbtYy03eohVf9v4giAwuvwxE3RZ5/sF+ZNe1bqd6McZed6jvPtRG SxfmjNyoutlcPEN8h6LwVG6tp9249h6sgpRh72IN8R3OnfUumYN5536az7UzWrLU GsLi2aBRKQRu7KCAHi19f8Mc4/tyqQVPy9rKRjTEdCdmku0bcHYIut/KFtPGbIsZ W++qVsH/Kzlo3Hqy8o7xrsBHN8QJRLdqe5Q7t5WUt7laiL3S7YbumnwQ+jIqo2Ir oOAWIrRbU5ptUlReePNtTWNV2DWgE4MvYHk78E3DpyUuV2h2BelI5zEUH1WfoP+f x57woiOvT3P9y4bWLSuulajnZ5uI0fskLyI/tCLTtS/I2FgmWRw= =ABUg -----END PGP SIGNATURE----- --Sig_//PnGQ15D.APQgc6UnYhrPW8--