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

Previous Next

To reply to this bug, email your comments to 55552 AT debbugs.gnu.org.

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

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

From: raingloom <raingloom <at> riseup.net>
To: Guix Bugs <bug-guix <at> gnu.org>
Subject: frama-c should probably be wrapped
Date: Fri, 20 May 2022 13:36:54 +0200

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.

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

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

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?

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

From: raingloom <raingloom <at> riseup.net>
To: Julien Lepiller <julien <at> lepiller.eu>
Cc: 55552 <at> debbugs.gnu.org
Subject: Re: 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.