Package Details: frama-c 1:21.1-1

Git Clone URL: https://aur.archlinux.org/frama-c.git (read-only, click to copy)
Package Base: frama-c
Description: Extensible platform dedicated to source-code analysis of C software.
Upstream URL: http://frama-c.com
Licenses: LGPL2.1
Submitter: pherms
Maintainer: None
Last Packager: aksr
Votes: 15
Popularity: 0.000033
First Submitted: 2009-10-30 16:24 (UTC)
Last Updated: 2020-10-02 10:30 (UTC)

Dependencies (16)

Required by (0)

Sources (1)

Latest Comments

1 2 3 4 5 Next › Last »

Grunzwanzling commented on 2021-12-06 22:17 (UTC)

I am getting that same "missing why3" error.

pirofti commented on 2021-11-03 16:27 (UTC)

Currently I get a missing why3 error when building:

Ocamlc       src/plugins/wp/rformat.cmi
ocamlfind: Package `why3' not found
make: *** [share/Makefile.generic:71: src/plugins/wp/rformat.cmi] Error 2
==> ERROR: A failure occurred in build().
    Aborting...
 -> error making: frama-c

abougouffa commented on 2021-07-22 19:20 (UTC)

The packages can't build any more, the gtksourceview2 dependency is missing

NieDzejkob commented on 2019-04-23 21:06 (UTC)

I needed to do some manipulations to get it to build the gui binary.

  • apply this patch to lablgtk2 to make it build lablgnomecanvas:
Index: lablgtk2/trunk/PKGBUILD
===================================================================
--- lablgtk2/trunk/PKGBUILD (revision 352021)
+++ lablgtk2/trunk/PKGBUILD (working copy)
@@ -7,7 +7,7 @@
 arch=(x86_64)
 license=('LGPL')
 url="http://lablgtk.forge.ocamlcore.org/"
-depends=('gtk2' 'librsvg' 'gtksourceview2')
+depends=('gtk2' 'librsvg' 'gtksourceview2' 'libgnomecanvas')
 makedepends=('ocaml-compiler-libs>=4.0.7' 'camlp4>=4.07')
 optdepends=('ocaml: for using the tools')
 DLAGENTS=('https::/usr/bin/curl -fLC - --insecure --retry 3 --retry-delay 3 -o %o %u')
@@ -14,6 +14,7 @@
 source=("https://forge.ocamlcore.org/frs/download.php/1726/lablgtk-2.18.6.tar.gz")
 md5sums=('30e9eef159eb88db0dce2438a60a6402')
 options=(!makeflags staticlibs)
+group=(modified)

 build() {
   cd "${srcdir}/lablgtk-${pkgver}"
@@ -20,7 +21,6 @@
   ./configure --prefix=/usr \
     --without-glade \
     --without-gnomeui \
-    --without-gnomecanvas \
     --without-panel \
     --without-gtkspell \
     --without-gtksourceview
  • rebuild ocaml-ocamlgraph after installing this modified lablgtk2
  • rebuild frama-c. Make sure that you do this on a clean source tree, otherwise OCaml will complain when linking.

NieDzejkob commented on 2019-04-23 20:31 (UTC)

@oriba: AFAICS, that's expected. Try frama-c --help. If you want the gui, you need to run frama-c-gui. This binary does not build for me, the configure script complains about a missing lablgnomecanvas.

oriba commented on 2019-03-07 20:24 (UTC)

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

HalosGhost commented on 2018-10-08 17:40 (UTC)

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,

-HG

untitled commented on 2018-08-27 12:23 (UTC) (edited on 2018-08-27 12:24 (UTC) by untitled)

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 = http://frama-c.com
    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 = http://frama-c.com/download/frama-c-Chlorine-20180501.tar.gz
-   md5sums = 2d61aa200ded2dd360a8310c9a03ac50
-   sha1sums = 18281a6b9022bf1009e0f09513b289baa8b447ef
-   sha256sums = 6ff8160f4800e007fb00b1b3f91dc72a97cbb3ee154a0e71181b6e5bad33883a
+   source = http://frama-c.com/download/frama-c-Chlorine-20180502.tar.gz
+   md5sums = 5c152f0859880d48f98377de59d6328a
+   sha1sums = c2e734eeb625cd6011c80b61672c6643b05e2ed7
+   sha256sums = ecc9f5822294b76c345973858a6d8da940bae4042b394ffd3d25fd60114499d4

 pkgname = frama-c

diff --git a/PKGBUILD b/PKGBUILD
index d5f78b5..fe6b04d 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,19 +3,19 @@
 # Maintainer: aksr <aksr at="" dot="" me="" t-com="">
 pkgname=frama-c
 _codename=Chlorine
-pkgver=20180501
+pkgver=20180502
 pkgrel=1
 pkgdesc='Extensible platform dedicated to source-code analysis of C software.'
 arch=('i686' 'x86_64')
 license=('LGPL2.1')
 url='http://frama-c.com'
-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')
 source=("http://frama-c.com/download/${pkgname}-${_codename}-${pkgver}.tar.gz")
-md5sums=('2d61aa200ded2dd360a8310c9a03ac50')
-sha1sums=('18281a6b9022bf1009e0f09513b289baa8b447ef')
-sha256sums=('6ff8160f4800e007fb00b1b3f91dc72a97cbb3ee154a0e71181b6e5bad33883a')
+md5sums=('5c152f0859880d48f98377de59d6328a')
+sha1sums=('c2e734eeb625cd6011c80b61672c6643b05e2ed7')
+sha256sums=('ecc9f5822294b76c345973858a6d8da940bae4042b394ffd3d25fd60114499d4')

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

1 2 3 4 5 Next › Last »