head	1.1;
access;
symbols;
locks; strict;
comment	@# @;


1.1
date	2026.10.17.16.55.46;	author alnsn;	state Exp;
branches;
next	;
commitid	CknMhgn24aCkRQZG;


desc
@@


1.1
log
@Initial import of devel/cbmc version 6.10.0.

CBMC is a Bounded Model Checker for C and C++ programs. It supports
C89, C99, most of C11, C17, C23 and most compiler extensions provided
by gcc and Visual Studio. It also supports SystemC using Scoot. It
allows verifying array bounds (buffer overflows), pointer safety,
exceptions and user-specified assertions. Furthermore, it can check
C and C++ for consistency with other languages, such as Verilog.
The verification is performed by unwinding the loops in the program
and passing the resulting equation to a decision procedure.
@
text
@# $NetBSD$

DISTNAME=	cbmc-6.10.0
GITHUB_TAG=	cbmc-${PKGVERSION_NOREV}
CATEGORIES=	devel
MASTER_SITES=	${MASTER_SITE_GITHUB:=diffblue/}
DISTFILES=	${DEFAULT_DISTFILES} minisat2_2.2.1.orig.tar.gz
SITES.minisat2_2.2.1.orig.tar.gz=	${MASTER_SITE_DEBIAN:=pool/main/m/minisat2/}
EXTRACT_ONLY=	${DISTNAME}${EXTRACT_SUFX}

MAINTAINER=	pkgsrc-users@@NetBSD.org
HOMEPAGE=	https://www.cprover.org/cbmc/
COMMENT=	Bounded Model Checker for C and C++ programs
LICENSE=	original-bsd

USE_TOOLS+=		flex bison bash gmake perl git
USE_LANGUAGES=		c c++
USE_CXX_FEATURES+=	c++17 filesystem

CMAKE_CONFIGURE_ARGS+=	-DWITH_JBMC=OFF

EGDIR=			${PREFIX}/share/examples/cbmc
CONF_FILES+=		${EGDIR}/bash_completion.d/cbmc \
			${PKG_SYSCONFDIR}/bash_completion.d/cbmc
OWN_DIRS+=		${PKG_SYSCONFDIR}/bash_completion.d
INSTALLATION_DIRS+=	${EGDIR}/bash_completion.d

TEST_TARGET=		test
TEST_DEPENDS+=		z3-[0-9]*:../../math/z3
TEST_DEPENDS+=		cvc5-[0-9]*:../../math/cvc5

post-extract:
	${MKDIR} ${WRKSRC}/${CMAKE_BUILD_DIR}/minisat2-download/minisat2-download-prefix/src
	${CP} -p ${DISTDIR}/minisat2_2.2.1.orig.tar.gz \
		${WRKSRC}/${CMAKE_BUILD_DIR}/minisat2-download/minisat2-download-prefix/src/

post-install:
	${MV} ${DESTDIR}${PREFIX}/etc/bash_completion.d/cbmc \
		${DESTDIR}${EGDIR}/bash_completion.d/cbmc
	${RMDIR} ${DESTDIR}${PREFIX}/etc/bash_completion.d

.include "../../devel/cmake/build.mk"
.include "../../mk/bsd.pkg.mk"
@