From owner-cvs-all@FreeBSD.ORG Fri Oct 21 12:33:57 2011 Return-Path: Delivered-To: cvs-all@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 222711065670; Fri, 21 Oct 2011 12:33:57 +0000 (UTC) (envelope-from bf@FreeBSD.org) Received: from repoman.freebsd.org (repoman.freebsd.org [IPv6:2001:4f8:fff6::29]) by mx1.freebsd.org (Postfix) with ESMTP id EE08F8FC17; Fri, 21 Oct 2011 12:33:56 +0000 (UTC) Received: from repoman.freebsd.org (localhost [127.0.0.1]) by repoman.freebsd.org (8.14.4/8.14.4) with ESMTP id p9LCXuqo043789; Fri, 21 Oct 2011 12:33:56 GMT (envelope-from bf@repoman.freebsd.org) Received: (from bf@localhost) by repoman.freebsd.org (8.14.4/8.14.4/Submit) id p9LCXuWP043788; Fri, 21 Oct 2011 12:33:56 GMT (envelope-from bf) Message-Id: <201110211233.p9LCXuWP043788@repoman.freebsd.org> From: Brendan Fabeny Date: Fri, 21 Oct 2011 12:33:56 +0000 (UTC) To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org X-FreeBSD-CVS-Branch: HEAD Cc: Subject: cvs commit: ports/devel/frama-c Makefile X-BeenThere: cvs-all@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: **OBSOLETE** CVS commit messages for the entire tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 21 Oct 2011 12:33:57 -0000 bf 2011-10-21 12:33:56 UTC FreeBSD ports repository Modified files: devel/frama-c Makefile Log: fix the plist after the recent ocamlgraph update by permitting the use of external ocamlgraph-1.8 [1]; indent the post-patch target for clarity Reported by: pav, johans [1] Revision Changes Path 1.2 +19 -16 ports/devel/frama-c/Makefile