svn commit: r504397 - in head/devel/frama-c: . files

Mon Jun 17 07:33:42 UTC 2019

Author: danfe
Date: Mon Jun 17 07:33:40 2019
New Revision: 504397
URL: https://svnweb.freebsd.org/changeset/ports/504397

Log:
  - Update to the next version (v15.x Phosphorus) which builds against
    both current and newish versions of OCaml
  - Disable E-ACSL plugin for now which fails to build bundled jemalloc
  - Drop useless DIST_SUBDIR, the distfile name is unique enough

Modified:
  head/devel/frama-c/Makefile
  head/devel/frama-c/distinfo
  head/devel/frama-c/files/patch-Makefile
  head/devel/frama-c/pkg-plist

Modified: head/devel/frama-c/Makefile
==============================================================================

--- head/devel/frama-c/Makefile	Mon Jun 17 07:22:06 2019	(r504396)
+++ head/devel/frama-c/Makefile	Mon Jun 17 07:33:40 2019	(r504397)
@@ -2,11 +2,10 @@
 # $FreeBSD$
 
 PORTNAME=	frama-c
-DISTVERSIONPREFIX=	Silicon-
-DISTVERSION=	20161101
+DISTVERSIONPREFIX=	Phosphorus-
+DISTVERSION=	20170501
 CATEGORIES=	devel lang
 MASTER_SITES=	http://frama-c.com/download/
-DIST_SUBDIR=	framac-01
 
 MAINTAINER=	mmokhi at FreeBSD.org
 COMMENT=	Extensible platform for source-code analysis of C
@@ -27,7 +26,7 @@ USE_GNOME=	atk cairo gdkpixbuf2 glib20 gtk20 gtksource
 	    libartlgpl2 libgnomecanvas pango
 
 GNU_CONFIGURE=	yes
-CONFIGURE_ARGS+=--with-cpp="${FRAMAC_DEFAULT_CPP}"
+CONFIGURE_ARGS=	--with-cpp="${FRAMAC_DEFAULT_CPP}" --disable-e_acsl
 MAKE_ENV+=	FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" \
 	    FRAMAC_DATADIR="${FRAMAC_DATADIR}" \
 	    STAGEDIR="${STAGEDIR}"

Modified: head/devel/frama-c/distinfo
==============================================================================
--- head/devel/frama-c/distinfo	Mon Jun 17 07:22:06 2019	(r504396)
+++ head/devel/frama-c/distinfo	Mon Jun 17 07:33:40 2019	(r504397)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1483395653
-SHA256 (framac-01/frama-c-Silicon-20161101.tar.gz) = b03918572f9a4dbf28b6234c8ece14cbe3a7587ef17add5225bd865f7d2100e3
-SIZE (framac-01/frama-c-Silicon-20161101.tar.gz) = 6689893
+TIMESTAMP = 1496311445
+SHA256 (frama-c-Phosphorus-20170501.tar.gz) = 614f384ea487206df2ba42ddf66de610cc45846bb7b7aeafcbc40e5d99626c99
+SIZE (frama-c-Phosphorus-20170501.tar.gz) = 7431131

