Package Details: frama-c 20170501-1

Git Clone URL: (read-only)
Package Base: frama-c
Description: Extensible platform dedicated to source-code analysis of C software.
Upstream URL:
Licenses: LGPL2.1
Submitter: pherms
Maintainer: aksr
Last Packager: aksr
Votes: 12
Popularity: 0.601922
First Submitted: 2009-10-30 16:24
Last Updated: 2017-10-08 07:13

Dependencies (14)

Required by (0)

Sources (1)

Latest Comments

khouli commented on 2017-10-07 18:53

Changes to bring PKGBUILD up to date:


bms commented on 2017-07-30 20:29

@Mathieu, did you find a way to compile this in the meantime?

mathieu.clabaut commented on 2017-06-29 09:13

Since some time /usr/lib/ocaml/lablgtk2/lablgnomecanvas.cmxa is not packed anymore in lablgtk2 ( which prevents to build frama-c-gui.

Any tip on how to circumvent this problem is welcome.

zorun commented on 2017-01-07 17:28

ocaml-findlib is needed as a makedepends, otherwise this package fails to build.

Also, for some reason, the build system does not find zarith, even though it is installed:

checking for Zarith... configure: WARNING: Zarith not found: will use the default less efficient library instead
checking for Apron... not found. The corresponding domains won't be available in Eva

It seems that zarith does not contain a META file, maybe this is why frama-c does not find it?

mthowe commented on 2015-08-17 06:22

I've added the zarith and ltl2ba dependencies back into the AUR and this now builds. Unfortunately I don't think I can undo the out-of-date flagging, sorry about that.

mthowe commented on 2015-08-17 03:40

This no longer builds, as it seems both zarith and ltl2ba dependencies have disappeared. I'm going to try to look into why that is the case. If they were just no longer maintained, I've found the old PKGBUILDs for both of them and can hopefully get them brought up to date.

aksr commented on 2015-04-23 14:36

[Updated, but, there are some problems]
1. cower -d frama-c
2. cd frama-c
3. makepkg -o (you'll get some errors)
4. cd src
5. <manually delete frama-c-Sodium-20150201>
6. tar xzf frama-c-Sodium-20150201.tar.gz
7. makepkg -e
8. sudo pacman -U frama-c-20150201-1-...

Barthalion commented on 2014-12-28 23:00

I haven't found time to fix it during last two months, so it makes sense to me to orphan it.

saabzero commented on 2014-11-19 00:29

I managed to build this, but i get segmentation fault (core dumped) when starting the GUI version. Any ideas?

Also, is there a way to get the Fluorine version of frama-c to build?
I modified the PKGBUILD to do so, but compilation fails with:

File "src/ai/abstract_interp.mli", line 166, characters 4-33:
Error: In this `with' constraint, the new definition of O
does not match its original definition in the constrained signature:
The value `of_list' is required but not provided
The value `find' is required but not provided

Any help appreciated!

voins commented on 2014-11-17 00:09

aksr, the problem is in zarith package. Just add options=staticlibs to the zarith's PKGBUILD.

All comments