| non port: devel/frama-c/pkg-plist |
|
SVNWeb
|
Number of commits found: 10 |
|
Tue, 21 Mar 2023
|
[ 00:01 Muhammad Moinur Rahman (bofh)  ]    c06842b
devel/frama-c/: Remove expired port:
2023-03-21 devel/frama-c: Broken since 2021
|
|
Mon, 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
|
|
Sat, 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
|
|
Sun, 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
|
|
Mon, 27 Oct 2014
|
[ 10:10 bapt ] (Only the first 10 of 286 ports in this commit are shown above.  )
Cleanup plist
|
|
Wed, 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.
|
|
Thu, 7 Mar 2013
|
[ 03:56 bf ]
update to the Oxygen release
|
|
Wed, 27 Jun 2012
|
[ 07:16 bf ]
temporarily fix the build by reverting to the use of the bundled
ocamlgraph 1.8, rather than math/ocaml-ocamlgraph
|
|
Wed, 21 Dec 2011
|
[ 03:00 bf ]
update to Nitrogen-20111001
|
|
Sun, 18 Sep 2011
|
[ 15:38 bf ]
Add frama-c , extensible platform for source-code analysis of C.
|
Number of commits found: 10 |
As an Amazon Associate I earn from qualifying purchases.