Frama-C upgrade installation not foolproof
ID0002223: This issue was created automatically from Mantis Issue 2223. Further discussion may take place here.
|ID0002223||Frama-C||Kernel > Makefile||public||2016-04-11||2016-05-10|
|Priority||normal||Severity||text||Reproducibility||have not tried|
|Product Version||-||Target Version||-||Fixed in Version||-|
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.