bug#56356: closed ([WIP PATCH] gnu: dedukti: Update to 1.7.)

[GNU bug Tracking System]

Your message dated Thu, 3 Nov 2022 14:07:39 +0100
with message-id <20221103140739.0b38781e@sybil.lepiller.eu>
and subject line Re: bug#56356: [WIP PATCH] gnu: dedukti: Update to 1.7.
has caused the debbugs.gnu.org bug report #56356,
regarding [WIP PATCH] gnu: dedukti: Update to 1.7.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
56356: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=56356
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: [WIP PATCH] gnu: dedukti: Update to 1.7. Date: Sat, 2 Jul 2022 13:42:01 +0200

Hi Guix and Gabriel,

Gabriel, since you provided the initial patch to add dedukti and the
emacs mode, I thought you might be interested, so I CC'd you. Feel free
to ignore if you've moved to something else :)

Attached is a patch to update dedukti to the latest version, 1.7. The
patch works and dedukti seems to be working, though I don't really know
how to use it, so maybe not :)

The issue is with its dependent emacs-dedukti-mode. It embeds a
reference to the "dkcheck" tool that does not exist in this version of
the package. Instead, you're supposed to call "dk check" (the --help
still mentions dkcheck, so maybe I did something wrong in packaging?)

I noticed that emacs-dedukti-mode is 5 years old and unmaintained
upstream, while there is a dedukti-mode provided in the git repository
of dedukti that is only 2 years old. I don't use emacs and I don't know
how to solve this issue, so I'm not updating the package yet.

I'd appreciate some help, either to find a better substitution pattern
in the current emacs-dedukti-mode package, or to package the one
provided by dedukti, or maybe to figure out another direction I didn't
see :)

0001-gnu-dedukti-Update-to-2.7.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#56356: [WIP PATCH] gnu: dedukti: Update to 1.7.
>
>
>
>
> Date: 
>
> Thu, 3 Nov 2022 14:07:39 +0100
>
>
>
>
> Pushed to master as e2802132e36ea8157da1c1c06217e4561b6cd79f, thanks!
>
> Le Sun, 17 Jul 2022 20:30:38 +0200,
> Ludovic Courtès <ludo@gnu.org> a écrit :
>
> > Saluton! :-)
> > 
> > Julien Lepiller <julien@lepiller.eu> skribis:
> > 
> > > From cd89e04ea72c18d59a01baccc9311b5070c845a4 Mon Sep 17 00:00:00
> > > 2001 From: Julien Lepiller <julien@lepiller.eu>
> > > Date: Sat, 2 Jul 2022 13:36:08 +0200
> > > Subject: [PATCH] gnu: dedukti: Update to 2.7.
> > >
> > > * gnu/packages/ocaml.scm (dedukti): Update to 2.7.  
> > 
> > If it works for both of you, I’d say go for it!
> > 
> > Ludo’.
>
>
>
> --- End Message ---