Package Details: frama-c 20180502-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.008183
First Submitted: 2009-10-30 16:24
Last Updated: 2018-09-02 07:33

Dependencies (15)

Required by (0)

Sources (1)

Latest Comments

1 2 3 4 Next › Last »

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.

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.

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.