From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([208.118.235.92]:42355) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gbqoH-0007Z8-LO for guix-patches@gnu.org; Tue, 25 Dec 2018 12:48:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gbqoE-00019m-HJ for guix-patches@gnu.org; Tue, 25 Dec 2018 12:48:05 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:47079) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gbqoE-00019a-EF for guix-patches@gnu.org; Tue, 25 Dec 2018 12:48:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gbqoE-0006SA-0H for guix-patches@gnu.org; Tue, 25 Dec 2018 12:48:02 -0500 Subject: [bug#33866] [PATCH] gnu: Add emacs-dedukti-mode emacs-flycheck-dedukti. Resent-Message-ID: Date: Tue, 25 Dec 2018 18:46:54 +0100 From: Julien Lepiller Message-ID: <20181225184654.6ccc561a@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_/kiS3KhPxpgUOk4e0WXC.ep2"; 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_/kiS3KhPxpgUOk4e0WXC.ep2 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))) Thank you! I'm not an emacs-package expert, but they look fine, except: please add a copyright line for yourself at the beginning of the file the version numbers don't follow what can be found elsewhere. I've never used it, but it seems that you can use git-version instead of "git". Can you try that? Thank you!=20 --Sig_/kiS3KhPxpgUOk4e0WXC.ep2 Content-Type: application/pgp-signature Content-Description: Signature digitale OpenPGP -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEtfrmKFtBNyiyoPrtQxEfRSAIagwFAlwibQ4ACgkQQxEfRSAI agxj9w//WfiJVlJEl9DdlpyQEGHG97fbXBqWhYf4ffGte560hvR3vgXUl3PavMhR g3O2hyq7FR8S6VNzNeZB/amrT9QnIa38YHvlwsV/Zmo8LhSAHn1r89vYcMV7fEI1 M1r2Idqm+P+IDPhg7andobtuH2cPcClhSOClvZNgtdk6/B9nMH86PYdCNkNACGZ8 Ogng7lNh9rt/d2DfT5yUtrGGp0cI+vaXLu8PbO4le7aS5ZM2Jhhpyz1Cbc7stAu5 r0Iy18ksybmfxv9NTi/ntchDaMVgZYSyone381aj/IoJTRwfqR4XqLDtoyNwqsPH kHF9S4UQG1ee5jsp+FiirHY+z7a2hqKt830XktCAmlaceC/zq0sIOZejVWBuMOYd q+5R+qrm4eJO11ZRPRqBBQqyT5SDP6mQP+GBMkA+g/Xcz9NjxwvWqmFXeD+F+iqp 4aiCfAUm6ceGbOzx6XADdztT3KAnmAVOWLVHvLuG9d92/SXUXG6mxK/izx8CfSnQ 7YL87iC6GDWORiqLlKst8dVAOghIFZVSf5c2aw/gCt7aFiJ/THGwVd4Q8cHJmjcW Eu7e03UBxH4dCRB5KfoYbiXf8MCkM5KVjj+Qk8DbBKfN6FVlmcFjj9iGHsleahPx 97wFew8g9DgwE1PXviaLkgNEF8AhdADGPVeDJOVRlxkUcDaHthU= =Ot0H -----END PGP SIGNATURE----- --Sig_/kiS3KhPxpgUOk4e0WXC.ep2--