From owner-svn-ports-all@FreeBSD.ORG Sat Jan 31 09:54:16 2015 Return-Path: Delivered-To: svn-ports-all@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id 175BB8CA; Sat, 31 Jan 2015 09:54:16 +0000 (UTC) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 02BD87D9; Sat, 31 Jan 2015 09:54:16 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.9/8.14.9) with ESMTP id t0V9sFWT061039; Sat, 31 Jan 2015 09:54:15 GMT (envelope-from antoine@FreeBSD.org) Received: (from antoine@localhost) by svn.freebsd.org (8.14.9/8.14.9/Submit) id t0V9sFjC061038; Sat, 31 Jan 2015 09:54:15 GMT (envelope-from antoine@FreeBSD.org) Message-Id: <201501310954.t0V9sFjC061038@svn.freebsd.org> X-Authentication-Warning: svn.freebsd.org: antoine set sender to antoine@FreeBSD.org using -f From: Antoine Brodin Date: Sat, 31 Jan 2015 09:54:15 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r378196 - head/devel/frama-c X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.18-1 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 31 Jan 2015 09:54:16 -0000 Author: antoine Date: Sat Jan 31 09:54:15 2015 New Revision: 378196 URL: https://svnweb.freebsd.org/changeset/ports/378196 QAT: https://qat.redports.org/buildarchive/r378196/ Log: Mark BROKEN: Fails to build with ocamlgraph 1.8.6 Ocamlc src/logic/property_status.cmi Ocamlc src/logic/property_status.cmo File "src/logic/property_status.ml", line 1444, characters 4-2019: Error: Signature mismatch: ... Values do not match: val vertex_attributes : v -> [> `Color of int | `Label of string | `Shape of [> `Box | `Diamond ] | `Style of [> `Bold | `Filled ] | `Width of float ] list is not included in val vertex_attributes : V.t -> Graph.Graphviz.DotAttributes.vertex list File "src/logic/property_status.ml", line 1479, characters 16-33: Actual declaration share/Makefile.generic:75: recipe for target 'src/logic/property_status.cmo' failed Reported by: pkg-fallout Modified: head/devel/frama-c/Makefile Modified: head/devel/frama-c/Makefile ============================================================================== --- head/devel/frama-c/Makefile Sat Jan 31 09:49:22 2015 (r378195) +++ head/devel/frama-c/Makefile Sat Jan 31 09:54:15 2015 (r378196) @@ -13,6 +13,8 @@ COMMENT= Extensible platform for source- LICENSE= LGPL21 +BROKEN= Fails to build with ocamlgraph 1.8.6 + BUILD_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:${PORTSDIR}/math/ocaml-ocamlgraph RUN_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:${PORTSDIR}/math/ocaml-ocamlgraph