FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

Please give me your LTO-4 or better tape library and I'll put it to good use.
Port details
frama-c Extensible platform for source-code analysis of C
20150201_2 devel on this many watch lists=1 search for ports that depend on this port Find issues related to this port Report an issue related to this port

There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Port Added: 18 Sep 2011 15:38:50
License: LGPL21
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, which allows static analyzers to build upon the results already
computed by other analyzers in the framework, and provides sophisticated
tools, such as a slicer and dependency analysis.

Frama-C is closer to heuristic bug-finding tools than it is to software metrics
tools, but it has two important differences with the former: it aims at being
"correct" -- that is, never to remain silent for a location in the source
code where an error can happen at run-time. And it allows its user to
manipulate functional specifications, and to prove that the source code
satisfies these specifications.

WWW: http://frama-c.com/index.html
SVNWeb : Homepage : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:
  1. graph.a : math/ocaml-ocamlgraph
  2. ocamlc : lang/ocaml
  3. gmake : devel/gmake
Runtime dependencies:
  1. graph.a : math/ocaml-ocamlgraph
  2. ocamlc : lang/ocaml
Patch dependencies:
  1. gtar : archivers/gtar
  2. ocamlc : lang/ocaml
Extract dependencies:
  1. ocamlc : lang/ocaml
There are no ports dependent upon this port

To install the port: cd /usr/ports/devel/frama-c/ && make install clean
To add the package: pkg install devel/frama-c


Configuration Options
     No options to configure

USES:
gmake

Master Sites:
  1. http://distcache.FreeBSD.org/ports-distfiles/
  2. http://frama-c.com/download/

Number of commits found: 18

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
08 Jun 2015 01:20:46
Original commit files touched by this commit  20150201_2
Revision:388813
amdmi3 search for other commits by this committer
- Strip binaries
04 May 2015 15:46:52
Original commit files touched by this commit  20150201_1
Revision:385413
madpilot search for other commits by this committer
- Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add
  depends on the camlp4 language and labltk ocaml modules, which are
  now in separate ports.
- Update x11-toolkits/ocaml-lablgtk2 to 2.18.3
- Update graphics/ocaml-lablgl to 1.05
- Make unison ports use USE_OCAML
- Convert ports to the new flags where needed
- Bump PORTREVISION on ports depending on ocaml-lablgtk2, those need to be
rebuilt

PR:			199845
Submitted by:		jbeich@
Differential Revision:	https://reviews.freebsd.org/D2434
Approved by:		portmgr (mat)
22 Mar 2015 18:39:34
Original commit files touched by this commit  20150201
Revision:381945
marino search for other commits by this committer
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
31 Jan 2015 09:54:15
Original commit files touched by this commit  20140301_2
Revision:378196
antoine search for other commits by this committer
Mark BROKEN: Fails to build with ocamlgraph 1.8.6

Ocamlc       src/logic/property_status.cmi
Ocamlc       src/logic/property_status.cmo
File "src/logic/property_status.ml", line 1444, characters 4-2019:
Error: Signature mismatch:
       ...
       Values do not match:
         val vertex_attributes :
           v ->
           [> `Color of int
            | `Label of string
            | `Shape of [> `Box | `Diamond ]
            | `Style of [> `Bold | `Filled ]
            | `Width of float ]
           list
       is not included in
         val vertex_attributes :
           V.t -> Graph.Graphviz.DotAttributes.vertex list
       File "src/logic/property_status.ml", line 1479, characters 16-33:
         Actual declaration
share/Makefile.generic:75: recipe for target 'src/logic/property_status.cmo'
failed

Reported by:	pkg-fallout
27 Oct 2014 10:10:59
Original commit files touched by this commit  20140301_2
Revision:371544
bapt search for other commits by this committer
Cleanup plist
10 Sep 2014 20:50:37
Original commit files touched by this commit  20140301_2
Revision:367888
gerald search for other commits by this committer
Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.

Part II, Bump PORTREVISIONs.

PR:		192025
Tested by:	antoine (-exp runs)
Approved by:	portmgr (implicit)
24 Jun 2014 22:48:03
Original commit files touched by this commit  20140301_1
Revision:359165
bapt search for other commits by this committer
Use MAKE_CMD
03 Jun 2014 13:37:06
Original commit files touched by this commit  20140301_1
Revision:356360
marino search for other commits by this committer
devel/frama-c: Re-stage to correct -print-libpath

The approach to staging had a bug.  frama-c -print-libpath returned
a path to /wrkdirs (the standard work directory in poudriere).  Improve
staging so frama-c knows where its installed.
07 May 2014 20:47:37
Original commit files touched by this commit  20140301
Revision:353205
marino search for other commits by this committer
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.
20 Sep 2013 17:04:44
Original commit files touched by this commit  20120901
Revision:327723
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 2)
07 Mar 2013 03:56:52
Original commit files touched by this commit  20120901
Revision:313561
bf search for other commits by this committer
update to the Oxygen release
05 Mar 2013 20:22:03
Original commit files touched by this commit  20111001_3
Revision:313476
bf search for other commits by this committer
update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust
dependent ports

PR:		144982, 149958
Reviewed by:	johans (earlier version of the patch)
27 Jun 2012 07:16:14
Original commit files touched by this commit  20111001_2
bf search for other commits by this committer
temporarily fix the build by reverting to the use of the bundled
ocamlgraph 1.8, rather than math/ocaml-ocamlgraph
26 Jun 2012 20:55:55
Original commit files touched by this commit  20111001_1
pav search for other commits by this committer
- Mark BROKEN: does not build
         The field `compare' is required but not provided
         gmake: *** [src/misc/service_graph.cmo] Error 2

Reported by:    pointyhat
01 Jun 2012 05:26:28
Original commit files touched by this commit  20111001_1
dinoex search for other commits by this committer
- update png to 1.5.10
21 Dec 2011 03:00:29
Original commit files touched by this commit  20111001
bf search for other commits by this committer
update to Nitrogen-20111001
21 Oct 2011 12:33:56
Original commit files touched by this commit  20110201
bf search for other commits by this committer
fix the plist after the recent ocamlgraph update by permitting
the use of external ocamlgraph-1.8 [1]; indent the post-patch
target for clarity

Reported by:    pav, johans [1]
18 Sep 2011 15:38:25
Original commit files touched by this commit  20110201
bf search for other commits by this committer
Add frama-c , extensible platform for source-code analysis of C.

Number of commits found: 18

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
bind910Jul 28
bind99Jul 28
logstashJul 27
openssh-portableJul 27
chromiumJul 25
wordpress*Jul 24
wordpress*Jul 24
wordpress*Jul 24
wordpress*Jul 24
wordpress-zh_TW*Jul 24
libidnJul 23
opensaml2Jul 23
shibboleth2-spJul 23
soxJul 23
soxJul 23

32 vulnerabilities affecting 83 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 25087
Broken 201
Deprecated 106
Ignore 500
Forbidden 1
Restricted 204
No CDROM 94
Vulnerable 44
Expired 0
Set to expire 94
Interactive 0
new 24 hours 5
new 48 hours14
new 7 days37
new fortnight76
new month199

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.