Package Details: frama-c 1:18.0-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.000125
First Submitted: 2009-10-30 16:24
Last Updated: 2019-01-19 07:03

Dependencies (15)

Required by (0)

Sources (1)

Latest Comments

1 2 3 4 Next › Last »

oriba commented on 2019-03-07 20:24

Package can be built and installed, but frama-c starts, does nothing and then ends execution.

HalosGhost commented on 2018-10-08 17:40

Looks like ocaml-findlib needs to be moved into depends, as frama-c plain fails to execute (even with no arguments) without it installed.

Additionally, it looks like the build still fails to enable the gui (due to the missing /usr/lib/ocaml/lablgtk2/lablgnomecanvas.cmxa (as referenced by mathieu.

All the best,


untitled commented on 2018-08-27 12:23

To fix build:

diff --git a/.SRCINFO b/.SRCINFO
index 41faa78..02412b2 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,6 @@
-# Generated by mksrcinfo v8
-# Sat Jul  7 05:09:59 UTC 2018
 pkgbase = frama-c
    pkgdesc = Extensible platform dedicated to source-code analysis of C software.
-   pkgver = 20180501
+   pkgver = 20180502
    pkgrel = 1
    url =
    arch = i686
@@ -18,15 +16,15 @@ pkgbase = frama-c
    makedepends = ocaml-num
    depends = gtksourceview2
    depends = libgnomecanvas
-   depends = zarith
+   depends = ocaml-zarith
    optdepends = lablgtk2
    optdepends = coq
    optdepends = graphviz
    optdepends = ltl2ba
-   source =
-   md5sums = 2d61aa200ded2dd360a8310c9a03ac50
-   sha1sums = 18281a6b9022bf1009e0f09513b289baa8b447ef
-   sha256sums = 6ff8160f4800e007fb00b1b3f91dc72a97cbb3ee154a0e71181b6e5bad33883a
+   source =
+   md5sums = 5c152f0859880d48f98377de59d6328a
+   sha1sums = c2e734eeb625cd6011c80b61672c6643b05e2ed7
+   sha256sums = ecc9f5822294b76c345973858a6d8da940bae4042b394ffd3d25fd60114499d4

 pkgname = frama-c

diff --git a/PKGBUILD b/PKGBUILD
index d5f78b5..fe6b04d 100644
@@ -3,19 +3,19 @@
 # Maintainer: aksr <aksr at="" dot="" me="" t-com="">
 pkgdesc='Extensible platform dedicated to source-code analysis of C software.'
 arch=('i686' 'x86_64')
-depends=('gtksourceview2' 'libgnomecanvas' 'zarith')
+depends=('gtksourceview2' 'libgnomecanvas' 'ocaml-zarith')
 makedepends=('lablgtk2' 'coq' 'graphviz' 'ltl2ba' 'ocaml' 'ocaml-ocamlgraph' 'ocaml-findlib' 'ocaml-num')
 optdepends=('lablgtk2' 'coq' 'graphviz' 'ltl2ba')

 build() {
   cd "$srcdir/$pkgname-$_codename-$pkgver"

zorun commented on 2018-03-08 22:47

ocaml-num should be added to the dependencies (it got split off the main ocaml distribution).

greencopper commented on 2018-03-08 05:31

I have installed all the dependencies.

During installation:

Generating META.frama-c-aorai Ocamlc src/plugins/aorai/bool3.cmi ocamlfind: Package `num' not found make: *** [share/Makefile.generic:71: src/plugins/aorai/bool3.cmi] Error 2

And it fails to build.

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.