Frama-C package for Raring is "Nitrogen" vs. "Fuorine" is current

Asked by Craig Denman

Visiting the Frama-C website indicates that the current version is "Fluorine" (Apr 2013) vs. the much older version "Nitrogen" (Oct 2011) that is available in Ubuntu Raring.

It would be appreciated if this package was updated to the current release.

Question information

English Edit question
Ubuntu frama-c Edit question
No assignee Edit question
Last query:
Last reply:
Revision history for this message
actionparsnip (andrew-woodhead666) said :

I suggest you report a bug. If the bug and security fixes are significant then it will be updated

Revision history for this message
Craig Denman (cdenman) said :

Following the suggestion above, please see the link to the new version announcement from the author:

The announcement includes a link to the ChangeLog, since "there were too many bug fixes to describe in the announcement."

By the way, I went ahead and compiled and installed (./configure, make, and make install) the version "Fluorine" on my Ubuntu Raring (3.8.0-19) in case there are others wondering. Dependencies must be installed (Google search for Ubuntu package in each case to make sure that you get everything.) with only a couple of odd items that need your attention: 1) Zarith installs into /usr/lib/ocaml/zarith; whereas, the ./configure looks for it in /usr/local/lib/ocaml/3.12.1/zarith so that you need to create a symbolic link from the latter to the former, and; 2) The package ltl2ba is no longer available in Ubuntu -- luckily it is available from Fedora, so download from Fedora and use "sudo alien packagename.rpm to convert to a *.deb package and install the deb package as usual.

Frama-C "Fluorine" apears to work without problems on Ubuntu Raring.

Suggested action:
1. Provide Frama-C "Fluorine" in Raring package.
2. Provide ltl2ba in Raring package (port from Fedora).
3. Fix/repair path for installed Zarith package.

Can you help with this problem?

Provide an answer of your own, or ask Craig Denman for more information if necessary.

To post a message you must log in.