Arch Linux User Repository

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.

@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.

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

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

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>

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

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.

Changes to bring PKGBUILD up to date:

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

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

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.