pkgsrc-WIP-changes archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Remove py-claripy



Module Name:	pkgsrc-wip
Committed By:	Pierre Pronchery <khorben%defora.org@localhost>
Pushed By:	khorben
Date:		Thu Mar 15 03:27:28 2018 +0100
Changeset:	b41a7728ff1c528a8c42137670ebbb861ae43813

Modified Files:
	Makefile
	py-angr/Makefile
Removed Files:
	py-claripy/DESCR
	py-claripy/Makefile
	py-claripy/PLIST
	py-claripy/distinfo

Log Message:
Remove py-claripy

This package has just been imported into pkgsrc upstream.

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

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

diffstat:
 Makefile            |   1 -
 py-angr/Makefile    |   2 +-
 py-claripy/DESCR    |   3 -
 py-claripy/Makefile |  18 ------
 py-claripy/PLIST    | 183 ----------------------------------------------------
 py-claripy/distinfo |   6 --
 6 files changed, 1 insertion(+), 212 deletions(-)

diffs:
diff --git a/Makefile b/Makefile
index 09a5afe9b8..c6fe6abe2f 100644
--- a/Makefile
+++ b/Makefile
@@ -2997,7 +2997,6 @@ SUBDIR+=	py-christofides
 SUBDIR+=	py-ciabatta
 SUBDIR+=	py-cinfony
 SUBDIR+=	py-cito
-SUBDIR+=	py-claripy
 SUBDIR+=	py-cle
 SUBDIR+=	py-cli
 SUBDIR+=	py-clickatell
diff --git a/py-angr/Makefile b/py-angr/Makefile
index 65bd7edff1..f7c52a592f 100644
--- a/py-angr/Makefile
+++ b/py-angr/Makefile
@@ -22,7 +22,7 @@ DEPENDS+=	${PYPKGPREFIX}-capstone-[0-9]*:../../devel/py-capstone
 DEPENDS+=	${PYPKGPREFIX}-cffi-[0-9]*:../../devel/py-cffi
 DEPENDS+=	${PYPKGPREFIX}-futures-[0-9]*:../../devel/py-futures
 DEPENDS+=	${PYPKGPREFIX}-unicorn-[0-9]*:../../emulators/py-unicorn
-DEPENDS+=	${PYPKGPREFIX}-claripy-[0-9]*:../../wip/py-claripy
+DEPENDS+=	${PYPKGPREFIX}-claripy-[0-9]*:../../math/py-claripy
 DEPENDS+=	${PYPKGPREFIX}-cle-[0-9]*:../../wip/py-cle
 DEPENDS+=	${PYPKGPREFIX}-pyvex-[0-9]*:../../wip/py-pyvex
 
