Package the Python bindings for DeepState

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

Module Name:	pkgsrc-wip
Committed By:	Pierre Pronchery <khorben%defora.org@localhost>
Pushed By:	khorben
Date:		Tue May 8 09:24:47 2018 +0200
Changeset:	0a63eccea8fbb6f122b293bf1e250fbd258ae6e2

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

Log Message:
Package the Python bindings for DeepState

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=0a63eccea8fbb6f122b293bf1e250fbd258ae6e2

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

diffstat:
 Makefile              |  1 +
 deepstate/Makefile    |  4 ----
 deepstate/PLIST       |  3 ---
 py-deepstate/DESCR    |  8 ++++++++
 py-deepstate/Makefile | 31 +++++++++++++++++++++++++++++++
 py-deepstate/PLIST    | 22 ++++++++++++++++++++++
 py-deepstate/distinfo |  6 ++++++
 7 files changed, 68 insertions(+), 7 deletions(-)

diffs:
diff --git a/Makefile b/Makefile
index af1b6b4a86..f835c3d369 100644
--- a/Makefile
+++ b/Makefile
@@ -3089,6 +3089,7 @@ SUBDIR+=	py-decimalfp
 SUBDIR+=	py-decimalpy
 SUBDIR+=	py-decode
 SUBDIR+=	py-decoratortools
+SUBDIR+=	py-deepstate
 SUBDIR+=	py-delay
 SUBDIR+=	py-delny
 SUBDIR+=	py-deltasigma
diff --git a/deepstate/Makefile b/deepstate/Makefile
index 8ccfcb0fb3..29fce3c567 100644
--- a/deepstate/Makefile
+++ b/deepstate/Makefile
@@ -44,11 +44,7 @@ pre-configure:
 	${MKDIR} ${WRKSRC}/build
 
 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
 	${MV} ${FAKEHOMEDIR}/.local/bin/futurize ${DESTDIR}${PREFIX}/bin
-	${RM} ${FAKEHOMEDIR}/.local/bin/manticore
 	${MV} ${FAKEHOMEDIR}/.local/bin/pasteurize ${DESTDIR}${PREFIX}/bin
 
 .include "../../lang/python/extension.mk"
diff --git a/deepstate/PLIST b/deepstate/PLIST
index 05e18fc2d1..efe1f05521 100644
--- a/deepstate/PLIST
+++ b/deepstate/PLIST
@@ -1,7 +1,4 @@
 @comment $NetBSD$
-bin/deepstate
-bin/deepstate-angr
-bin/deepstate-manticore
 bin/futurize
 bin/pasteurize
 include/deepstate/Compiler.h
diff --git a/py-deepstate/DESCR b/py-deepstate/DESCR
new file mode 100644
index 0000000000..676dd68bee
--- /dev/null
+++ b/py-deepstate/DESCR
@@ -0,0 +1,8 @@
+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.
+
+This package contains the Python bindings for DeepState.
diff --git a/py-deepstate/Makefile b/py-deepstate/Makefile
new file mode 100644
index 0000000000..a6a73acf99
--- /dev/null
+++ b/py-deepstate/Makefile
@@ -0,0 +1,31 @@
+# $NetBSD: Makefile,v 1.2 2018/02/22 23:41:31 khorben Exp $
+
+DISTNAME=	deepstate-0.0.0
+PKGNAME=	${PYPKGPREFIX}-${DISTNAME}
+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+=	deepstate-[0-9]*:../../wip/deepstate
+
+PYTHON_VERSIONS_ACCEPTED=	27
+
+CMAKE_ARG_PATH=	${WRKSRC}
+CONFIGURE_DIRS=	${WRKSRC}/build
+PYSETUPSUBDIR=	build
+
+pre-configure:
+	${MKDIR} ${WRKSRC}/build
+
+.include "../../lang/python/distutils.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/py-deepstate/PLIST b/py-deepstate/PLIST
new file mode 100644
index 0000000000..bf5e328569
--- /dev/null
+++ b/py-deepstate/PLIST
@@ -0,0 +1,22 @@
+@comment $NetBSD$
+bin/deepstate
+bin/deepstate-angr
+bin/deepstate-manticore
+${PYSITELIB}/deepstate-0.1-py${PYVERSSUFFIX}.egg-info/PKG-INFO
+${PYSITELIB}/deepstate-0.1-py${PYVERSSUFFIX}.egg-info/SOURCES.txt
+${PYSITELIB}/deepstate-0.1-py${PYVERSSUFFIX}.egg-info/dependency_links.txt
+${PYSITELIB}/deepstate-0.1-py${PYVERSSUFFIX}.egg-info/entry_points.txt
+${PYSITELIB}/deepstate-0.1-py${PYVERSSUFFIX}.egg-info/requires.txt
+${PYSITELIB}/deepstate-0.1-py${PYVERSSUFFIX}.egg-info/top_level.txt
+${PYSITELIB}/deepstate/__init__.py
+${PYSITELIB}/deepstate/__init__.pyc
+${PYSITELIB}/deepstate/__init__.pyo
+${PYSITELIB}/deepstate/common.py
+${PYSITELIB}/deepstate/common.pyc
+${PYSITELIB}/deepstate/common.pyo
+${PYSITELIB}/deepstate/main_angr.py
+${PYSITELIB}/deepstate/main_angr.pyc
+${PYSITELIB}/deepstate/main_angr.pyo
+${PYSITELIB}/deepstate/main_manticore.py
+${PYSITELIB}/deepstate/main_manticore.pyc
+${PYSITELIB}/deepstate/main_manticore.pyo
diff --git a/py-deepstate/distinfo b/py-deepstate/distinfo
new file mode 100644
index 0000000000..20cf122b7d
--- /dev/null
+++ b/py-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