Can't install E-ACSL plugin
ID0002213: This issue was created automatically from Mantis Issue 2213. Further discussion may take place here.
|ID0002213||Frama-C||Plug-in > E-ACSL||public||2016-02-26||2017-01-18|
|Reporter||George Karpenkov||Assigned To||signoles||Resolution||fixed|
|Product Version||Frama-C Magnesium||Target Version||-||Fixed in Version||Frama-C 14-Silicon|
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.