Can't install E-ACSL plugin
ID0002213: This issue was created automatically from Mantis Issue 2213. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002213 | Frama-C | Plug-in > E-ACSL | public | 2016-02-26 | 2017-01-18 |
| Reporter | George Karpenkov | Assigned To | signoles | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Magnesium | Target Version | - | Fixed in Version | Frama-C 14-Silicon |
Description :
Hi,
Is E-ACSL 0.5 supposed to work with Frama-C Magnesium? The installation instructions for E-ACSL still read "Frama-C = Sodium-20150201 (no warranty that this plug-in works with a more recent version of Frama-C)".
I've tried updating Frama-C and E-ACSL through OPAM, but E-ACSL description in OPAM requires the previous version of Frama-C. After changing the E-ACSL metadata I could get it installed, but running "frama-c -e-acsl" reported "option ... is unknown".
I've also tried to install E-ACSL plug-in manually, but running ./configure reports "configure: WARNING: e_acsl disabled because rtegen unknown." after which running "make" does nothing.