[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#38635] [WIP PATCH v2] Add why3 and frama-c
From: |
Julien Lepiller |
Subject: |
[bug#38635] [WIP PATCH v2] Add why3 and frama-c |
Date: |
Wed, 2 Sep 2020 15:05:30 +0200 |
Hi Guix!
I've updated my patches to the newest versions of why3 and frama-c. The
issue is still present as before:
$ frama-c --help
[kernel] User Error: cannot load plug-in 'zip': cannot load module
Details: error loading shared library: Dynlink.Error
(Dynlink.Cannot_open_dll
"Failure(\"/gnu/store/jrbkl0ls1vqnr1w7gcbg8jlxcd1jp71m-profile/lib/ocaml/site-lib/zip/zip.cmxa:
invalid ELF header\")") [kernel] User Error: cannot load plug-in
'why3': cannot load module Details: error loading shared library:
Dynlink.Error (Dynlink.Cannot_open_dll
"Failure(\"/gnu/store/jrbkl0ls1vqnr1w7gcbg8jlxcd1jp71m-profile/lib/ocaml/site-lib/why3/why3.cmxs:
undefined symbol: camlGzip\")") [kernel] User Error: cannot load
plug-in 'frama-c-wp': cannot load module Details: error loading shared
library: Dynlink.Error (Dynlink.Cannot_open_dll
"Failure(\"/gnu/store/bicyz7li6bvrxh4kh2h1dc5398bx5xsm-frama-c-21.1/lib/frama-c/plugins/top/Wp.cmxs:
undefined symbol: camlWhy3__Theory\")") [kernel] User Error: Deferred
error message was emitted during execution. See above messages for more
information. [kernel] Frama-C aborted: invalid user input.
0001-gnu-Add-why3.patch
Description: Text Data
0002-gnu-Add-frama-c.patch
Description: Text Data
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [bug#38635] [WIP PATCH v2] Add why3 and frama-c,
Julien Lepiller <=