pkgsrc-WIP-changes archive

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

Import p3-z3solver version 4.5.0.1



Module Name:	pkgsrc-wip
Committed By:	Pierre Pronchery <khorben%defora.org@localhost>
Pushed By:	khorben
Date:		Tue Mar 20 14:42:50 2018 +0100
Changeset:	037a2b2ff6c1d3d8a8c0265c646eb5943b083720

Modified Files:
	Makefile
Added Files:
	py-z3solver/DESCR
	py-z3solver/Makefile
	py-z3solver/PLIST
	py-z3solver/distinfo
	py-z3solver/patches/patch-core_scripts_mk__util.py
	py-z3solver/patches/patch-core_src_util_stopwatch.h

Log Message:
Import p3-z3solver version 4.5.0.1

Z3 is a theorem prover from Microsoft Research with support for bitvectors,
booleans, arrays, floating point numbers, strings, and other data types.

This Python binding of z3 is apparently the one devel/py-manticore
really depends on.

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

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

diffstat:
 Makefile                                           |  1 +
 py-z3solver/DESCR                                  |  2 +
 py-z3solver/Makefile                               | 20 +++++++
 py-z3solver/PLIST                                  | 47 ++++++++++++++++
 py-z3solver/distinfo                               |  8 +++
 py-z3solver/patches/patch-core_scripts_mk__util.py | 65 ++++++++++++++++++++++
 .../patches/patch-core_src_util_stopwatch.h        | 18 ++++++
 7 files changed, 161 insertions(+)

diffs:
diff --git a/Makefile b/Makefile
index 131f375d4a..f8b0d9add1 100644
--- a/Makefile
+++ b/Makefile
@@ -3889,6 +3889,7 @@ SUBDIR+=	py-yapsy
 SUBDIR+=	py-yellowhiggs
 SUBDIR+=	py-yt
 SUBDIR+=	py-z2pack
+SUBDIR+=	py-z3solver
 SUBDIR+=	py-zeitgeist
 SUBDIR+=	py-zenity
 SUBDIR+=	py-zipline
