cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
openbsd-ports/devel/frama-c/Makefile

43 lines
1.3 KiB
Makefile
Raw Normal View History

Bump added graphviz dependency. Ok krw@
2016-05-31 11:39:20 +00:00
# $OpenBSD: Makefile,v 1.9 2016/05/31 11:39:20 nigel Exp $
Import frama-c. Work done by blambert@, with help from sthen@, phessler@ and me. ok sthen@ blambert@ 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.
2014-04-21 16:02:25 +00:00
COMMENT = an extensible platform for analysis of C software
BROKEN-powerpc + BROKEN-alpha: Error while linking /usr/local/lib/ocaml/vmthreads/stdlib.cma
2014-09-30 19:28:26 +00:00
#Error: Error while linking /usr/local/lib/ocaml/vmthreads/stdlib.cma(String):
#Reference to undefined global `Bytes'
BROKEN-powerpc = Error while linking /usr/local/lib/ocaml/vmthreads/stdlib.cma
BROKEN-alpha = Error while linking /usr/local/lib/ocaml/vmthreads/stdlib.cma
Import frama-c. Work done by blambert@, with help from sthen@, phessler@ and me. ok sthen@ blambert@ 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.
2014-04-21 16:02:25 +00:00
update to framac-1.11 (the "Sodium" release upstream) ok jca@, tested by krw@ daniel@ jsg@
2015-08-30 16:22:15 +00:00
DISTNAME = frama-c-Sodium-20150201
PKGNAME = frama-c-1.11
Import frama-c. Work done by blambert@, with help from sthen@, phessler@ and me. ok sthen@ blambert@ 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.
2014-04-21 16:02:25 +00:00
CATEGORIES = devel
Bump added graphviz dependency. Ok krw@
2016-05-31 11:39:20 +00:00
REVISION = 0
Import frama-c. Work done by blambert@, with help from sthen@, phessler@ and me. ok sthen@ blambert@ 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.
2014-04-21 16:02:25 +00:00
HOMEPAGE = http://www.frama-c.com/
# LGPLv2
PERMIT_PACKAGE_CDROM = Yes
Fix intermitent build failures by making sure we do not use the in-tree ocaml-graph but the bundled one.
2015-08-12 06:20:45 +00:00
WANTLIB += X11 Xcomposite Xcursor Xdamage Xext Xfixes Xi Xinerama
WANTLIB += Xrandr Xrender art_lgpl_2 atk-1.0 c cairo curses fontconfig
WANTLIB += freetype gdk-x11-2.0 gdk_pixbuf-2.0 gio-2.0 glib-2.0
WANTLIB += gnomecanvas-2 gobject-2.0 gtk-x11-2.0 gtksourceview-2.0
WANTLIB += m pango-1.0 pangocairo-1.0 pangoft2-1.0 pthread z
Import frama-c. Work done by blambert@, with help from sthen@, phessler@ and me. ok sthen@ blambert@ 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.
2014-04-21 16:02:25 +00:00
MASTER_SITES = http://www.frama-c.com/download/
Fix intermitent build failures by making sure we do not use the in-tree ocaml-graph but the bundled one.
2015-08-12 06:20:45 +00:00
MODULES = devel/gettext \
lang/ocaml
Import frama-c. Work done by blambert@, with help from sthen@, phessler@ and me. ok sthen@ blambert@ 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.
2014-04-21 16:02:25 +00:00
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@
2016-05-31 01:18:35 +00:00
BUILD_DEPENDS = x11/lablgtk2 devel/ocaml-graph math/graphviz
RUN_DEPENDS = x11/lablgtk2 math/graphviz
Import frama-c. Work done by blambert@, with help from sthen@, phessler@ and me. ok sthen@ blambert@ 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.
2014-04-21 16:02:25 +00:00
Fix intermitent build failures by making sure we do not use the in-tree ocaml-graph but the bundled one.
2015-08-12 06:20:45 +00:00
LIB_DEPENDS = x11/gnome/libgnomecanvas \
x11/gtksourceview
Import frama-c. Work done by blambert@, with help from sthen@, phessler@ and me. ok sthen@ blambert@ 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.
2014-04-21 16:02:25 +00:00
USE_GMAKE = Yes
TEST_TARGET = oracles tests
CONFIGURE_STYLE = gnu
CONFIGURE_ARGS += MAKE=${MAKE_PROGRAM} \
Enable GUI support. ok sthen@
2014-04-23 14:12:28 +00:00
--docdir=${PREFIX}/share/doc/frama-c/
Import frama-c. Work done by blambert@, with help from sthen@, phessler@ and me. ok sthen@ blambert@ 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.
2014-04-21 16:02:25 +00:00
.include <bsd.port.mk>
Reference in New Issue Copy Permalink