non port: devel/frama-c/distinfo |
Number of commits found: 9 |
Tuesday, 21 Mar 2023
|
00:01 Muhammad Moinur Rahman (bofh)
devel/frama-c/: Remove expired port:
2023-03-21 devel/frama-c: Broken since 2021
c06842b |
Monday, 17 Jun 2019
|
07:33 danfe
- Update to the next version (v15.x Phosphorus) which builds against
both current and newish versions of OCaml
- Disable E-ACSL plugin for now which fails to build bundled jemalloc
- Drop useless DIST_SUBDIR, the distfile name is unique enough
|
Saturday, 4 Mar 2017
|
04:19 mmokhi
devel/frama-c: Update to the last release (Silicon-20161101).
Reviewed by: feld, mat
Approved by: feld, mat (mentors)
Differential Revision: https://reviews.freebsd.org/D9790
|
Friday, 13 Nov 2015
|
13:47 marino
devel/frama-c: Unbreak after checking rerolled distfile
Upstream re-rolled Frama-C keeping a February 2015 date stamp
in the filename (!). I compared the new distfile with the old one.
Only two files were modified (opam, Makefile) and all the rest were
additional files (new /external directory, new /bin directory with
shell scripts). It looks innocent to me.
Regenerate distfile and set DIST_SUBDIR now that frama-c devs have a
reputation for rerolls.
|
Sunday, 22 Mar 2015
|
18:39 marino
devel/frama-c: upgrade version 20140301 => 20150201 (Unbreak)
The big change is the removal of options.
With Sodium, the gui, plugins, coq and why3 are all enabled by default.
The pain to disable these options isn't worth the hassle of maintaining
the plist with all its possible variations.
Notes:
- The distfile can only be extracted by gtar.
- Reset maintainership
- This ports is extremely sensitive to Ocamlgraph changes. Ocamlgraph
should not be updated without checking breakage on frama-c first
- used @dir instead of .keepme
- Made some tabbing changes
|
Wednesday, 7 May 2014
|
20:47 marino
devel/frama-c: Update version Oxygen => Neon to unbreak and stage
Oxygen is from Sept 2012, and Neon is from Mar 2014. Stage support was
added along with some minor cleanup. A major patch from Debian was
required to support OcamlGraph 1.8.5.
It has been broken since Ocaml was updated to 4.01.
Work covered by Staging blanket.
|
Thursday, 7 Mar 2013
|
03:56 bf
update to the Oxygen release
|
Wednesday, 21 Dec 2011
|
03:00 bf
update to Nitrogen-20111001
|
Sunday, 18 Sep 2011
|
15:38 bf
Add frama-c , extensible platform for source-code analysis of C.
|
Number of commits found: 9 |