Frama-C upgrade installation not foolproof
ID0002223: This issue was created automatically from Mantis Issue 2223. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002223 | Frama-C | Kernel > Makefile | public | 2016-04-11 | 2016-05-10 |
| Reporter | Jochen | Assigned To | virgile | Resolution | open |
| Priority | normal | Severity | text | Reproducibility | have not tried |
| Platform | Sodium-20150201 | OS | - | OS Version | 14.04.1-Ubuntu |
| Product Version | - | Target Version | - | Fixed in Version | - |
Description :
I tried to follow the file "acslplusplus/frama-c/INSTALL" in order to upgrade Frama-C from version "Sodium-20150201" to the current version in the acslplusplus/frama git repository. The file "install.log" documents my attempts; lines starting with "sh> #" are comments I added subsequently to explain my motives; other lines starting with "sh>" are my command-line inputs; the rest is opam output.
As I've done everything in a newly cloned virtual machine, the state before the first and after the last command-line input is preserved, so if any particular information is needed, let me know, there is a good chance that I can provide it.