frama-c doesn't start

  • Done
  • quality assurance status badge
Details
3 participants
  • jgart
  • Julien Lepiller
  • raingloom
Owner
unassigned
Submitted by
raingloom
Severity
normal

Debbugs page

raingloom wrote 3 years ago
(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.
```
Julien Lepiller wrote 3 years ago
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
raingloom wrote 3 years ago
(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.
jgart wrote 8 months ago
Re: frama-c doesn't start
(address . 54094-done@debbugs.gnu.org)
adb862a91a915d89963a7fe360e9eb3acc8dc39e@dismail.de
Hi,


Thanks,

jgart

https://whereis.みんな/
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
You may also tag this issue. See list of standard tags. For example, to set the confirmed and easy tags
mumi command -t +confirmed -t +easy
Or, remove the moreinfo tag and set the help tag
mumi command -t -moreinfo -t +help