[pkgsrc/trunk]: pkgsrc/devel/frama-c Update to 20170501 (v15.x, "Phosphorus")...

To: pkgsrc-changes-hg%NetBSD.org@localhost
Subject: [pkgsrc/trunk]: pkgsrc/devel/frama-c Update to 20170501 (v15.x, "Phosphorus")...
From: dholland <dholland%pkgsrc.org@localhost>
Date: Wed, 15 Jan 2020 07:48:15 +0000
details:   https://anonhg.NetBSD.org/pkgsrc/rev/11d110b5c171
branches:  trunk
changeset: 367704:11d110b5c171
user:      dholland <dholland%pkgsrc.org@localhost>
date:      Tue Sep 05 07:30:00 2017 +0000

description:
Update to 20170501 (v15.x, "Phosphorus"). This reflects six major
upstream releases, so visit the HOMEPAGE for further info.

pkgsrc changes:
   - old patches were rolled in upstream
   - use the ocaml framework
   - depends on more ocaml libraries
   - depends on lang/coq by default; turn off the coq option to avoid this

XXX: You must build ocamlgraph with ocaml-lablgtk support (which is
XXX: not the default) or the build fails on missing module "Dgraph".

diffstat:

 devel/frama-c/Makefile                                         |   24 +-
 devel/frama-c/PLIST                                            |  897 ++++++---
 devel/frama-c/distinfo                                         |   19 +-
 devel/frama-c/options.mk                                       |   18 +-
 devel/frama-c/patches/patch-Makefile                           |   85 +
 devel/frama-c/patches/patch-configure                          |   24 +-
 devel/frama-c/patches/patch-share_Makefile.common              |   14 +
 devel/frama-c/patches/patch-src_libraries_utils_c__bindings.c  |   24 +
 devel/frama-c/patches/patch-src_plugins_e-acsl_Makefile        |   64 +
 devel/frama-c/patches/patch-src_plugins_wp_configure           |   15 +
 devel/frama-c/patches/patch-src_plugins_wp_configure.ac        |   15 +
 devel/frama-c/patches/patch-src_plugins_wp_share_coqwp_Zbits.v |   24 +
 12 files changed, 852 insertions(+), 371 deletions(-)

diffs (truncated from 1725 to 300 lines):

diff -r 39ad98a368df -r 11d110b5c171 devel/frama-c/Makefile
--- a/devel/frama-c/Makefile    Tue Sep 05 06:03:22 2017 +0000
+++ b/devel/frama-c/Makefile    Tue Sep 05 07:30:00 2017 +0000
@@ -1,22 +1,28 @@
-# $NetBSD: Makefile,v 1.67 2017/07/11 14:19:19 jaapb Exp $
+# $NetBSD: Makefile,v 1.68 2017/09/05 07:30:00 dholland Exp $
 #
 
