frama-c doesn't start

  • Done
  • quality assurance status badge
Details
3 participants
  • jgart
  • 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.
J
Closed
?
Your comment

This issue is archived.

To comment on this conversation send an email to 54094@debbugs.gnu.org

To respond to this issue using the mumi CLI, first switch to it
mumi current 54094
Then, you may apply the latest patchset in this issue (with sign off)
mumi am -- -s
Or, compose a reply to this issue
mumi compose
Or, send patches to this issue
mumi send-email *.patch