From 88eecae79b1f2deca0de92d40f0bb1c5e63d035f Mon Sep 17 00:00:00 2001
From: jnemeth <jnemeth@pkgsrc.org>
Date: Thu, 17 Sep 2009 18:47:46 +0000
Subject: [PATCH] add and enable frama-c

---
 devel/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/devel/Makefile b/devel/Makefile
index 517c1cc254aa..ac7ee3040ad5 100644
--- a/devel/Makefile
+++ b/devel/Makefile
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.1232 2009/09/16 19:23:54 sno Exp $
+# $NetBSD: Makefile,v 1.1233 2009/09/17 18:47:46 jnemeth Exp $
 #
 
 COMMENT=	Development utilities
@@ -177,6 +177,7 @@ SUBDIR+=	flex
 SUBDIR+=	flim
 SUBDIR+=	florist
 SUBDIR+=	fortran-utils
+SUBDIR+=	frama-c
 SUBDIR+=	fromcvs
 SUBDIR+=	ftnchek
 SUBDIR+=	g-wrap