00:01 Muhammad Moinur Rahman (bofh) 

devel/frama-c/: Remove expired port:

2023-03-21 devel/frama-c: Broken since 2021

    c06842b

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

 

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

 

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

 

10:10 bapt 

Cleanup plist

 

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.

 

03:56 bf 

update to the Oxygen release

 

07:16 bf 

temporarily fix the build by reverting to the use of the bundled
ocamlgraph 1.8, rather than math/ocaml-ocamlgraph

03:00 bf 

update to Nitrogen-20111001

15:38 bf 

Add frama-c , extensible platform for source-code analysis of C.