diff options
| author | ryoon <ryoon@pkgsrc.org> | 2017-07-12 01:55:17 +0000 |
|---|---|---|
| committer | ryoon <ryoon@pkgsrc.org> | 2017-07-12 01:55:17 +0000 |
| commit | c032215860661a8c2664737428082010dcfc9feb (patch) | |
| tree | c63fce1a1a41ad1ab284825b51c3c62450aaad67 /devel/Makefile | |
| parent | 0cb1ca8c0a594ef278bda0c137d569fa6084b568 (diff) | |
| download | pkgsrc-c032215860661a8c2664737428082010dcfc9feb.tar.gz | |
Add verifast
Diffstat (limited to 'devel/Makefile')
| -rw-r--r-- | devel/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/devel/Makefile b/devel/Makefile index 558d3578c12..356c9ff8dae 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -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_adt SUBDIR+= vanessa_logger SUBDIR+= vanessa_socket SUBDIR+= vera++ +SUBDIR+= verifast SUBDIR+= visualvm SUBDIR+= vtcl SUBDIR+= waf |