[pkgsrc/trunk]: pkgsrc/devel add and enable frama-c

[jnemeth <jnemeth%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/d5683890aa73
branches:  trunk
changeset: 399329:d5683890aa73
user:      jnemeth <jnemeth%pkgsrc.org@localhost>
date:      Thu Sep 17 18:47:46 2009 +0000

description:
add and enable frama-c

diffstat:

 devel/Makefile |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (17 lines):

diff -r 1c7b8d08b55a -r d5683890aa73 devel/Makefile
--- a/devel/Makefile    Thu Sep 17 18:01:18 2009 +0000
+++ b/devel/Makefile    Thu Sep 17 18:47:46 2009 +0000
@@ -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+=       flim
 SUBDIR+=       florist
 SUBDIR+=       fortran-utils
+SUBDIR+=       frama-c
 SUBDIR+=       fromcvs
 SUBDIR+=       ftnchek
 SUBDIR+=       g-wrap