svn commit: r527905 - in head/math: . py-claripy

[Mateusz Piotrowski]

Author: 0mp
Date: Sat Mar  7 00:00:17 2020
New Revision: 527905
URL: https://svnweb.freebsd.org/changeset/ports/527905

Log:
  New port: math/py-claripy
  
  Claripy is an abstracted constraint-solving wrapper for Python.
  
  It is being developed by the Angr project.
  
  WWW: https://github.com/angr/claripy
  
  PR:		244562

Added:
  head/math/py-claripy/
  head/math/py-claripy/Makefile   (contents, props changed)
  head/math/py-claripy/distinfo   (contents, props changed)
  head/math/py-claripy/pkg-descr   (contents, props changed)
Modified:
  head/math/Makefile

Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile	Fri Mar  6 23:41:39 2020	(r527904)
+++ head/math/Makefile	Sat Mar  7 00:00:17 2020	(r527905)
@@ -700,6 +700,7 @@
     SUBDIR += py-bottleneck
     SUBDIR += py-cdecimal
     SUBDIR += py-chaospy
+    SUBDIR += py-claripy
     SUBDIR += py-cma
     SUBDIR += py-colormath
     SUBDIR += py-cryptominisat

Added: head/math/py-claripy/Makefile
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/py-claripy/Makefile	Sat Mar  7 00:00:17 2020	(r527905)
@@ -0,0 +1,37 @@
+# $FreeBSD$
+
+PORTNAME=	claripy
+DISTVERSION=	8.20.1.7
+CATEGORIES=	math devel python
+MASTER_SITES=	CHEESESHOP
+PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
+DISTFILES=	${DISTNAME}${EXTRACT_SUFX}
+
+MAINTAINER=	0mp at FreeBSD.org
+COMMENT=	Abstraction layer for constraint solvers
+
+LICENSE=	BSD2CLAUSE
+LICENSE_FILE=	${WRKSRC}/LICENSE
+
+RUN_DEPENDS=	${PYTHON_PKGNAMEPREFIX}cachetools>0:devel/py-cachetools@${PY_FLAVOR} \
+		${PYTHON_PKGNAMEPREFIX}decorator>0:devel/py-decorator@${PY_FLAVOR} \
+		${PYTHON_PKGNAMEPREFIX}future>0:devel/py-future@${PY_FLAVOR} \
+		${PYTHON_PKGNAMEPREFIX}PySMT>0:math/py-PySMT@${PY_FLAVOR} \
+		${PYTHON_PKGNAMEPREFIX}z3-solver>4.8.5.0:math/py-z3-solver@${PY_FLAVOR}
+TEST_DEPENDS=	${PYTHON_PKGNAMEPREFIX}nose>0:devel/py-nose@${PY_FLAVOR} \
+		z3>4.8.5.0:math/z3
+
+USES=		python:3.5+
+USE_GITHUB=	nodefault
+GH_TUPLE=	angr:${PORTNAME}:ea20bb80a84aab942f89cffbf035675dc0cf1af4:tests
+USE_PYTHON=	autoplist distutils
+
+NO_ARCH=	yes
+
+pre-test:
+	@${LN} -Fs ${WRKSRC_tests}/tests ${WRKSRC}/tests
+
+do-test:
+	@(cd ${TEST_WRKSRC} && ${SETENV} ${TEST_ENV} nosetests-${PYTHON_VER} tests/*)
+
+.include <bsd.port.mk>

Added: head/math/py-claripy/distinfo
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/py-claripy/distinfo	Sat Mar  7 00:00:17 2020	(r527905)
@@ -0,0 +1,5 @@
+TIMESTAMP = 1583538744
+SHA256 (claripy-8.20.1.7.tar.gz) = cfdc3e33560eb639e7188f44e316fe8515d47a21f5720d3acd29c5c65bc44f14
+SIZE (claripy-8.20.1.7.tar.gz) = 121785
+SHA256 (angr-claripy-ea20bb80a84aab942f89cffbf035675dc0cf1af4_GH0.tar.gz) = db1bc947e2990b2683a64fa5826deaa28f071a1c30d9dd67a6dd7549d84e7a3d
+SIZE (angr-claripy-ea20bb80a84aab942f89cffbf035675dc0cf1af4_GH0.tar.gz) = 149530

Added: head/math/py-claripy/pkg-descr
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/py-claripy/pkg-descr	Sat Mar  7 00:00:17 2020	(r527905)
@@ -0,0 +1,5 @@
+Claripy is an abstracted constraint-solving wrapper for Python.
+
+It is being developed by the Angr project.
+
+WWW: https://github.com/angr/claripy