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

47 lines
1.1 KiB
Makefile
Raw Normal View History

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-26 09:46:09 +00:00
# $OpenBSD: Makefile,v 1.21 2019/09/26 09:46:10 chrisz 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
Use FIX_EXTRACT_PERMISSIONS
2019-03-23 10:31:17 +00:00
FIX_EXTRACT_PERMISSIONS = Yes
Update to 19.0, which supports OCaml 4.08. OK (ports-wise) jca@
2019-09-07 17:11:53 +00:00
COMMENT = extensible platform for analysis of C software
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
Update to 19.0, which supports OCaml 4.08. OK (ports-wise) jca@
2019-09-07 17:11:53 +00:00
GH_ACCOUNT = Frama-C
GH_PROJECT = Frama-C-snapshot
GH_TAGNAME = 19.0
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-26 09:46:09 +00:00
REVISION = 1
Update to 19.0, which supports OCaml 4.08. OK (ports-wise) jca@
2019-09-07 17:11:53 +00:00
DISTNAME = frama-c-${GH_TAGNAME}-Potassium
PKGNAME = frama-c-${GH_TAGNAME}
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
replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes
2019-07-12 20:43:27 +00:00
PERMIT_PACKAGE = Yes
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 19.0, which supports OCaml 4.08. OK (ports-wise) jca@
2019-09-07 17:11:53 +00:00
WANTLIB += atk-1.0 c cairo cairo-gobject fontconfig freetype gdk-3
WANTLIB += gdk_pixbuf-2.0 gio-2.0 glib-2.0 gmp gobject-2.0 gtk-3
WANTLIB += gtksourceview-3.0 intl m pango-1.0 pangocairo-1.0 pthread
WANTLIB += 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
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
Update to 19.0, which supports OCaml 4.08. OK (ports-wise) jca@
2019-09-07 17:11:53 +00:00
RUN_DEPENDS = x11/lablgtk3 \
Split BUILD/RUN_DEPENDS, one per line
2019-03-23 10:11:00 +00:00
devel/ocaml-graph \
math/graphviz \
math/ocaml-zarith \
Update to 19.0, which supports OCaml 4.08. OK (ports-wise) jca@
2019-09-07 17:11:53 +00:00
devel/ocaml-yojson
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 19.0, which supports OCaml 4.08. OK (ports-wise) jca@
2019-09-07 17:11:53 +00:00
BUILD_DEPENDS = ${RUN_DEPENDS} \
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
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
.include <bsd.port.mk>
Reference in New Issue Copy Permalink