diff --git a/py-z3solver/DESCR b/py-z3solver/DESCR
new file mode 100644
index 0000000000..c1023e154b
--- /dev/null
+++ b/py-z3solver/DESCR
@@ -0,0 +1,2 @@
+Z3 is a theorem prover from Microsoft Research with support for bitvectors,
+booleans, arrays, floating point numbers, strings, and other data types.
diff --git a/py-z3solver/Makefile b/py-z3solver/Makefile
new file mode 100644
index 0000000000..f4b04f8dd1
--- /dev/null
+++ b/py-z3solver/Makefile
@@ -0,0 +1,20 @@
+# $NetBSD$
+
+DISTNAME=	z3-solver-4.5.1.0.post2
+PKGNAME=	${PYPKGPREFIX}-${EGG_NAME}
+CATEGORIES=	math
+MASTER_SITES=	${MASTER_SITE_PYPI:=z/z3-solver/}
+
+MAINTAINER=	khorben%defora.org@localhost
+HOMEPAGE=	https://pypi.python.org/pypi/z3-solver/
+COMMENT=	Theorem prover from Microsoft Research
+LICENSE=	mit
+
+USE_LANGUAGES=	c c++
+
+PYTHON_VERSIONS_ACCEPTED=	27
+
+CONFLICTS+=	z3-[0-9]*
+
+.include "../../lang/python/egg.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/py-z3solver/PLIST b/py-z3solver/PLIST
new file mode 100644
index 0000000000..9ebf41feb7
--- /dev/null
+++ b/py-z3solver/PLIST
@@ -0,0 +1,47 @@
+@comment $NetBSD$
+bin/z3
+${PYSITELIB}/z3/__init__.py
+${PYSITELIB}/z3/__init__.pyc
+${PYSITELIB}/z3/__init__.pyo
+${PYSITELIB}/z3/include/c++/z3++.h
+${PYSITELIB}/z3/include/z3.h
+${PYSITELIB}/z3/include/z3_algebraic.h
+${PYSITELIB}/z3/include/z3_api.h
+${PYSITELIB}/z3/include/z3_fpa.h
+${PYSITELIB}/z3/include/z3_interp.h
+${PYSITELIB}/z3/include/z3_macros.h
+${PYSITELIB}/z3/include/z3_polynomial.h
+${PYSITELIB}/z3/include/z3_rcf.h
+${PYSITELIB}/z3/include/z3_v1.h
+${PYSITELIB}/z3/lib/libz3.so
+${PYSITELIB}/z3/z3.py
+${PYSITELIB}/z3/z3.pyc
+${PYSITELIB}/z3/z3.pyo
+${PYSITELIB}/z3/z3consts.py
+${PYSITELIB}/z3/z3consts.pyc
+${PYSITELIB}/z3/z3consts.pyo
+${PYSITELIB}/z3/z3core.py
+${PYSITELIB}/z3/z3core.pyc
+${PYSITELIB}/z3/z3core.pyo
+${PYSITELIB}/z3/z3num.py
+${PYSITELIB}/z3/z3num.pyc
+${PYSITELIB}/z3/z3num.pyo
+${PYSITELIB}/z3/z3poly.py
+${PYSITELIB}/z3/z3poly.pyc
+${PYSITELIB}/z3/z3poly.pyo
+${PYSITELIB}/z3/z3printer.py
+${PYSITELIB}/z3/z3printer.pyc
+${PYSITELIB}/z3/z3printer.pyo
+${PYSITELIB}/z3/z3rcf.py
+${PYSITELIB}/z3/z3rcf.pyc
+${PYSITELIB}/z3/z3rcf.pyo
+${PYSITELIB}/z3/z3types.py
+${PYSITELIB}/z3/z3types.pyc
+${PYSITELIB}/z3/z3types.pyo
+${PYSITELIB}/z3/z3util.py
+${PYSITELIB}/z3/z3util.pyc
+${PYSITELIB}/z3/z3util.pyo
+${PYSITELIB}/${EGG_INFODIR}/PKG-INFO
+${PYSITELIB}/${EGG_INFODIR}/SOURCES.txt
+${PYSITELIB}/${EGG_INFODIR}/dependency_links.txt
+${PYSITELIB}/${EGG_INFODIR}/top_level.txt
diff --git a/py-z3solver/distinfo b/py-z3solver/distinfo
new file mode 100644
index 0000000000..817e85b6e3
--- /dev/null
+++ b/py-z3solver/distinfo
@@ -0,0 +1,8 @@
+$NetBSD: distinfo,v 1.1 2018/03/15 02:32:56 khorben Exp $
+
+SHA1 (z3-solver-4.5.1.0.post2.tar.gz) = 6cc67617079010179308cf8ffe5b0098d4152fdd
+RMD160 (z3-solver-4.5.1.0.post2.tar.gz) = 97055f883f7567a53517cceda915a4e34d058452
+SHA512 (z3-solver-4.5.1.0.post2.tar.gz) = babbca25de59638c52b91953030cd7af20d1e795af7da760f71bb43940116a4415fdf7208b967bf5eb54435780d21cdc7740faac9cf81cee59005f16f4af09a0
+Size (z3-solver-4.5.1.0.post2.tar.gz) = 3891600 bytes
+SHA1 (patch-core_scripts_mk__util.py) = 45d2cd60977cfa6b89d9033586b8467af0a79cfd
+SHA1 (patch-core_src_util_stopwatch.h) = 3163302c46a6315530f9bfb25be93a1efed814a7
diff --git a/py-z3solver/patches/patch-core_scripts_mk__util.py b/py-z3solver/patches/patch-core_scripts_mk__util.py
new file mode 100644
index 0000000000..3b4d12cb99
--- /dev/null
+++ b/py-z3solver/patches/patch-core_scripts_mk__util.py
@@ -0,0 +1,65 @@
+$NetBSD$
+
+Add support for NetBSD.
+
+--- core/scripts/mk_util.py.orig	2017-06-08 07:51:35.000000000 +0000
++++ core/scripts/mk_util.py
+@@ -69,6 +69,7 @@ IS_WINDOWS=False
+ IS_LINUX=False
+ IS_OSX=False
+ IS_FREEBSD=False
++IS_NETBSD=False
+ IS_OPENBSD=False
+ IS_CYGWIN=False
+ IS_CYGWIN_MINGW=False
+@@ -138,6 +139,9 @@ def is_linux():
+ def is_freebsd():
+     return IS_FREEBSD
+ 
++def is_netbsd():
++    return IS_NETBSD
++
+ def is_openbsd():
+     return IS_OPENBSD
+ 
+@@ -598,6 +602,8 @@ elif os.name == 'posix':
+         IS_LINUX=True
+     elif os.uname()[0] == 'FreeBSD':
+         IS_FREEBSD=True
++    elif os.uname()[0] == 'NetBSD':
++        IS_NETBSD=True
+     elif os.uname()[0] == 'OpenBSD':
+         IS_OPENBSD=True
+     elif os.uname()[0][:6] == 'CYGWIN':
+@@ -1223,7 +1229,7 @@ def get_so_ext():
+     sysname = os.uname()[0]
+     if sysname == 'Darwin':
+         return 'dylib'
+-    elif sysname == 'Linux' or sysname == 'FreeBSD' or sysname == 'OpenBSD':
++    elif sysname == 'Linux' or sysname == 'FreeBSD' or sysname == 'NetBSD' or sysname == 'OpenBSD':
+         return 'so'
+     elif sysname == 'CYGWIN':
+         return 'dll'
+@@ -1773,6 +1779,8 @@ class JavaDLLComponent(Component):
+                 t = t.replace('PLATFORM', 'linux')
+             elif IS_FREEBSD:
+                 t = t.replace('PLATFORM', 'freebsd')
++            elif IS_NETBSD:
++                t = t.replace('PLATFORM', 'netbsd')
+             elif IS_OPENBSD:
+                 t = t.replace('PLATFORM', 'openbsd')
+             elif IS_CYGWIN:
+@@ -2445,6 +2453,13 @@ def mk_config():
+             LDFLAGS        = '%s -lrt' % LDFLAGS
+             SLIBFLAGS      = '-shared'
+             SLIBEXTRAFLAGS = '%s -lrt' % SLIBEXTRAFLAGS
++        elif sysname == 'NetBSD':
++            CXXFLAGS       = '%s -fno-strict-aliasing -D_NETBSD_' % CXXFLAGS
++            OS_DEFINES     = '-D_NETBSD_'
++            SO_EXT         = '.so'
++            LDFLAGS        = '%s -lrt' % LDFLAGS
++            SLIBFLAGS      = '-shared'
++            SLIBEXTRAFLAGS = '%s -lrt' % SLIBEXTRAFLAGS
+         elif sysname == 'OpenBSD':
+             CXXFLAGS       = '%s -fno-strict-aliasing -D_OPENBSD_' % CXXFLAGS
+             OS_DEFINES     = '-D_OPENBSD_'
diff --git a/py-z3solver/patches/patch-core_src_util_stopwatch.h b/py-z3solver/patches/patch-core_src_util_stopwatch.h
new file mode 100644
index 0000000000..6724ce7d76
--- /dev/null
+++ b/py-z3solver/patches/patch-core_src_util_stopwatch.h
@@ -0,0 +1,18 @@
+$NetBSD$
+
+Add support for NetBSD.
+
+--- core/src/util/stopwatch.h.orig	2017-01-26 02:18:17.000000000 +0000
++++ core/src/util/stopwatch.h
+@@ -130,6 +130,11 @@ public:
+ 
+ #include<ctime>
+ 
++#ifndef CLOCK_PROCESS_CPUTIME_ID
++/* BSD */
++# define CLOCK_PROCESS_CPUTIME_ID CLOCK_MONOTONIC
++#endif
++
+ class stopwatch {
+     unsigned long long m_time; // elapsed time in ns
+     bool               m_running;


Home | Main Index | Thread Index | Old Index