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

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Julien Lepiller <julien <at> lepiller.eu>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#56356: closed ([WIP PATCH] gnu: dedukti: Update to 1.7.)
Date: Thu, 03 Nov 2022 13:08:03 +0000

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

Your message dated Thu, 3 Nov 2022 14:07:39 +0100
with message-id <20221103140739.0b38781e <at> 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 <at> gnu.org.)


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

[Message part 2 (message/rfc822, inline)]

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 3 (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 part 5 (message/rfc822, inline)]

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.