Bug 479990 – [science overlay] sci-mathematics/frama-c-20130601 version bump

• Status: RESOLVED OBSOLETE
• Product: Gentoo Linux

[Description Anton Kochkov 2013-08-06 22:22:31 UTC]

Frama-C Fluorine version 20130601 is available

Here is sources http://frama-c.com/download/frama-c-Fluorine-20130601.tar.gz

Here is full changelog http://frama-c.com/Changelog.html#Fluorine-20130601

[Comment 1 Anton Kochkov 2013-08-29 20:11:50 UTC]

Created attachment 357368 [details, diff]
frama-c-20130601 version bumping patch

Works for me on my both gentoo systems: ~x86_64  adn ~x86 with hardened selinux profile.

Also it builds only with MAKEOPTS="-j1", doesn't know how to fix that. Same applicable for current 20120901 version, as described in https://bugs.gentoo.org/show_bug.cgi?id=480430

[Comment 2 Justin Lecher (RETIRED) 2013-09-17 15:49:29 UTC]

PLease fork the overlay on github, bump and send a pull request.

[Comment 3 Jauhien Piatlicki (RETIRED) 2014-06-15 22:01:11 UTC]

Already bumped in overlay, closing.