[bug#70567] [PATCH 0/7] frama-c: Update to 28.1.

[Arnaud Daby-Seesaram]

Hi,

Thank you for these patches.  I confirm that the patches do apply, and
that packages build.

That said, I still experience an issue when trying to run frama-c.
I can enter a `guix shell frama-c` environment, but then:

- `frama-c --version` outputs "28.1 (Nickel)", as expected.
  
- `frama-c --help` errors out with the following error:
    | Unexpected error (The library "frama-c-alias.core" can't be found
    | in the search paths
    | "/gnu/store/psmc4940aa9bj23dddkglv0p2yhi05kn-ocaml-4.14.1/lib".).
  together with a backtrace.


Note: this issue is also present in Guix for frama-c version
      27.1 (Cobalt).


I am missing additional packages (maybe in another channel) which would
provide frama-c-* packages?


Orthogonal comment: should "http://"; be replaced by "https://";?


Best regards,

-- 
Arnaud

signature.asc
Description: PGP signature