frama-c doesn't start

  • Open
  • quality assurance status badge
Details
2 participants
  • Julien Lepiller
  • raingloom
Owner
unassigned
Submitted by
raingloom
Severity
normal
R
R
raingloom wrote on 21 Feb 2022 22:13
(name . Guix Bugs)(address . bug-guix@gnu.org)
20220221221307.26fdd05b@riseup.net
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.
```
J
J
Julien Lepiller wrote on 21 Feb 2022 22:22
C634777A-BB1B-4D78-9711-43394949716F@lepiller.eu
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@riseup.net> wrote:
Toggle quote (12 lines)
>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.
>```
>
>
>
Attachment: file
R
R
raingloom wrote on 22 Feb 2022 01:35
(name . Julien Lepiller)(address . julien@lepiller.eu)(address . 54094@debbugs.gnu.org)
20220222013542.32ff9ee5@riseup.net
On Mon, 21 Feb 2022 22:22:14 +0100
Julien Lepiller <julien@lepiller.eu> wrote:

Toggle quote (23 lines)
> 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@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.
?