Date: Mon, 17 Jun 2019 07:33:40 +0000 (UTC) From: Alexey Dokuchaev <danfe@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r504397 - in head/devel/frama-c: . files Message-ID: <201906170733.x5H7XedX056287@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201906170733.x5H7XedX056287>