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. ## Attachments - [install.log](/uploads/5806bb58a2b823255e3d21a32e1f9da6/install.log) - [install_122.log](/uploads/a0a17caf1faf77e9182e02f1c5eb393e/install_122.log)