CVS commit: pkgsrc/devel/deepstate

["Pierre Pronchery" <khorben%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   khorben
Date:           Tue Sep 29 02:50:52 UTC 2020

Added Files:
        pkgsrc/devel/deepstate: DESCR Makefile Makefile.common PLIST distinfo

Log Message:
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.


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/devel/deepstate/DESCR \
    pkgsrc/devel/deepstate/Makefile pkgsrc/devel/deepstate/Makefile.common \
    pkgsrc/devel/deepstate/PLIST pkgsrc/devel/deepstate/distinfo

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

Added files:

Index: pkgsrc/devel/deepstate/DESCR
diff -u /dev/null pkgsrc/devel/deepstate/DESCR:1.1
--- /dev/null   Tue Sep 29 02:50:52 2020
+++ pkgsrc/devel/deepstate/DESCR        Tue Sep 29 02:50:51 2020
@@ -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.
Index: pkgsrc/devel/deepstate/Makefile
diff -u /dev/null pkgsrc/devel/deepstate/Makefile:1.1
--- /dev/null   Tue Sep 29 02:50:52 2020
+++ pkgsrc/devel/deepstate/Makefile     Tue Sep 29 02:50:51 2020
@@ -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"
Index: pkgsrc/devel/deepstate/Makefile.common
diff -u /dev/null pkgsrc/devel/deepstate/Makefile.common:1.1
--- /dev/null   Tue Sep 29 02:50:52 2020
+++ pkgsrc/devel/deepstate/Makefile.common      Tue Sep 29 02:50:51 2020
@@ -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
Index: pkgsrc/devel/deepstate/PLIST
diff -u /dev/null pkgsrc/devel/deepstate/PLIST:1.1
--- /dev/null   Tue Sep 29 02:50:52 2020
+++ pkgsrc/devel/deepstate/PLIST        Tue Sep 29 02:50:51 2020
@@ -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
Index: pkgsrc/devel/deepstate/distinfo
diff -u /dev/null pkgsrc/devel/deepstate/distinfo:1.1
--- /dev/null   Tue Sep 29 02:50:52 2020
+++ pkgsrc/devel/deepstate/distinfo     Tue Sep 29 02:50:51 2020
@@ -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