GNU bug report logs - #54094
frama-c doesn't start

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 54094 in the body.
You can then email your comments to 54094 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: raingloom <raingloom <at> riseup.net>
To: Guix Bugs <bug-guix <at> gnu.org>
Subject: frama-c doesn't start
Date: Mon, 21 Feb 2022 22:13:07 +0100

I was just idly messing around so I'm not super motivated to dig
deeper.

```
guix shell frama-c -- 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.
```

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

From: Julien Lepiller <julien <at> lepiller.eu>
To: raingloom <raingloom <at> riseup.net>, 54094 <at> debbugs.gnu.org
Subject: Re: bug#54094: frama-c doesn't start
Date: Mon, 21 Feb 2022 22:22:14 +0100

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

guix shell ocaml ocaml-findlib frama-c

Should work :)

Ocaml is needed to define OCAMLPATH, ocaml-findlib is what frama-c is missing. Should we wrap the binary?

On February 21, 2022 10:13:07 PM GMT+01:00, raingloom <raingloom <at> riseup.net> wrote:
>I was just idly messing around so I'm not super motivated to dig
>deeper.
>
>```
>guix shell frama-c -- 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.
>```
>
>
>

[Message part 2 (text/html, inline)]

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

From: raingloom <raingloom <at> riseup.net>
To: Julien Lepiller <julien <at> lepiller.eu>
Cc: 54094 <at> debbugs.gnu.org
Subject: Re: bug#54094: frama-c doesn't start
Date: Tue, 22 Feb 2022 01:35:42 +0100

On Mon, 21 Feb 2022 22:22:14 +0100
Julien Lepiller <julien <at> lepiller.eu> wrote:

> guix shell ocaml ocaml-findlib frama-c
> 
> Should work :)
> 
> Ocaml is needed to define OCAMLPATH, ocaml-findlib is what frama-c is
> missing. Should we wrap the binary?
> 
> On February 21, 2022 10:13:07 PM GMT+01:00, raingloom
> <raingloom <at> riseup.net> wrote:
> >I was just idly messing around so I'm not super motivated to dig
> >deeper.
> >
> >```
> >guix shell frama-c -- 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. ```
> >
> >
> >  

> Should we wrap the binary?
Definitely. Binaries are supposed to just work as far as I know.

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

From: "jgart" <jgart <at> dismail.de>
To: 54094-done <at> debbugs.gnu.org
Cc: Julien Lepiller <julien <at> lepiller.eu>, Csepp <raingloom <at> riseup.net>
Subject: Re: frama-c doesn't start
Date: Mon, 24 Jun 2024 20:08:05 +0000

Hi,

This is now fixed in https://issues.guix.gnu.org/71748

Thanks,

jgart

https://whereis.みんな/

Previous Next

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