Modified: head/devel/frama-c/files/patch-Makefile
==============================================================================
--- head/devel/frama-c/files/patch-Makefile	Mon Jun 17 07:22:06 2019	(r504396)
+++ head/devel/frama-c/files/patch-Makefile	Mon Jun 17 07:33:40 2019	(r504397)
@@ -38,7 +38,7 @@
  	  $(wildcard share/*.c share/*.h) \
  	  share/Makefile.dynamic share/Makefile.plugin.template share/Makefile.kernel \
  	  share/Makefile.config share/Makefile.common share/Makefile.generic \
- 	  share/configure.ac \
+ 	  share/configure.ac share/autocomplete_frama-c \
 -	  $(FRAMAC_DATADIR)
 -	$(MKDIR) $(FRAMAC_DATADIR)/emacs
 -	$(CP) $(wildcard share/emacs/*.el) $(FRAMAC_DATADIR)/emacs

Modified: head/devel/frama-c/pkg-plist
==============================================================================
--- head/devel/frama-c/pkg-plist	Mon Jun 17 07:22:06 2019	(r504396)
+++ head/devel/frama-c/pkg-plist	Mon Jun 17 07:33:40 2019	(r504397)
@@ -8,10 +8,6 @@ lib/frama-c/FCBuffer.cmi
 lib/frama-c/FCBuffer.cmo
 lib/frama-c/FCBuffer.cmx
 lib/frama-c/FCBuffer.o
-lib/frama-c/FCDynlink.cmi
-lib/frama-c/FCDynlink.cmo
-lib/frama-c/FCDynlink.cmx
-lib/frama-c/FCDynlink.o
 lib/frama-c/FCHashtbl.cmi
 lib/frama-c/FCHashtbl.cmo
 lib/frama-c/FCHashtbl.cmx
@@ -150,6 +146,10 @@ 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/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
@@ -222,6 +222,10 @@ lib/frama-c/design.cmi
 lib/frama-c/design.cmo
 lib/frama-c/design.cmx
 lib/frama-c/design.o
+lib/frama-c/destructors.cmi
+lib/frama-c/destructors.cmo
+lib/frama-c/destructors.cmx
+lib/frama-c/destructors.o
 lib/frama-c/dominators.cmi
 lib/frama-c/dominators.cmo
 lib/frama-c/dominators.cmx
@@ -810,10 +814,6 @@ lib/frama-c/tr_offset.cmi
 lib/frama-c/tr_offset.cmo
 lib/frama-c/tr_offset.cmx
 lib/frama-c/tr_offset.o
-lib/frama-c/trace.cmi
-lib/frama-c/trace.cmo
-lib/frama-c/trace.cmx
-lib/frama-c/trace.o
 lib/frama-c/transitioning.cmi
 lib/frama-c/transitioning.cmo
 lib/frama-c/transitioning.cmx
@@ -830,6 +830,10 @@ lib/frama-c/typed_parameter.cmi
 lib/frama-c/typed_parameter.cmo
 lib/frama-c/typed_parameter.cmx
 lib/frama-c/typed_parameter.o
+lib/frama-c/undefined_sequence.cmi
+lib/frama-c/undefined_sequence.cmo
+lib/frama-c/undefined_sequence.cmx
+lib/frama-c/undefined_sequence.o
 lib/frama-c/unicode.cmi
 lib/frama-c/unicode.cmo
 lib/frama-c/unicode.cmx
@@ -838,10 +842,6 @@ lib/frama-c/unmarshal.cmi
 lib/frama-c/unmarshal.cmo
 lib/frama-c/unmarshal.cmx
 lib/frama-c/unmarshal.o
-lib/frama-c/unmarshal_nums.cmi
-lib/frama-c/unmarshal_nums.cmo
-lib/frama-c/unmarshal_nums.cmx
-lib/frama-c/unmarshal_nums.o
 lib/frama-c/unmarshal_z.cmi
 lib/frama-c/unmarshal_z.cmo
 lib/frama-c/unmarshal_z.cmx
@@ -921,6 +921,7 @@ lib/frama-c/wutil.o
 %%DATADIR%%/Makefile.generic
 %%DATADIR%%/Makefile.kernel
 %%DATADIR%%/Makefile.plugin.template
+%%DATADIR%%/autocomplete_frama-c
 %%DATADIR%%/builtin.h
 %%DATADIR%%/configure.ac
 %%DATADIR%%/doc/code/docgen.ml
@@ -1019,6 +1020,7 @@ lib/frama-c/wutil.o
 %%DATADIR%%/libc/netinet/in_systm.h
 %%DATADIR%%/libc/netinet/ip.h
 %%DATADIR%%/libc/netinet/ip_icmp.h
+%%DATADIR%%/libc/netinet/tcp.h
 %%DATADIR%%/libc/nl_types.h
 %%DATADIR%%/libc/pwd.h
 %%DATADIR%%/libc/regex.h
