[pkgsrc/trunk]: pkgsrc/devel Add verifast

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/d94134b5e6c2
branches:  trunk
changeset: 365243:d94134b5e6c2
user:      ryoon <ryoon%pkgsrc.org@localhost>
date:      Wed Jul 12 01:55:17 2017 +0000

description:
Add verifast

diffstat:

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

diffs (17 lines):

diff -r 9ed10ad70306 -r d94134b5e6c2 devel/Makefile
--- a/devel/Makefile    Wed Jul 12 01:54:16 2017 +0000
+++ b/devel/Makefile    Wed Jul 12 01:55:17 2017 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.2460 2017/07/11 11:31:18 jaapb Exp $
+# $NetBSD: Makefile,v 1.2461 2017/07/12 01:55:17 ryoon Exp $
 #
 
 COMMENT=       Development utilities
@@ -2389,6 +2389,7 @@
 SUBDIR+=       vanessa_logger
 SUBDIR+=       vanessa_socket
 SUBDIR+=       vera++
+SUBDIR+=       verifast
 SUBDIR+=       visualvm
 SUBDIR+=       vtcl
 SUBDIR+=       waf