-DISTNAME=      frama-c-Oxygen-20120901
-PKGNAME=       ${DISTNAME:S/-Oxygen//}
-PKGREVISION=   38
+DISTNAME=      frama-c-Phosphorus-20170501
+PKGNAME=       ${DISTNAME:S/-Phosphorus//}
 CATEGORIES=    devel
-MASTER_SITES=  http://frama-c.com/download/
+MASTER_SITES=  https://frama-c.com/download/
 
 MAINTAINER=    tonio%NetBSD.org@localhost
-HOMEPAGE=      http://frama-c.com/
+HOMEPAGE=      https://frama-c.com/
 COMMENT=       Extensible platform dedicated to source-code analysis of C software
 LICENSE=       gnu-lgpl-v2
 
-USE_TOOLS+=    gmake
+USE_TOOLS+=    gmake autoconf
 GNU_CONFIGURE= yes
 
+OCAML_USE_FINDLIB=     yes
+
 .include "options.mk"
 
-.include "../../x11/ocaml-lablgtk/buildlink3.mk"
-.include "../../lang/ocaml/buildlink3.mk"
+# WARNING: you must build ocamlgraph with ocaml-lablgtk support
+# (not the default) or the build fails with missing module "Dgraph".
+
+.include "../../devel/ocamlgraph/buildlink3.mk"
+.include "../../math/ocaml-zarith/buildlink3.mk"
+
+.include "../../mk/ocaml.mk"
 .include "../../mk/bsd.pkg.mk"
diff -r 39ad98a368df -r 11d110b5c171 devel/frama-c/PLIST
--- a/devel/frama-c/PLIST       Tue Sep 05 06:03:22 2017 +0000
+++ b/devel/frama-c/PLIST       Tue Sep 05 07:30:00 2017 +0000
@@ -1,57 +1,32 @@
-@comment $NetBSD: PLIST,v 1.4 2012/10/08 15:28:04 jaapb Exp $
+@comment $NetBSD: PLIST,v 1.5 2017/09/05 07:30:00 dholland Exp $
+bin/e-acsl-gcc.sh
 bin/frama-c
+bin/frama-c-config
 ${PLIST.gui}bin/frama-c-gui
 ${PLIST.gui}bin/frama-c-gui.byte
 bin/frama-c.byte
-bin/ptests.byte
-lib/frama-c/Constant_Propagation.cmo
-lib/frama-c/Constant_Propagation.cmx
-lib/frama-c/Constant_Propagation.o
-lib/frama-c/From.cmo
-lib/frama-c/From.cmx
-lib/frama-c/From.o
-lib/frama-c/Impact.cmo
-lib/frama-c/Impact.cmx
-lib/frama-c/Impact.o
-lib/frama-c/Inout.cmo
-lib/frama-c/Inout.cmx
-lib/frama-c/Inout.o
-lib/frama-c/Metrics.cmo
-lib/frama-c/Metrics.cmx
-lib/frama-c/Metrics.o
-lib/frama-c/Occurrence.cmo
-lib/frama-c/Occurrence.cmx
-lib/frama-c/Occurrence.o
-lib/frama-c/Pdg.cmo
-lib/frama-c/Pdg.cmx
-lib/frama-c/Pdg.o
-lib/frama-c/Postdominators.cmo
-lib/frama-c/Postdominators.cmx
-lib/frama-c/Postdominators.o
-lib/frama-c/RteGen.cmo
-lib/frama-c/RteGen.cmx
-lib/frama-c/RteGen.o
-lib/frama-c/Scope.cmo
-lib/frama-c/Scope.cmx
-lib/frama-c/Scope.o
-lib/frama-c/Semantic_callgraph.cmo
-lib/frama-c/Semantic_callgraph.cmx
-lib/frama-c/Semantic_callgraph.o
-lib/frama-c/Slicing.cmo
-lib/frama-c/Slicing.cmx
-lib/frama-c/Slicing.o
-lib/frama-c/Sparecode.cmo
-lib/frama-c/Sparecode.cmx
-lib/frama-c/Sparecode.o
-lib/frama-c/Syntactic_callgraph.cmo
-lib/frama-c/Syntactic_callgraph.cmx
-lib/frama-c/Syntactic_callgraph.o
-lib/frama-c/Users.cmo
-lib/frama-c/Users.cmx
-lib/frama-c/Users.o
-lib/frama-c/Value.cmo
-lib/frama-c/Value.cmx
-lib/frama-c/Value.o
+@comment bin/ptests.byte
+bin/ptests.opt
+lib/frama-c/FCBuffer.cmi
+lib/frama-c/FCBuffer.cmo
+lib/frama-c/FCBuffer.cmx
+lib/frama-c/FCBuffer.o
+lib/frama-c/FCHashtbl.cmi
+lib/frama-c/FCHashtbl.cmo
+lib/frama-c/FCHashtbl.cmx
+lib/frama-c/FCHashtbl.o
+lib/frama-c/FCMap.cmi
+lib/frama-c/FCMap.cmo
+lib/frama-c/FCMap.cmx
+lib/frama-c/FCMap.o
+lib/frama-c/FCSet.cmi
+lib/frama-c/FCSet.cmo
+lib/frama-c/FCSet.cmx
+lib/frama-c/FCSet.o
+lib/frama-c/Qed.cmi
+lib/frama-c/Qed.cmo
+lib/frama-c/Qed.cmx
+lib/frama-c/Qed.o
 lib/frama-c/abstract_interp.cmi
 lib/frama-c/abstract_interp.cmo
 lib/frama-c/abstract_interp.cmx
@@ -80,6 +55,10 @@
 lib/frama-c/annotations.cmo
 lib/frama-c/annotations.cmx
 lib/frama-c/annotations.o
+lib/frama-c/asm_contracts.cmi
+lib/frama-c/asm_contracts.cmo
+lib/frama-c/asm_contracts.cmx
+lib/frama-c/asm_contracts.o
 lib/frama-c/ast.cmi
 lib/frama-c/ast.cmo
 lib/frama-c/ast.cmx
@@ -88,14 +67,6 @@
 lib/frama-c/ast_info.cmo
 lib/frama-c/ast_info.cmx
 lib/frama-c/ast_info.o
-lib/frama-c/ast_printer.cmi
-lib/frama-c/ast_printer.cmo
-lib/frama-c/ast_printer.cmx
-lib/frama-c/ast_printer.o
-lib/frama-c/availexpslv.cmi
-lib/frama-c/availexpslv.cmo
-lib/frama-c/availexpslv.cmx
-lib/frama-c/availexpslv.o
 lib/frama-c/bag.cmi
 lib/frama-c/bag.cmo
 lib/frama-c/bag.cmx
@@ -104,18 +75,10 @@
 lib/frama-c/base.cmo
 lib/frama-c/base.cmx
 lib/frama-c/base.o
-lib/frama-c/base_Set_Lattice.cmi
-lib/frama-c/base_Set_Lattice.cmo
-lib/frama-c/base_Set_Lattice.cmx
-lib/frama-c/base_Set_Lattice.o
 lib/frama-c/binary_cache.cmi
 lib/frama-c/binary_cache.cmo
 lib/frama-c/binary_cache.cmx
 lib/frama-c/binary_cache.o
-lib/frama-c/bit_model_access.cmi
-lib/frama-c/bit_model_access.cmo
-lib/frama-c/bit_model_access.cmx
-lib/frama-c/bit_model_access.o
 lib/frama-c/bit_utils.cmi
 lib/frama-c/bit_utils.cmo
 lib/frama-c/bit_utils.cmx
@@ -132,11 +95,11 @@
 lib/frama-c/boot.cmo
 lib/frama-c/boot.cmx
 lib/frama-c/boot.o
-lib/frama-c/buckx.cmi
-lib/frama-c/buckx.cmo
-lib/frama-c/buckx.cmx
-lib/frama-c/buckx.o
-lib/frama-c/buckx_c.o
+lib/frama-c/bottom.cmi
+lib/frama-c/bottom.cmo
+lib/frama-c/bottom.cmx
+lib/frama-c/bottom.o
+lib/frama-c/c_bindings.o
 lib/frama-c/cabs.cmi
 lib/frama-c/cabs.cmo
 lib/frama-c/cabs.cmx
@@ -145,14 +108,10 @@
 lib/frama-c/cabs2cil.cmo
 lib/frama-c/cabs2cil.cmx
 lib/frama-c/cabs2cil.o
-lib/frama-c/cabsbranches.cmi
-lib/frama-c/cabsbranches.cmo
-lib/frama-c/cabsbranches.cmx
-lib/frama-c/cabsbranches.o
-lib/frama-c/cabscond.cmi
-lib/frama-c/cabscond.cmo
-lib/frama-c/cabscond.cmx
-lib/frama-c/cabscond.o
+lib/frama-c/cabs_debug.cmi
+lib/frama-c/cabs_debug.cmo
+lib/frama-c/cabs_debug.cmx
+lib/frama-c/cabs_debug.o
 lib/frama-c/cabshelper.cmi
 lib/frama-c/cabshelper.cmo
 lib/frama-c/cabshelper.cmx
@@ -161,10 +120,6 @@
 lib/frama-c/cabsvisit.cmo
 lib/frama-c/cabsvisit.cmx
 lib/frama-c/cabsvisit.o
-lib/frama-c/callgraph.cmi
-lib/frama-c/callgraph.cmo
-lib/frama-c/callgraph.cmx
-lib/frama-c/callgraph.o
 lib/frama-c/cfg.cmi
 lib/frama-c/cfg.cmo
 lib/frama-c/cfg.cmx
@@ -185,35 +140,35 @@
 lib/frama-c/cil_datatype.cmo
 lib/frama-c/cil_datatype.cmx
 lib/frama-c/cil_datatype.o
+lib/frama-c/cil_descriptive_printer.cmi
+lib/frama-c/cil_descriptive_printer.cmo
+lib/frama-c/cil_descriptive_printer.cmx
+lib/frama-c/cil_descriptive_printer.o
+lib/frama-c/cil_printer.cmi
+lib/frama-c/cil_printer.cmo
+lib/frama-c/cil_printer.cmx
+lib/frama-c/cil_printer.o
 lib/frama-c/cil_state_builder.cmi
 lib/frama-c/cil_state_builder.cmo
 lib/frama-c/cil_state_builder.cmx
 lib/frama-c/cil_state_builder.o
 lib/frama-c/cil_types.cmi
-lib/frama-c/cilglobopt.cmi
-lib/frama-c/cilglobopt.cmo
-lib/frama-c/cilglobopt.cmx
-lib/frama-c/cilglobopt.o
-lib/frama-c/cilmsg.cmi
-lib/frama-c/cilmsg.cmo
-lib/frama-c/cilmsg.cmx
-lib/frama-c/cilmsg.o
-@comment lib/frama-c/ciltools.cmi
-@comment lib/frama-c/ciltools.cmo
-@comment lib/frama-c/ciltools.cmx
-@comment lib/frama-c/ciltools.o
-lib/frama-c/cilutil.cmi
-lib/frama-c/cilutil.cmo
-lib/frama-c/cilutil.cmx
-lib/frama-c/cilutil.o
+lib/frama-c/cil_types_debug.cmi
+lib/frama-c/cil_types_debug.cmo
+lib/frama-c/cil_types_debug.cmx
+lib/frama-c/cil_types_debug.o
+lib/frama-c/cilconfig.cmi
+lib/frama-c/cilconfig.cmo
+lib/frama-c/cilconfig.cmx
+lib/frama-c/cilconfig.o
 lib/frama-c/clexer.cmi
 lib/frama-c/clexer.cmo
 lib/frama-c/clexer.cmx
 lib/frama-c/clexer.o
-lib/frama-c/clist.cmi
-lib/frama-c/clist.cmo
-lib/frama-c/clist.cmx
-lib/frama-c/clist.o
+lib/frama-c/clone.cmi
+lib/frama-c/clone.cmo
+lib/frama-c/clone.cmx
+lib/frama-c/clone.o
 lib/frama-c/cmdline.cmi
 lib/frama-c/cmdline.cmo
 lib/frama-c/cmdline.cmx
@@ -246,6 +201,14 @@
 lib/frama-c/dataflow.cmo
 lib/frama-c/dataflow.cmx
 lib/frama-c/dataflow.o
+lib/frama-c/dataflow2.cmi
+lib/frama-c/dataflow2.cmo
+lib/frama-c/dataflow2.cmx
+lib/frama-c/dataflow2.o
+lib/frama-c/dataflows.cmi
+lib/frama-c/dataflows.cmo
+lib/frama-c/dataflows.cmx
+lib/frama-c/dataflows.o
 lib/frama-c/datatype.cmi
 lib/frama-c/datatype.cmo
 lib/frama-c/datatype.cmx
@@ -254,10 +217,6 @@
 lib/frama-c/db.cmo
 lib/frama-c/db.cmx
 lib/frama-c/db.o
-lib/frama-c/deadcodeelim.cmi
-lib/frama-c/deadcodeelim.cmo
-lib/frama-c/deadcodeelim.cmx
-lib/frama-c/deadcodeelim.o
 ${PLIST.gui}lib/frama-c/debug_manager.cmi
 ${PLIST.gui}lib/frama-c/debug_manager.cmo
Prev by Date: [pkgsrc/trunk]: pkgsrc/x11/ocaml-lablgtk Turns out this also needs to export ...
Next by Date: [pkgsrc/trunk]: pkgsrc/devel/frama-c Tag missed gui-only files. Ride update.
Previous by Thread: [pkgsrc/trunk]: pkgsrc/x11/ocaml-lablgtk Turns out this also needs to export ...
Next by Thread: [pkgsrc/trunk]: pkgsrc/devel/frama-c Tag missed gui-only files. Ride update.
Indexes:
Home | Main Index | Thread Index | Old Index