From owner-cvs-all@FreeBSD.ORG Sun Sep 18 15:38:25 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 68BEE106566B; Sun, 18 Sep 2011 15:38:25 +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 4004D8FC0C; Sun, 18 Sep 2011 15:38:25 +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 p8IFcPvu026142; Sun, 18 Sep 2011 15:38:25 GMT (envelope-from bf@repoman.freebsd.org) Received: (from bf@localhost) by repoman.freebsd.org (8.14.4/8.14.4/Submit) id p8IFcPSb026141; Sun, 18 Sep 2011 15:38:25 GMT (envelope-from bf) Message-Id: <201109181538.p8IFcPSb026141@repoman.freebsd.org> From: Brendan Fabeny Date: Sun, 18 Sep 2011 15:38:25 +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 Makefile ports/devel/frama-c Makefile distinfo pkg-descr pkg-plist 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: Sun, 18 Sep 2011 15:38:25 -0000 bf 2011-09-18 15:38:25 UTC FreeBSD ports repository Modified files: devel Makefile Added files: devel/frama-c Makefile distinfo pkg-descr pkg-plist Log: Add frama-c , extensible platform for source-code analysis of C. Revision Changes Path 1.4549 +1 -0 ports/devel/Makefile 1.1 +109 -0 ports/devel/frama-c/Makefile (new) 1.1 +2 -0 ports/devel/frama-c/distinfo (new) 1.1 +16 -0 ports/devel/frama-c/pkg-descr (new) 1.1 +906 -0 ports/devel/frama-c/pkg-plist (new)