./devel/frama-c [extensible platform for analysis of C software]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 19.0, Package name: frama-c-19.0
Maintained by: The OpenBSD ports mailing-list
Master sites:
Description
Frama-C is a suite of tools dedicated to the analysis of the source code
of software written in C.

Frama-C gathers several static analysis techniques in a single collaborative
framework. The collaborative approach of Frama-C allows static analyzers to
build upon the results already computed by other analyzers in the framework.
Thanks to this approach, Frama-C provides sophisticated tools, such as a
slicer and dependency analysis.


Filesize: 5483.866 KB
Version History (View Complete History)
  • (2019-09-08) Updated to version: frama-c-19.0
  • (2019-03-04) Updated to version: frama-c-18.0
  • (2015-08-31) Updated to version: frama-c-1.11
  • (2014-04-25) Package added to openports.se, version frama-c-1.10 (created)
[show/hide] View available PLISTS (Can be a lot of data)

CVS Commit History:

   2020-06-09 11:34:15 by Christopher Zimmermann | Files touched by this commit (36)
Log message:
Update lang/ocaml to 4.10.0
tested on sparc64, update to lang/camlp4 and ok by jca@
ok daniel@
thanks.
   2019-11-13 10:41:22 by Stuart Henderson | Files touched by this commit (1)
Log message:
put BROKEN-i386 back
   2019-11-10 07:38:23 by Stuart Henderson | Files touched by this commit (1)
Log message:
remove BROKEN-i386 (which was present before frama-c was last updated) to
give it a chance in the next bulk.
   2019-11-10 07:23:45 by Paul Irofti | Files touched by this commit (1)
Log message:
Frama-c needs findlib at runtime otherwise it errors out.
OK landry@
   2019-09-26 03:46:11 by Christopher Zimmermann | Files touched by this commit (43)
Log message:
Update OCaml to 4.09
reviewed ports wise and help with @pkgpath, ok by sthen@
reviewed and help with bytecode-only plists, minor nits and ok by jca@
tested on sparc 64 by @jca
tested on aarch64 by Kurt Miller
tested on amd64 by me
Thanks for reviews and testing!
   2019-09-18 11:49:37 by Christopher Zimmermann | Files touched by this commit (42)
Log message:
Upgrade lang/ocaml to 4.08.1
* net unison needed some patchign to avoid deprecated library functions.
* all ports depending on the exact version of OCaml need revision bumps.
* net/unison needed some help to avoid deprecated library functions.
ok krw@, testing on i386 and ok daniel@
   2019-09-07 11:11:53 by Christopher Zimmermann | Files touched by this commit (7)
Log message:
Update to 19.0, which supports OCaml 4.08.
OK (ports-wise) jca@
   2019-07-12 14:44:13 by Stuart Henderson | Files touched by this commit (877)
Log message:
replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes
   2019-03-23 04:54:59 by Jeremie Courreges-Anglas | Files touched by this commit (2)
Log message:
DPB_PROPERTIES=parallel not needed
Sneaked in the last OCaml update.  Those ports aren't big nor critical
enough to warrant the use of multiple build slots in regular bulk
builds.
   2019-03-23 04:31:17 by Jeremie Courreges-Anglas | Files touched by this commit (1)
Log message:
Use FIX_EXTRACT_PERMISSIONS
   2019-03-23 04:30:03 by Jeremie Courreges-Anglas | Files touched by this commit (1)
Log message:
Also use https for HOMEPAGE
   2019-03-23 04:12:53 by Jeremie Courreges-Anglas | Files touched by this commit (1)
Log message:
frama-c needs findlib at runtime
from Greg Czerniak
   2019-03-23 04:11:00 by Jeremie Courreges-Anglas | Files touched by this commit (1)
Log message:
Split BUILD/RUN_DEPENDS, one per line
   2019-03-13 03:34:42 by Stuart Henderson | Files touched by this commit (1)
Log message:
mark BROKEN-i386
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Eva.cmxs
ld: error: undefined symbol: ml_as_z_pred
>>> referenced by integer.ml:66 (src/libraries/stdlib/integer.ml:66)
>>>               src/kernel_internals/typing/infer_annotations.o:(camlInfer_annotations__make_range_1982)
ld: error: undefined symbol: ml_as_z_pred
>>> referenced by integer.ml:66 (src/libraries/stdlib/integer.ml:66)
>>>               src/kernel_services/analysis/logic_interp.o:(camlLogic_interp__aux_2613)
ld: error: undefined symbol: ml_as_z_pred
>>> referenced by integer.ml:66 (src/libraries/stdlib/integer.ml:66)
>>>               src/kernel_internals/typing/asm_contracts.o:(camlAsm_contracts__access_elts_5367)
ld: error: undefined symbol: ml_as_z_neg
(etc.etc.)
   2019-03-04 21:29:47 by Jeremie Courreges-Anglas | Files touched by this commit (68)
Log message:
Those files should have been removed in the ocaml-4.07.1+friends update
Noticed by krw@ and Adam Steen
   2019-03-04 05:51:17 by Christopher Zimmermann | Files touched by this commit (133)
Log message:
Upgrade OCaml and dependent ports
testing and OKs by avsm@, jca@, krw@ Thanks a lot !
   2016-05-31 05:39:20 by Nigel Taylor | Files touched by this commit (1)
Log message:
Bump added graphviz dependency.
Ok krw@
   2016-05-30 19:18:35 by Kenneth R Westerback | Files touched by this commit (1)
Log message:
Add explicit dependencies on devel/ocaml-graph and math/graphviz. This
should eliminate the TOCTOU race between config and build stages
that can result in neither the internal or the port versions being
available.
Found while preparing for Ocaml 4.3.0.
ok sthen@
   2015-08-30 10:22:15 by Anil Madhavapeddy | Files touched by this commit (5)
Log message:
update to framac-1.11 (the "Sodium" release upstream)
ok jca@, tested by krw@ daniel@ jsg@
   2015-08-12 00:20:45 by Antoine Jacoutot | Files touched by this commit (2)
Log message:
Fix intermitent build failures by making sure we do not use the in-tree
ocaml-graph but the bundled one.