[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#38635] [PATCH v3] Add why3 and frama-c
From: |
Julien Lepiller |
Subject: |
[bug#38635] [PATCH v3] Add why3 and frama-c |
Date: |
Thu, 29 Apr 2021 22:39:18 +0200 |
Hi Guix!
I updated my patches to the latest version of frama-c, and the issue is
gone now! Frama-c is working, as long as ocaml is in the environment
(because it's calling ocaml-findlib that needs an environment variable
defined by the ocaml package).
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] [PATCH v3] Add why3 and frama-c,
Julien Lepiller <=