GNU bug report logs - #55552
frama-c should probably be wrapped

Previous Next

Full log

View this message in rfc822 format

From: raingloom <raingloom <at> riseup.net>
To: Julien Lepiller <julien <at> lepiller.eu>
Cc: 55552 <at> debbugs.gnu.org
Subject: bug#55552: frama-c should probably be wrapped
Date: Thu, 2 Jun 2022 17:28:07 +0200

On Thu, 2 Jun 2022 07:57:19 +0200
Julien Lepiller <julien <at> lepiller.eu> wrote:

> Le Fri, 20 May 2022 13:36:54 +0200,
> raingloom <raingloom <at> riseup.net> a écrit :
> 
> > Sorry, can't debug this further right now.
> > 
> > ```
> > $(guix build frama-c)/bin/frama-c
> > [kernel] User Error: [findlib] package 'ocamlgraph' not found
> > (required by `frama-c.kernel') [kernel] User Error: Deferred error
> > message was emitted during execution. See above messages for more
> > information. [kernel] Frama-C aborted: invalid user input. ```
> > 
> > Running it with `guix shell frama-c -- frama-c` just makes it exit
> > without any output.
> > 
> > 
> >   
> 
> Hi, I think it's a duplicate of https://issues.guix.gnu.org/54094 ?
> I think it's just a matter of defining OCAMLPATH. Do you think you
> could come up with a patch?

Oh, I totally forgot about that. Well, I'll try to write something, but
it'll probably have to wait until my exams are over.

Previous Next

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