Package Details: frama-c 20171101-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.058660
First Submitted: 2009-10-30 16:24
Last Updated: 2018-03-09 07:51

Dependencies (15)

Required by (0)

Sources (1)

Latest Comments

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.

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.

aksr commented on 2015-04-23 14:36

[Updated, but, there are some problems]
1. cower -d frama-c
2. cd frama-c
3. makepkg -o (you'll get some errors)
4. cd src
5. <manually delete frama-c-Sodium-20150201>
6. tar xzf frama-c-Sodium-20150201.tar.gz
7. makepkg -e
8. sudo pacman -U frama-c-20150201-1-...

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.

All comments