CVS commit: pkgsrc/devel

["Alexander Nasonov" <alnsn%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Sat Oct 17 16:57:05 UTC 2026

Modified Files:
        pkgsrc/devel: Makefile

Log Message:
Add cbmc.


To generate a diff of this commit:
cvs rdiff -u -r1.4704 -r1.4705 pkgsrc/devel/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/devel/Makefile
diff -u pkgsrc/devel/Makefile:1.4704 pkgsrc/devel/Makefile:1.4705
--- pkgsrc/devel/Makefile:1.4704        Wed Oct 14 03:20:32 2026
+++ pkgsrc/devel/Makefile       Sat Oct 17 16:57:05 2026
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.4704 2026/10/14 03:20:32 agc Exp $
+# $NetBSD: Makefile,v 1.4705 2026/10/17 16:57:05 alnsn Exp $
 #
 
 COMMENT=       Development utilities
@@ -256,6 +256,7 @@ SUBDIR+=    carwash
 SUBDIR+=       catch
 SUBDIR+=       catch2
 SUBDIR+=       cbindgen
+SUBDIR+=       cbmc
 SUBDIR+=       cbrowser
 SUBDIR+=       ccache
 SUBDIR+=       ccache3