Package deepstate 0.0.0 (no official release yet)

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

Module Name:	pkgsrc-wip
Committed By:	Pierre Pronchery <khorben%defora.org@localhost>
Pushed By:	khorben
Date:		Tue Feb 27 13:58:28 2018 +0100
Changeset:	0e6e028eb659d06eb02ccca1be4a70e1a2a2dcbd

Modified Files:
	Makefile
Added Files:
	deepstate/DESCR
	deepstate/Makefile
	deepstate/PLIST
	deepstate/distinfo

Log Message:
Package deepstate 0.0.0 (no official release yet)

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 see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=0e6e028eb659d06eb02ccca1be4a70e1a2a2dcbd

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

diffstat:
 Makefile           |  1 +
 deepstate/DESCR    |  6 ++++++
 deepstate/Makefile | 29 +++++++++++++++++++++++++++++
 deepstate/PLIST    | 14 ++++++++++++++
 deepstate/distinfo |  6 ++++++
 5 files changed, 56 insertions(+)

diffs:
diff --git a/Makefile b/Makefile
index 4b1d59ff4a..482ee0a4b7 100644
--- a/Makefile
+++ b/Makefile
@@ -526,6 +526,7 @@ SUBDIR+=	debian_x11
 SUBDIR+=	debootstrap
 SUBDIR+=	debugger-git
 SUBDIR+=	dee
+SUBDIR+=	deepstate
 SUBDIR+=	deforaos-accessories
 SUBDIR+=	deforaos-browser
 SUBDIR+=	deforaos-camera
diff --git a/deepstate/DESCR b/deepstate/DESCR
new file mode 100644
index 0000000000..c650ae65ce
--- /dev/null
+++ b/deepstate/DESCR
@@ -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 --git a/deepstate/Makefile b/deepstate/Makefile
new file mode 100644
index 0000000000..caedf9b697
--- /dev/null
+++ b/deepstate/Makefile
@@ -0,0 +1,29 @@
+# $NetBSD: Makefile,v 1.2 2018/02/22 23:41:31 khorben Exp $
+
+DISTNAME=	deepstate-0.0.0
+CATEGORIES=	devel
+MASTER_SITES=	${MASTER_SITE_GITHUB:=trailofbits/}
+GITHUB_PROJECT=	deepstate
+GITHUB_TAG=	ca5fada9f4653b6c808fc079907c9a90fb5b057b
+
+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
+
+USE_LANGUAGES=	c99 c++
+USE_CMAKE=	yes
+AUTO_MKDIRS=	yes
+
+DEPENDS+=	${PYPKGPREFIX}-manticore-[0-9]*:../../devel/py-manticore
+DEPENDS+=	${PYPKGPREFIX}-angr-[0-9]*:../../wip/py-angr
+
+PYTHON_VERSIONS_ACCEPTED=	27
+
+post-install:
+	${MV} ${FAKEHOMEDIR}/.local/bin/deepstate ${DESTDIR}${PREFIX}/bin
+	${MV} ${FAKEHOMEDIR}/.local/bin/deepstate-angr ${DESTDIR}${PREFIX}/bin
+	${MV} ${FAKEHOMEDIR}/.local/bin/deepstate-manticore ${DESTDIR}${PREFIX}/bin
+
+.include "../../lang/python/pyversion.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/deepstate/PLIST b/deepstate/PLIST
new file mode 100644
index 0000000000..ebb33c303e
--- /dev/null
+++ b/deepstate/PLIST
@@ -0,0 +1,14 @@
+@comment $NetBSD$
+bin/deepstate
+bin/deepstate-angr
+bin/deepstate-manticore
+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 --git a/deepstate/distinfo b/deepstate/distinfo
new file mode 100644
index 0000000000..20cf122b7d
--- /dev/null
+++ b/deepstate/distinfo
@@ -0,0 +1,6 @@
+$NetBSD$
+
+SHA1 (deepstate-0.0.0-ca5fada9f4653b6c808fc079907c9a90fb5b057b.tar.gz) = 57842124c8df58e1426d22cf570941ad3a96c15f
+RMD160 (deepstate-0.0.0-ca5fada9f4653b6c808fc079907c9a90fb5b057b.tar.gz) = 3ade55c7aeea2b60e2c71e097333488b98fe875b
+SHA512 (deepstate-0.0.0-ca5fada9f4653b6c808fc079907c9a90fb5b057b.tar.gz) = e1ce9e65ea245aeaa75fa88cdc711e8cc86f8ed04ed9ec6194bf3617949ed9abb42db5504b38b313c54d01af3aa29bbce097a5928ccb96dd41ae1fc947f1f560
+Size (deepstate-0.0.0-ca5fada9f4653b6c808fc079907c9a90fb5b057b.tar.gz) = 42783 bytes