Package Details: frama-c 1:18.0-1

Git Clone URL: https://aur.archlinux.org/frama-c.git (read-only)
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: aksr
Last Packager: aksr
Votes: 12
Popularity: 0.000020
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 5 Next › Last »

NieDzejkob commented on 2019-04-23 21:06

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

@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

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,

-HG

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 = 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>

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:

[...]
_codename=Phosphorus
pkgver=20170501
pkgrel=1
[...]
md5sums=('996a4690cce7c4812dae74837cf0faa3')
sha1sums=('d9372127ba80636cc1c692a141a7a02dee8325da')
sha256sums=('614f384ea487206df2ba42ddf66de610cc45846bb7b7aeafcbc40e5d99626c99')
[...]

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 (https://bugs.archlinux.org/task/52796) which prevents to build frama-c-gui.

Any tip on how to circumvent this problem is welcome.