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