GNU bug report logs - #56356
[WIP PATCH] gnu: dedukti: Update to 1.7.

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 56356 in the body.
You can then email your comments to 56356 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Julien Lepiller <julien <at> lepiller.eu>
To: guix-patches <at> gnu.org
Cc: Gabriel Hondet <gabrielhondet <at> gmail.com>
Subject: [WIP PATCH] gnu: dedukti: Update to 1.7.
Date: Sat, 2 Jul 2022 13:42:01 +0200

[Message part 1 (text/plain, inline)]

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 (text/x-patch, attachment)]

Message #8 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Gabriel Hondet <gabrielhondet <at> gmail.com>
To: Julien Lepiller <julien <at> lepiller.eu>
Cc: guix-patches <at> gnu.org
Subject: Re: [WIP PATCH] gnu: dedukti: Update to 1.7.
Date: Sun, 10 Jul 2022 11:55:18 +0200

Hi Julien and Guix,

On Sat, Jul 02, 2022 at 01:42:01PM +0200, Julien Lepiller wrote:
> 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 :)

Sorry for the late reply, and thanks a lot for the update, the patch
seems perfect.

> 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 :)

Indeed, the emacs-dedukti-mode is deprecated, it would be better to just
remove it from guix recipes.

Cheers,
Gabriel

Message #11 received at 56356 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Julien Lepiller <julien <at> lepiller.eu>
Cc: Gabriel Hondet <gabrielhondet <at> gmail.com>, 56356 <at> debbugs.gnu.org
Subject: Re: bug#56356: [WIP PATCH] gnu: dedukti: Update to 1.7.
Date: Sun, 17 Jul 2022 20:30:38 +0200

Saluton! :-)

Julien Lepiller <julien <at> lepiller.eu> skribis:

> From cd89e04ea72c18d59a01baccc9311b5070c845a4 Mon Sep 17 00:00:00 2001
> From: Julien Lepiller <julien <at> 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’.

Message #16 received at 56356-done <at> debbugs.gnu.org (full text, mbox):

From: Julien Lepiller <julien <at> lepiller.eu>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: Gabriel Hondet <gabrielhondet <at> gmail.com>, 56356-done <at> debbugs.gnu.org
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 <at> gnu.org> a écrit :

> Saluton! :-)
> 
> Julien Lepiller <julien <at> lepiller.eu> skribis:
> 
> > From cd89e04ea72c18d59a01baccc9311b5070c845a4 Mon Sep 17 00:00:00
> > 2001 From: Julien Lepiller <julien <at> 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’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.