Wed Jul 12 01:55:17 2017 UTC ()
Add verifast


(ryoon)
diff -r1.2460 -r1.2461 pkgsrc/devel/Makefile
cvs diff -r1.2460 -r1.2461 pkgsrc/devel/Makefile (expand / switch to unified diff)

--- pkgsrc/devel/Makefile 2017/07/11 11:31:18 1.2460
+++ pkgsrc/devel/Makefile 2017/07/12 01:55:17 1.2461
@@ -1,14 +1,14 @@ @@ -1,14 +1,14 @@
1# $NetBSD: Makefile,v 1.2460 2017/07/11 11:31:18 jaapb Exp $ 1# $NetBSD: Makefile,v 1.2461 2017/07/12 01:55:17 ryoon Exp $
2# 2#
3 3
4COMMENT= Development utilities 4COMMENT= Development utilities
5 5
6SUBDIR+= ETL 6SUBDIR+= ETL
7SUBDIR+= ExmanIDE 7SUBDIR+= ExmanIDE
8SUBDIR+= GConf 8SUBDIR+= GConf
9SUBDIR+= GConf-ui 9SUBDIR+= GConf-ui
10SUBDIR+= Gorm 10SUBDIR+= Gorm
11SUBDIR+= MoarVM 11SUBDIR+= MoarVM
12SUBDIR+= ObjectiveLib 12SUBDIR+= ObjectiveLib
13SUBDIR+= ProjectCenter 13SUBDIR+= ProjectCenter
14SUBDIR+= R-Rcpp 14SUBDIR+= R-Rcpp
@@ -2379,26 +2379,27 @@ SUBDIR+= ucl @@ -2379,26 +2379,27 @@ SUBDIR+= ucl
2379SUBDIR+= ucommon 2379SUBDIR+= ucommon
2380SUBDIR+= ucpp 2380SUBDIR+= ucpp
2381SUBDIR+= umbrello 2381SUBDIR+= umbrello
2382SUBDIR+= undebt 2382SUBDIR+= undebt
2383SUBDIR+= unidiff 2383SUBDIR+= unidiff
2384SUBDIR+= uno 2384SUBDIR+= uno
2385SUBDIR+= userspace-rcu 2385SUBDIR+= userspace-rcu
2386SUBDIR+= uthash 2386SUBDIR+= uthash
2387SUBDIR+= valgrind 2387SUBDIR+= valgrind
2388SUBDIR+= vanessa_adt 2388SUBDIR+= vanessa_adt
2389SUBDIR+= vanessa_logger 2389SUBDIR+= vanessa_logger
2390SUBDIR+= vanessa_socket 2390SUBDIR+= vanessa_socket
2391SUBDIR+= vera++ 2391SUBDIR+= vera++
 2392SUBDIR+= verifast
2392SUBDIR+= visualvm 2393SUBDIR+= visualvm
2393SUBDIR+= vtcl 2394SUBDIR+= vtcl
2394SUBDIR+= waf 2395SUBDIR+= waf
2395SUBDIR+= wide 2396SUBDIR+= wide
2396SUBDIR+= woboq_codebrowser 2397SUBDIR+= woboq_codebrowser
2397SUBDIR+= xa65 2398SUBDIR+= xa65
2398SUBDIR+= xdelta 2399SUBDIR+= xdelta
2399SUBDIR+= xdelta3 2400SUBDIR+= xdelta3
2400SUBDIR+= xfce4-conf 2401SUBDIR+= xfce4-conf
2401SUBDIR+= xfce4-dev-tools 2402SUBDIR+= xfce4-dev-tools
2402SUBDIR+= xmake 2403SUBDIR+= xmake
2403SUBDIR+= xorg-util-macros 2404SUBDIR+= xorg-util-macros
2404SUBDIR+= xsd 2405SUBDIR+= xsd