From owner-svn-ports-head@freebsd.org Mon Jun 17 07:33:42 2019 Return-Path: Delivered-To: svn-ports-head@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 4F70D15B00CB; Mon, 17 Jun 2019 07:33:42 +0000 (UTC) (envelope-from danfe@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id E2A95839C6; Mon, 17 Jun 2019 07:33:41 +0000 (UTC) (envelope-from danfe@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id B9EBF2284E; Mon, 17 Jun 2019 07:33:41 +0000 (UTC) (envelope-from danfe@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id x5H7XfJ3056292; Mon, 17 Jun 2019 07:33:41 GMT (envelope-from danfe@FreeBSD.org) Received: (from danfe@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id x5H7XedX056287; Mon, 17 Jun 2019 07:33:40 GMT (envelope-from danfe@FreeBSD.org) Message-Id: <201906170733.x5H7XedX056287@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: danfe set sender to danfe@FreeBSD.org using -f From: Alexey Dokuchaev Date: Mon, 17 Jun 2019 07:33:40 +0000 (UTC) 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 X-SVN-Group: ports-head X-SVN-Commit-Author: danfe X-SVN-Commit-Paths: in head/devel/frama-c: . files X-SVN-Commit-Revision: 504397 X-SVN-Commit-Repository: ports MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Rspamd-Queue-Id: E2A95839C6 X-Spamd-Bar: -- Authentication-Results: mx1.freebsd.org X-Spamd-Result: default: False [-2.98 / 15.00]; local_wl_from(0.00)[FreeBSD.org]; NEURAL_HAM_MEDIUM(-1.00)[-0.999,0]; NEURAL_HAM_SHORT(-0.98)[-0.980,0]; ASN(0.00)[asn:11403, ipnet:2610:1c1:1::/48, country:US]; NEURAL_HAM_LONG(-1.00)[-1.000,0] X-BeenThere: svn-ports-head@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: SVN commit messages for the ports tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 17 Jun 2019 07:33:42 -0000 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