deepstate: import version 0.1

DeepState is a framework that provides C and C++ developers with a common
interface to various symbolic execution and fuzzing engines. Users can write
one test harness using a Google Test-like API, then execute it using multiple
backends without having to learn the complexities of the underlying engines. It
supports writing unit tests and API sequence tests, as well as automatic test
generation.


(khorben)

DeepState is a framework that provides C and C++ developers with a common
interface to various symbolic execution and fuzzing engines. Users can write
one test harness using a Google Test-like API, then execute it using multiple
backends without having to learn the complexities of the underlying engines. It
supports writing unit tests and API sequence tests, as well as automatic test
generation.

# $NetBSD: Makefile,v 1.1 2020/09/29 02:50:51 khorben Exp $

USE_LANGUAGES=	c99 c++
USE_CMAKE=	yes
AUTO_MKDIRS=	yes

DEPENDS+=	${PYPKGPREFIX}-angr-[0-9]*:../../devel/py-angr
DEPENDS+=	${PYPKGPREFIX}-cachetools-[0-9]*:../../devel/py-cachetools
DEPENDS+=	${PYPKGPREFIX}-cparser-[0-9]*:../../devel/py-cparser
DEPENDS+=	${PYPKGPREFIX}-decorator-[0-9]*:../../devel/py-decorator
DEPENDS+=	${PYPKGPREFIX}-future-[0-9]*:../../devel/py-future
DEPENDS+=	${PYPKGPREFIX}-gitpython-[0-9]*:../../devel/py-gitpython
DEPENDS+=	${PYPKGPREFIX}-manticore-[0-9]*:../../devel/py-manticore
DEPENDS+=	${PYPKGPREFIX}-networkx-[0-9]*:../../math/py-networkx
DEPENDS+=	${PYPKGPREFIX}-pefile-[0-9]*:../../sysutils/py-pefile
DEPENDS+=	${PYPKGPREFIX}-ana-[0-9]*:../../databases/py-ana
DEPENDS+=	${PYPKGPREFIX}-bintrees-[0-9]*:../../devel/py-bintrees
DEPENDS+=	${PYPKGPREFIX}-bitstring-[0-9]*:../../devel/py-bitstring
DEPENDS+=	${PYPKGPREFIX}-cooldict-[0-9]*:../../devel/py-cooldict
DEPENDS+=	${PYPKGPREFIX}-dpkt-[0-9]*:../../net/py-dpkt
DEPENDS+=	${PYPKGPREFIX}-mulpyplexer-[0-9]*:../../devel/py-mulpyplexer
DEPENDS+=	${PYPKGPREFIX}-progressbar2-[0-9]*:../../devel/py-progressbar2
DEPENDS+=	${PYPKGPREFIX}-rpyc-[0-9]*:../../net/py-rpyc
DEPENDS+=	${PYPKGPREFIX}-z3solver-[0-9]*:../../math/py-z3solver

PYTHON_VERSIONS_ACCEPTED=	37 36

CMAKE_ARG_PATH=	${WRKSRC}
CMAKE_ARGS+=	-DPYTHON=${PREFIX}/bin/python${PYVERSSUFFIX}
CONFIGURE_DIRS=	${WRKSRC}/build

pre-configure:
	${MKDIR} ${CONFIGURE_DIRS}

post-install:
.for binaryfile in futurize pasteurize
	${MV} ${FAKEHOMEDIR}/.local/bin/${binaryfile} ${DESTDIR}${PREFIX}/bin
.endfor

.include "Makefile.common"
.include "../../lang/python/pyversion.mk"
.include "../../mk/bsd.pkg.mk"

# $NetBSD: Makefile.common,v 1.1 2020/09/29 02:50:51 khorben Exp $
#
# used by devel/deepstate/Makefile
# used by devel/deepstate-afl/Makefile
# used by devel/deepstate-honggfuzz/Makefile
# used by devel/py-deepstate/Makefile

VERSION=	0.1
DISTNAME=	deepstate-${VERSION}
CATEGORIES=	devel
MASTER_SITES=	${MASTER_SITE_GITHUB:=trailofbits/}
GITHUB_PROJECT=	deepstate
GITHUB_TAG=	61ae1ed422194bd879e50ee5b2bce93537310473

MAINTAINER=	khorben@defora.org
HOMEPAGE=	https://github.com/trailofbits/deepstate/
COMMENT=	Augments C/C++ Test-Driven Development with Symbolic Execution
LICENSE=	apache-2.0

DISTINFO_FILE=	${.CURDIR}/../../devel/deepstate/distinfo

@comment $NetBSD: PLIST,v 1.1 2020/09/29 02:50:51 khorben Exp $
include/deepstate/Compiler.h
include/deepstate/DeepState.h
include/deepstate/DeepState.hpp
include/deepstate/Klee.h
include/deepstate/Log.h
include/deepstate/Option.h
include/deepstate/Stream.h
include/deepstate/Stream.hpp
lib/libdeepstate.a
lib/libdeepstate32.a

$NetBSD: distinfo,v 1.1 2020/09/29 02:50:51 khorben Exp $

SHA1 (deepstate-0.1-61ae1ed422194bd879e50ee5b2bce93537310473.tar.gz) = 5934b0ccbca58061501b9a5fdfb5ca6eb8131a4b
RMD160 (deepstate-0.1-61ae1ed422194bd879e50ee5b2bce93537310473.tar.gz) = 0de503f7586c5892c36ebc15a501d0b3682feac6
SHA512 (deepstate-0.1-61ae1ed422194bd879e50ee5b2bce93537310473.tar.gz) = f9316e90c44ae960a7a447ade857509fd3b7fe95ec1c66bf25fe921cc95cd0361894c92dd08628966eb89637797f92ae7147db9b8eb166cf032b4fe1dc6c06c7
Size (deepstate-0.1-61ae1ed422194bd879e50ee5b2bce93537310473.tar.gz) = 115694 bytes