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

50 lines
1.2 KiB
Makefile
Raw Normal View History

Also use https for HOMEPAGE
2019-03-23 10:30:02 +00:00
# $OpenBSD: Makefile,v 1.15 2019/03/23 10:30:02 jca Exp $
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-13 09:34:42 +00:00
BROKEN-i386 = ld: error: undefined symbol: ml_as_z_pred, etc
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
Upgrade OCaml and dependent ports testing and OKs by avsm@, jca@, krw@ Thanks a lot !
2019-03-04 12:51:12 +00:00
DISTNAME = frama-c-18.0-Argon
PKGNAME = frama-c-18.0
Also use https for HOMEPAGE
2019-03-23 10:30:02 +00:00
REVISION = 1
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
Also use https for HOMEPAGE
2019-03-23 10:30:02 +00:00
HOMEPAGE = https://frama-c.com/
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
# LGPLv2
PERMIT_PACKAGE_CDROM = Yes
mechanical replacement of the gettext module
2017-11-21 00:12:59 +00:00
WANTLIB = X11 Xcomposite Xcursor Xdamage Xext Xfixes Xi Xinerama Xrandr
Upgrade OCaml and dependent ports testing and OKs by avsm@, jca@, krw@ Thanks a lot !
2019-03-04 12:51:12 +00:00
WANTLIB += Xrender art_lgpl_2 atk-1.0 c cairo fontconfig freetype
mechanical replacement of the gettext module
2017-11-21 00:12:59 +00:00
WANTLIB += gdk-x11-2.0 gdk_pixbuf-2.0 gio-2.0 glib-2.0 gnomecanvas-2
Upgrade OCaml and dependent ports testing and OKs by avsm@, jca@, krw@ Thanks a lot !
2019-03-04 12:51:12 +00:00
WANTLIB += gobject-2.0 gtk-x11-2.0 gtksourceview-2.0 intl m gmp
mechanical replacement of the gettext module
2017-11-21 00:12:59 +00:00
WANTLIB += pango-1.0 pangocairo-1.0 pangoft2-1.0 pthread z
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
Upgrade OCaml and dependent ports testing and OKs by avsm@, jca@, krw@ Thanks a lot !
2019-03-04 12:51:12 +00:00
MASTER_SITES = https://frama-c.com/download/
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
mechanical replacement of the gettext module
2017-11-21 00:12:59 +00:00
MODULES = 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
Split BUILD/RUN_DEPENDS, one per line
2019-03-23 10:11:00 +00:00
BUILD_DEPENDS = x11/lablgtk2 \
devel/ocaml-graph \
math/graphviz \
math/ocaml-zarith \
sysutils/findlib
RUN_DEPENDS = x11/lablgtk2 \
math/graphviz \
frama-c needs findlib at runtime from Greg Czerniak
2019-03-23 10:12:53 +00:00
math/ocaml-zarith \
sysutils/findlib
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
Upgrade OCaml and dependent ports testing and OKs by avsm@, jca@, krw@ Thanks a lot !
2019-03-04 12:51:12 +00:00
CONFIGURE_STYLE = gnu autoconf no-autoheader
AUTOCONF_VERSION = 2.69
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
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
Upgrade OCaml and dependent ports testing and OKs by avsm@, jca@, krw@ Thanks a lot !
2019-03-04 12:51:12 +00:00
DPB_PROPERTIES += parallel
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