[pkgsrc/trunk]: pkgsrc/devel/deepstate deepstate: import version 0.1

[khorben <khorben%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/69e8321d4c7c
branches:  trunk
changeset: 439820:69e8321d4c7c
user:      khorben <khorben%pkgsrc.org@localhost>
date:      Tue Sep 29 02:50:51 2020 +0000

description:
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.

diffstat:

 devel/deepstate/DESCR           |   6 +++++
 devel/deepstate/Makefile        |  42 +++++++++++++++++++++++++++++++++++++++++
 devel/deepstate/Makefile.common |  20 +++++++++++++++++++
 devel/deepstate/PLIST           |  11 ++++++++++
 devel/deepstate/distinfo        |   6 +++++
 5 files changed, 85 insertions(+), 0 deletions(-)

diffs (105 lines):

diff -r 5fae07f72068 -r 69e8321d4c7c devel/deepstate/DESCR
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/deepstate/DESCR     Tue Sep 29 02:50:51 2020 +0000
@@ -0,0 +1,6 @@
+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.
diff -r 5fae07f72068 -r 69e8321d4c7c devel/deepstate/Makefile
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/deepstate/Makefile  Tue Sep 29 02:50:51 2020 +0000
@@ -0,0 +1,42 @@
+# $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"
diff -r 5fae07f72068 -r 69e8321d4c7c devel/deepstate/Makefile.common
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/deepstate/Makefile.common   Tue Sep 29 02:50:51 2020 +0000
@@ -0,0 +1,20 @@
+# $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@localhost
+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
diff -r 5fae07f72068 -r 69e8321d4c7c devel/deepstate/PLIST
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/deepstate/PLIST     Tue Sep 29 02:50:51 2020 +0000
@@ -0,0 +1,11 @@
+@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
diff -r 5fae07f72068 -r 69e8321d4c7c devel/deepstate/distinfo
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/deepstate/distinfo  Tue Sep 29 02:50:51 2020 +0000
@@ -0,0 +1,6 @@
+$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