GNU bug report logs - #38635
[WIP PATCH] Add why3 and frama-c

Previous Next

Package: guix-patches;

Reported by: Julien Lepiller <julien <at> lepiller.eu>

Date: Mon, 16 Dec 2019 11:47:02 UTC

Severity: normal

Tags: patch

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

Bug is archived. No further changes may be made.

Full log

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

From: Julien Lepiller <julien <at> lepiller.eu>
To: 38635 <at> debbugs.gnu.org
Subject: Re: [bug#38635] [PATCH v3] Add why3 and frama-c
Date: Thu, 29 Apr 2021 22:39:18 +0200

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

I updated my patches to the latest version of frama-c, and the issue is
gone now! Frama-c is working, as long as ocaml is in the environment
(because it's calling ocaml-findlib that needs an environment variable
defined by the ocaml package).

[0001-gnu-Add-why3.patch (text/x-patch, attachment)]
[0002-gnu-Add-frama-c.patch (text/x-patch, attachment)]
This bug report was last modified 3 years and 359 days ago.

Previous Next

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