Search Criteria
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: | |
Submitter: | pherms |
Maintainer: | aksr |
Last Packager: | aksr |
Votes: | 14 |
Popularity: | 0.004325 |
First Submitted: | 2009-10-30 16:24 |
Last Updated: | 2020-10-02 10:30 |
Dependencies (16)
- gtksourceview2
- libgnomecanvas
- ocaml-zarith
- coq (make)
- graphviz (make)
- lablgtk2 (make)
- ltl2ba (make)
- ocaml (make)
- ocaml-findlib (make)
- ocaml-num (make)
- ocaml-ocamlgraph (ocaml-ocamlgraph-git) (make)
- ocaml-yojson (ocaml-yojson-git) (make)
- coq (optional)
- graphviz (optional)
- lablgtk2 (optional)
- ltl2ba (optional)
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.
lablgtk2
to make it buildlablgnomecanvas
:ocaml-ocamlgraph
after installing this modifiedlablgtk2
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 runframa-c-gui
. This binary does not build for me, the configure script complains about a missinglablgnomecanvas
.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:
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.