diff --git a/py-claripy/DESCR b/py-claripy/DESCR
deleted file mode 100644
index 1fd213b250..0000000000
--- a/py-claripy/DESCR
+++ /dev/null
@@ -1,3 +0,0 @@
-Claripy is a abstracted constraint-solving wrapper.
-
-General usage is similar to z3.
diff --git a/py-claripy/Makefile b/py-claripy/Makefile
deleted file mode 100644
index fdf43e6645..0000000000
--- a/py-claripy/Makefile
+++ /dev/null
@@ -1,18 +0,0 @@
-# $NetBSD$
-
-DISTNAME=	claripy-7.8.2.21
-PKGNAME=	${PYPKGPREFIX}-${EGG_NAME}
-CATEGORIES=	devel
-MASTER_SITES=	${MASTER_SITE_GITHUB:=angr/}
-GITHUB_PROJECT=	claripy
-GITHUB_TAG=	74a79e034f87369d26846cb7751276b191319e59
-
-MAINTAINER=	khorben%defora.org@localhost
-HOMEPAGE=	https://github.com/angr/claripy/
-COMMENT=	Abstraction layer for constraint solvers
-LICENSE=	2-clause-bsd
-
-PYTHON_VERSIONS_ACCEPTED=	27
-
-.include "../../lang/python/egg.mk"
-.include "../../mk/bsd.pkg.mk"
diff --git a/py-claripy/PLIST b/py-claripy/PLIST
deleted file mode 100644
index 34193bc1ce..0000000000
--- a/py-claripy/PLIST
+++ /dev/null
@@ -1,183 +0,0 @@
-@comment $NetBSD$
-${PYSITELIB}/${EGG_INFODIR}/PKG-INFO
-${PYSITELIB}/${EGG_INFODIR}/SOURCES.txt
-${PYSITELIB}/${EGG_INFODIR}/dependency_links.txt
-${PYSITELIB}/${EGG_INFODIR}/requires.txt
-${PYSITELIB}/${EGG_INFODIR}/top_level.txt
-${PYSITELIB}/claripy/__init__.py
-${PYSITELIB}/claripy/__init__.pyc
-${PYSITELIB}/claripy/__init__.pyo
-${PYSITELIB}/claripy/annotation.py
-${PYSITELIB}/claripy/annotation.pyc
-${PYSITELIB}/claripy/annotation.pyo
-${PYSITELIB}/claripy/ast/__init__.py
-${PYSITELIB}/claripy/ast/__init__.pyc
-${PYSITELIB}/claripy/ast/__init__.pyo
-${PYSITELIB}/claripy/ast/base.py
-${PYSITELIB}/claripy/ast/base.pyc
-${PYSITELIB}/claripy/ast/base.pyo
-${PYSITELIB}/claripy/ast/bits.py
-${PYSITELIB}/claripy/ast/bits.pyc
-${PYSITELIB}/claripy/ast/bits.pyo
-${PYSITELIB}/claripy/ast/bool.py
-${PYSITELIB}/claripy/ast/bool.pyc
-${PYSITELIB}/claripy/ast/bool.pyo
-${PYSITELIB}/claripy/ast/bv.py
-${PYSITELIB}/claripy/ast/bv.pyc
-${PYSITELIB}/claripy/ast/bv.pyo
-${PYSITELIB}/claripy/ast/fp.py
-${PYSITELIB}/claripy/ast/fp.pyc
-${PYSITELIB}/claripy/ast/fp.pyo
-${PYSITELIB}/claripy/ast/int.py
-${PYSITELIB}/claripy/ast/int.pyc
-${PYSITELIB}/claripy/ast/int.pyo
-${PYSITELIB}/claripy/ast/vs.py
-${PYSITELIB}/claripy/ast/vs.pyc
-${PYSITELIB}/claripy/ast/vs.pyo
-${PYSITELIB}/claripy/backend_manager.py
-${PYSITELIB}/claripy/backend_manager.pyc
-${PYSITELIB}/claripy/backend_manager.pyo
-${PYSITELIB}/claripy/backend_object.py
-${PYSITELIB}/claripy/backend_object.pyc
-${PYSITELIB}/claripy/backend_object.pyo
-${PYSITELIB}/claripy/backends/__init__.py
-${PYSITELIB}/claripy/backends/__init__.pyc
-${PYSITELIB}/claripy/backends/__init__.pyo
-${PYSITELIB}/claripy/backends/backend_concrete.py
-${PYSITELIB}/claripy/backends/backend_concrete.pyc
-${PYSITELIB}/claripy/backends/backend_concrete.pyo
-${PYSITELIB}/claripy/backends/backend_vsa.py
-${PYSITELIB}/claripy/backends/backend_vsa.pyc
-${PYSITELIB}/claripy/backends/backend_vsa.pyo
-${PYSITELIB}/claripy/backends/backend_z3.py
-${PYSITELIB}/claripy/backends/backend_z3.pyc
-${PYSITELIB}/claripy/backends/backend_z3.pyo
-${PYSITELIB}/claripy/backends/backend_z3_parallel.py
-${PYSITELIB}/claripy/backends/backend_z3_parallel.pyc
-${PYSITELIB}/claripy/backends/backend_z3_parallel.pyo
-${PYSITELIB}/claripy/backends/backendremote.py
-${PYSITELIB}/claripy/backends/backendremote.pyc
-${PYSITELIB}/claripy/backends/backendremote.pyo
-${PYSITELIB}/claripy/backends/celeryconfig.py
-${PYSITELIB}/claripy/backends/celeryconfig.pyc
-${PYSITELIB}/claripy/backends/celeryconfig.pyo
-${PYSITELIB}/claripy/backends/remotetasks.py
-${PYSITELIB}/claripy/backends/remotetasks.pyc
-${PYSITELIB}/claripy/backends/remotetasks.pyo
-${PYSITELIB}/claripy/balancer.py
-${PYSITELIB}/claripy/balancer.pyc
-${PYSITELIB}/claripy/balancer.pyo
-${PYSITELIB}/claripy/bv.py
-${PYSITELIB}/claripy/bv.pyc
-${PYSITELIB}/claripy/bv.pyo
-${PYSITELIB}/claripy/errors.py
-${PYSITELIB}/claripy/errors.pyc
-${PYSITELIB}/claripy/errors.pyo
-${PYSITELIB}/claripy/fp.py
-${PYSITELIB}/claripy/fp.pyc
-${PYSITELIB}/claripy/fp.pyo
-${PYSITELIB}/claripy/frontend.py
-${PYSITELIB}/claripy/frontend.pyc
-${PYSITELIB}/claripy/frontend.pyo
-${PYSITELIB}/claripy/frontend_mixins/__init__.py
-${PYSITELIB}/claripy/frontend_mixins/__init__.pyc
-${PYSITELIB}/claripy/frontend_mixins/__init__.pyo
-${PYSITELIB}/claripy/frontend_mixins/composited_cache_mixin.py
-${PYSITELIB}/claripy/frontend_mixins/composited_cache_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/composited_cache_mixin.pyo
-${PYSITELIB}/claripy/frontend_mixins/concrete_handler_mixin.py
-${PYSITELIB}/claripy/frontend_mixins/concrete_handler_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/concrete_handler_mixin.pyo
-${PYSITELIB}/claripy/frontend_mixins/constraint_deduplicator_mixin.py
-${PYSITELIB}/claripy/frontend_mixins/constraint_deduplicator_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/constraint_deduplicator_mixin.pyo
-${PYSITELIB}/claripy/frontend_mixins/constraint_expansion_mixin.py
-${PYSITELIB}/claripy/frontend_mixins/constraint_expansion_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/constraint_expansion_mixin.pyo
-${PYSITELIB}/claripy/frontend_mixins/constraint_filter_mixin.py
-${PYSITELIB}/claripy/frontend_mixins/constraint_filter_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/constraint_filter_mixin.pyo
-${PYSITELIB}/claripy/frontend_mixins/constraint_fixer_mixin.py
-${PYSITELIB}/claripy/frontend_mixins/constraint_fixer_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/constraint_fixer_mixin.pyo
-${PYSITELIB}/claripy/frontend_mixins/debug_mixin.py
-${PYSITELIB}/claripy/frontend_mixins/debug_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/debug_mixin.pyo
-${PYSITELIB}/claripy/frontend_mixins/eager_resolution_mixin.py
-${PYSITELIB}/claripy/frontend_mixins/eager_resolution_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/eager_resolution_mixin.pyo
-${PYSITELIB}/claripy/frontend_mixins/model_cache_mixin.py
-${PYSITELIB}/claripy/frontend_mixins/model_cache_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/model_cache_mixin.pyo
-${PYSITELIB}/claripy/frontend_mixins/sat_cache_mixin.py
-${PYSITELIB}/claripy/frontend_mixins/sat_cache_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/sat_cache_mixin.pyo
-${PYSITELIB}/claripy/frontend_mixins/simplify_helper_mixin.py
-${PYSITELIB}/claripy/frontend_mixins/simplify_helper_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/simplify_helper_mixin.pyo
-${PYSITELIB}/claripy/frontend_mixins/simplify_skipper_mixin.py
-${PYSITELIB}/claripy/frontend_mixins/simplify_skipper_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/simplify_skipper_mixin.pyo
-${PYSITELIB}/claripy/frontend_mixins/solve_block_mixin.py
-${PYSITELIB}/claripy/frontend_mixins/solve_block_mixin.pyc
-${PYSITELIB}/claripy/frontend_mixins/solve_block_mixin.pyo
-${PYSITELIB}/claripy/frontends/__init__.py
-${PYSITELIB}/claripy/frontends/__init__.pyc
-${PYSITELIB}/claripy/frontends/__init__.pyo
-${PYSITELIB}/claripy/frontends/composite_frontend.py
-${PYSITELIB}/claripy/frontends/composite_frontend.pyc
-${PYSITELIB}/claripy/frontends/composite_frontend.pyo
-${PYSITELIB}/claripy/frontends/constrained_frontend.py
-${PYSITELIB}/claripy/frontends/constrained_frontend.pyc
-${PYSITELIB}/claripy/frontends/constrained_frontend.pyo
-${PYSITELIB}/claripy/frontends/full_frontend.py
-${PYSITELIB}/claripy/frontends/full_frontend.pyc
-${PYSITELIB}/claripy/frontends/full_frontend.pyo
-${PYSITELIB}/claripy/frontends/hybrid_frontend.py
-${PYSITELIB}/claripy/frontends/hybrid_frontend.pyc
-${PYSITELIB}/claripy/frontends/hybrid_frontend.pyo
-${PYSITELIB}/claripy/frontends/light_frontend.py
-${PYSITELIB}/claripy/frontends/light_frontend.pyc
-${PYSITELIB}/claripy/frontends/light_frontend.pyo
-${PYSITELIB}/claripy/frontends/replacement_frontend.py
-${PYSITELIB}/claripy/frontends/replacement_frontend.pyc
-${PYSITELIB}/claripy/frontends/replacement_frontend.pyo
-${PYSITELIB}/claripy/operations.py
-${PYSITELIB}/claripy/operations.pyc
-${PYSITELIB}/claripy/operations.pyo
-${PYSITELIB}/claripy/ops.py
-${PYSITELIB}/claripy/ops.pyc
-${PYSITELIB}/claripy/ops.pyo
-${PYSITELIB}/claripy/solvers.py
-${PYSITELIB}/claripy/solvers.pyc
-${PYSITELIB}/claripy/solvers.pyo
-${PYSITELIB}/claripy/utils/__init__.py
-${PYSITELIB}/claripy/utils/__init__.pyc
-${PYSITELIB}/claripy/utils/__init__.pyo
-${PYSITELIB}/claripy/utils/orderedset.py
-${PYSITELIB}/claripy/utils/orderedset.pyc
-${PYSITELIB}/claripy/utils/orderedset.pyo
-${PYSITELIB}/claripy/utils/transition.py
-${PYSITELIB}/claripy/utils/transition.pyc
-${PYSITELIB}/claripy/utils/transition.pyo
-${PYSITELIB}/claripy/vsa/__init__.py
-${PYSITELIB}/claripy/vsa/__init__.pyc
-${PYSITELIB}/claripy/vsa/__init__.pyo
-${PYSITELIB}/claripy/vsa/abstract_location.py
-${PYSITELIB}/claripy/vsa/abstract_location.pyc
-${PYSITELIB}/claripy/vsa/abstract_location.pyo
-${PYSITELIB}/claripy/vsa/bool_result.py
-${PYSITELIB}/claripy/vsa/bool_result.pyc
-${PYSITELIB}/claripy/vsa/bool_result.pyo
-${PYSITELIB}/claripy/vsa/discrete_strided_interval_set.py
-${PYSITELIB}/claripy/vsa/discrete_strided_interval_set.pyc
-${PYSITELIB}/claripy/vsa/discrete_strided_interval_set.pyo
-${PYSITELIB}/claripy/vsa/errors.py
-${PYSITELIB}/claripy/vsa/errors.pyc
-${PYSITELIB}/claripy/vsa/errors.pyo
-${PYSITELIB}/claripy/vsa/strided_interval.py
-${PYSITELIB}/claripy/vsa/strided_interval.pyc
-${PYSITELIB}/claripy/vsa/strided_interval.pyo
-${PYSITELIB}/claripy/vsa/valueset.py
-${PYSITELIB}/claripy/vsa/valueset.pyc
-${PYSITELIB}/claripy/vsa/valueset.pyo
diff --git a/py-claripy/distinfo b/py-claripy/distinfo
deleted file mode 100644
index 325c9f01ec..0000000000
--- a/py-claripy/distinfo
+++ /dev/null
@@ -1,6 +0,0 @@
-$NetBSD$
-
-SHA1 (claripy-7.8.2.21-74a79e034f87369d26846cb7751276b191319e59.tar.gz) = 41e3cc5e785fbd962aca9a811d398e1a632e9625
-RMD160 (claripy-7.8.2.21-74a79e034f87369d26846cb7751276b191319e59.tar.gz) = cccfc6f424ffb1b239ed7f811876f435da86fa81
-SHA512 (claripy-7.8.2.21-74a79e034f87369d26846cb7751276b191319e59.tar.gz) = 4c85099cf2e0a9921aed1f52a11760d9cc0992e78798714ca1b3b68fff4f00ef1deddd83d9fc124fd9be8b926733276ddbff5de5848f3e04eef9056a3800300a
-Size (claripy-7.8.2.21-74a79e034f87369d26846cb7751276b191319e59.tar.gz) = 119801 bytes


Home | Main Index | Thread Index | Old Index