| Port details on branch 2022Q2 |
- frama-c Extensible platform for source-code analysis of C
- 20170501_2 devel
 =0      20170501_2Version of this port present on the latest quarterly branch.  BROKEN: fails to build
 IGNORE: is marked as broken: fails to build
- 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
- Port Added: 2022-04-24 04:16:20
- Last Update: 2022-04-10 19:47:23
- Commit Hash: 035e778
- Also Listed In: lang
- License: LGPL21
- WWW:
- http://frama-c.com/index.html
- 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, 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
  ¦  ¦  ¦  ¦ 
- Manual pages:
-
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/devel/frama-c/ && make install clean
- We doubt a package is available for this port because we see it marked as as:
-
Packages are normally not provided for ports that are marked as above.
- To add the package, run one of these commands:
- pkg install devel/frama-c
- pkg install frama-c
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: frama-c
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1496311445
SHA256 (frama-c-Phosphorus-20170501.tar.gz) = 614f384ea487206df2ba42ddf66de610cc45846bb7b7aeafcbc40e5d99626c99
SIZE (frama-c-Phosphorus-20170501.tar.gz) = 7431131
No package information for this port in our database- Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- graph.a : math/ocaml-ocamlgraph
- zarith.a : math/ocaml-zarith
- ocamlc : lang/ocaml
- gmake>=4.3 : devel/gmake
- pkgconf>=1.3.0_1 : devel/pkgconf
- Runtime dependencies:
-
- graph.a : math/ocaml-ocamlgraph
- zarith.a : math/ocaml-zarith
- ocamlc : lang/ocaml
- Library dependencies:
-
- libgmp.so : math/gmp
- libfreetype.so : print/freetype2
- libfontconfig.so : x11-fonts/fontconfig
- libintl.so : devel/gettext-runtime
- libatk-1.0.so : accessibility/atk
- libcairo.so : graphics/cairo
- libgdk_pixbuf-2.0.so : graphics/gdk-pixbuf2
- libglib-2.0.so : devel/glib20
- libintl.so : devel/gettext-runtime
- libgtk-x11-2.0.so : x11-toolkits/gtk20
- libgtksourceview-2.0.so : x11-toolkits/gtksourceview2
- libart_lgpl_2.so : graphics/libart_lgpl
- libglade-2.0.so : devel/libglade2
- libgnomecanvas-2.so : graphics/libgnomecanvas
- libxml2.so : textproc/libxml2
- libpango-1.0.so : x11-toolkits/pango
- Patch dependencies:
-
- ocamlc : lang/ocaml
-
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- devel_frama-c
- USES:
- gettext-runtime gmake gnome localbase pathfix pkgconfig
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 1
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
20170501_2
10 Apr 2022 19:47:23
 |
Charlie Li (vishwin) |
textproc/libxml2: bump all LIB_DEPENDS consumers
This is a separate and direct commit to quarterly as PORTREVISIONs
may not match from main.
PR: 262853, 262940, 262877
Approved by: fluffy (mentor) |
Number of commits found: 1
|
As an Amazon Associate I earn from qualifying purchases.