pkgsrc-WIP-changes archive

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

Remove py-{pyelftools,pysha3,z3solver}



Module Name:	pkgsrc-wip
Committed By:	Pierre Pronchery <khorben%defora.org@localhost>
Pushed By:	khorben
Date:		Tue Mar 20 16:59:16 2018 +0100
Changeset:	cedf6eb7e9998fdf2319baeb9498628867c98a57

Modified Files:
	Makefile
Removed Files:
	py-pyelftools/DESCR
	py-pyelftools/Makefile
	py-pyelftools/PLIST
	py-pyelftools/distinfo
	py-pysha3/DESCR
	py-pysha3/Makefile
	py-pysha3/PLIST
	py-pysha3/distinfo
	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:
Remove py-{pyelftools,pysha3,z3solver}

These are now all 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=cedf6eb7e9998fdf2319baeb9498628867c98a57

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

diffstat:
 Makefile                                           |   3 -
 py-pyelftools/DESCR                                |   1 -
 py-pyelftools/Makefile                             |  16 ---
 py-pyelftools/PLIST                                | 135 ---------------------
 py-pyelftools/distinfo                             |   6 -
 py-pysha3/DESCR                                    |   2 -
 py-pysha3/Makefile                                 |  18 ---
 py-pysha3/PLIST                                    |   9 --
 py-pysha3/distinfo                                 |   6 -
 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 ---
 15 files changed, 356 deletions(-)

diffs:
diff --git a/Makefile b/Makefile
index 6db4f4e5bc..131f375d4a 100644
--- a/Makefile
+++ b/Makefile
@@ -3559,7 +3559,6 @@ SUBDIR+=	py-pydy
 SUBDIR+=	py-pydy-viz
 SUBDIR+=	py-pyec
 SUBDIR+=	py-pyecm
-SUBDIR+=	py-pyelftools
 SUBDIR+=	py-pyentropy
 SUBDIR+=	py-pyevolve
 SUBDIR+=	py-pyfaces
@@ -3591,7 +3590,6 @@ SUBDIR+=	py-pysal
 SUBDIR+=	py-pysaml2
 SUBDIR+=	py-pysb
 SUBDIR+=	py-pyscard
-SUBDIR+=	py-pysha3
 SUBDIR+=	py-pyside
 SUBDIR+=	py-pyside-shiboken
 SUBDIR+=	py-pyside-tools
@@ -3891,7 +3889,6 @@ 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-pyelftools/DESCR b/py-pyelftools/DESCR
deleted file mode 100644
index f0182ca832..0000000000
--- a/py-pyelftools/DESCR
+++ /dev/null
@@ -1 +0,0 @@
-Library for analyzing ELF files and DWARF debugging information.
diff --git a/py-pyelftools/Makefile b/py-pyelftools/Makefile
deleted file mode 100644
index a35a75e771..0000000000
--- a/py-pyelftools/Makefile
+++ /dev/null
@@ -1,16 +0,0 @@
-# $NetBSD$
-
-DISTNAME=	pyelftools-0.24
-PKGNAME=	${PYPKGPREFIX}-${EGG_NAME}
-CATEGORIES=	devel
-MASTER_SITES=	${MASTER_SITE_PYPI:=p/pyelftools/}
-
-MAINTAINER=	khorben%defora.org@localhost
-HOMEPAGE=	https://pypi.python.org/pypi/pyelftools/
-COMMENT=	Library for analyzing ELF files and DWARF debugging information
-LICENSE=	public-domain
-
-PYTHON_VERSIONS_ACCEPTED=	27
-
-.include "../../lang/python/distutils.mk"
-.include "../../mk/bsd.pkg.mk"
diff --git a/py-pyelftools/PLIST b/py-pyelftools/PLIST
deleted file mode 100644
index 33df7d27e2..0000000000
--- a/py-pyelftools/PLIST
+++ /dev/null
@@ -1,135 +0,0 @@
-@comment $NetBSD$
-bin/readelf.py
-${PYSITELIB}/elftools/__init__.py
-${PYSITELIB}/elftools/__init__.pyc
-${PYSITELIB}/elftools/__init__.pyo
-${PYSITELIB}/elftools/common/__init__.py
-${PYSITELIB}/elftools/common/__init__.pyc
-${PYSITELIB}/elftools/common/__init__.pyo
-${PYSITELIB}/elftools/common/construct_utils.py
-${PYSITELIB}/elftools/common/construct_utils.pyc
-${PYSITELIB}/elftools/common/construct_utils.pyo
-${PYSITELIB}/elftools/common/exceptions.py
-${PYSITELIB}/elftools/common/exceptions.pyc
-${PYSITELIB}/elftools/common/exceptions.pyo
-${PYSITELIB}/elftools/common/py3compat.py
-${PYSITELIB}/elftools/common/py3compat.pyc
-${PYSITELIB}/elftools/common/py3compat.pyo
-${PYSITELIB}/elftools/common/utils.py
-${PYSITELIB}/elftools/common/utils.pyc
-${PYSITELIB}/elftools/common/utils.pyo
-${PYSITELIB}/elftools/construct/__init__.py
-${PYSITELIB}/elftools/construct/__init__.pyc
-${PYSITELIB}/elftools/construct/__init__.pyo
-${PYSITELIB}/elftools/construct/adapters.py
-${PYSITELIB}/elftools/construct/adapters.pyc
-${PYSITELIB}/elftools/construct/adapters.pyo
-${PYSITELIB}/elftools/construct/core.py
-${PYSITELIB}/elftools/construct/core.pyc
-${PYSITELIB}/elftools/construct/core.pyo
-${PYSITELIB}/elftools/construct/debug.py
-${PYSITELIB}/elftools/construct/debug.pyc
-${PYSITELIB}/elftools/construct/debug.pyo
-${PYSITELIB}/elftools/construct/lib/__init__.py
-${PYSITELIB}/elftools/construct/lib/__init__.pyc
-${PYSITELIB}/elftools/construct/lib/__init__.pyo
-${PYSITELIB}/elftools/construct/lib/binary.py
-${PYSITELIB}/elftools/construct/lib/binary.pyc
-${PYSITELIB}/elftools/construct/lib/binary.pyo
-${PYSITELIB}/elftools/construct/lib/bitstream.py
-${PYSITELIB}/elftools/construct/lib/bitstream.pyc
-${PYSITELIB}/elftools/construct/lib/bitstream.pyo
-${PYSITELIB}/elftools/construct/lib/container.py
-${PYSITELIB}/elftools/construct/lib/container.pyc
-${PYSITELIB}/elftools/construct/lib/container.pyo
-${PYSITELIB}/elftools/construct/lib/hex.py
-${PYSITELIB}/elftools/construct/lib/hex.pyc
-${PYSITELIB}/elftools/construct/lib/hex.pyo
-${PYSITELIB}/elftools/construct/lib/py3compat.py
-${PYSITELIB}/elftools/construct/lib/py3compat.pyc
-${PYSITELIB}/elftools/construct/lib/py3compat.pyo
-${PYSITELIB}/elftools/construct/macros.py
-${PYSITELIB}/elftools/construct/macros.pyc
-${PYSITELIB}/elftools/construct/macros.pyo
-${PYSITELIB}/elftools/dwarf/__init__.py
-${PYSITELIB}/elftools/dwarf/__init__.pyc
-${PYSITELIB}/elftools/dwarf/__init__.pyo
-${PYSITELIB}/elftools/dwarf/abbrevtable.py
-${PYSITELIB}/elftools/dwarf/abbrevtable.pyc
-${PYSITELIB}/elftools/dwarf/abbrevtable.pyo
-${PYSITELIB}/elftools/dwarf/aranges.py
-${PYSITELIB}/elftools/dwarf/aranges.pyc
-${PYSITELIB}/elftools/dwarf/aranges.pyo
-${PYSITELIB}/elftools/dwarf/callframe.py
-${PYSITELIB}/elftools/dwarf/callframe.pyc
-${PYSITELIB}/elftools/dwarf/callframe.pyo
-${PYSITELIB}/elftools/dwarf/compileunit.py
-${PYSITELIB}/elftools/dwarf/compileunit.pyc
-${PYSITELIB}/elftools/dwarf/compileunit.pyo
-${PYSITELIB}/elftools/dwarf/constants.py
-${PYSITELIB}/elftools/dwarf/constants.pyc
-${PYSITELIB}/elftools/dwarf/constants.pyo
-${PYSITELIB}/elftools/dwarf/descriptions.py
-${PYSITELIB}/elftools/dwarf/descriptions.pyc
-${PYSITELIB}/elftools/dwarf/descriptions.pyo
-${PYSITELIB}/elftools/dwarf/die.py
-${PYSITELIB}/elftools/dwarf/die.pyc
-${PYSITELIB}/elftools/dwarf/die.pyo
-${PYSITELIB}/elftools/dwarf/dwarf_expr.py
-${PYSITELIB}/elftools/dwarf/dwarf_expr.pyc
-${PYSITELIB}/elftools/dwarf/dwarf_expr.pyo
-${PYSITELIB}/elftools/dwarf/dwarfinfo.py
-${PYSITELIB}/elftools/dwarf/dwarfinfo.pyc
-${PYSITELIB}/elftools/dwarf/dwarfinfo.pyo
-${PYSITELIB}/elftools/dwarf/enums.py
-${PYSITELIB}/elftools/dwarf/enums.pyc
-${PYSITELIB}/elftools/dwarf/enums.pyo
-${PYSITELIB}/elftools/dwarf/lineprogram.py
-${PYSITELIB}/elftools/dwarf/lineprogram.pyc
-${PYSITELIB}/elftools/dwarf/lineprogram.pyo
-${PYSITELIB}/elftools/dwarf/locationlists.py
-${PYSITELIB}/elftools/dwarf/locationlists.pyc
-${PYSITELIB}/elftools/dwarf/locationlists.pyo
-${PYSITELIB}/elftools/dwarf/ranges.py
-${PYSITELIB}/elftools/dwarf/ranges.pyc
-${PYSITELIB}/elftools/dwarf/ranges.pyo
-${PYSITELIB}/elftools/dwarf/structs.py
-${PYSITELIB}/elftools/dwarf/structs.pyc
-${PYSITELIB}/elftools/dwarf/structs.pyo
-${PYSITELIB}/elftools/elf/__init__.py
-${PYSITELIB}/elftools/elf/__init__.pyc
-${PYSITELIB}/elftools/elf/__init__.pyo
-${PYSITELIB}/elftools/elf/constants.py
-${PYSITELIB}/elftools/elf/constants.pyc
-${PYSITELIB}/elftools/elf/constants.pyo
-${PYSITELIB}/elftools/elf/descriptions.py
-${PYSITELIB}/elftools/elf/descriptions.pyc
-${PYSITELIB}/elftools/elf/descriptions.pyo
-${PYSITELIB}/elftools/elf/dynamic.py
-${PYSITELIB}/elftools/elf/dynamic.pyc
-${PYSITELIB}/elftools/elf/dynamic.pyo
-${PYSITELIB}/elftools/elf/elffile.py
-${PYSITELIB}/elftools/elf/elffile.pyc
-${PYSITELIB}/elftools/elf/elffile.pyo
-${PYSITELIB}/elftools/elf/enums.py
-${PYSITELIB}/elftools/elf/enums.pyc
-${PYSITELIB}/elftools/elf/enums.pyo
-${PYSITELIB}/elftools/elf/gnuversions.py
-${PYSITELIB}/elftools/elf/gnuversions.pyc
-${PYSITELIB}/elftools/elf/gnuversions.pyo
-${PYSITELIB}/elftools/elf/notes.py
-${PYSITELIB}/elftools/elf/notes.pyc
-${PYSITELIB}/elftools/elf/notes.pyo
-${PYSITELIB}/elftools/elf/relocation.py
-${PYSITELIB}/elftools/elf/relocation.pyc
-${PYSITELIB}/elftools/elf/relocation.pyo
-${PYSITELIB}/elftools/elf/sections.py
-${PYSITELIB}/elftools/elf/sections.pyc
-${PYSITELIB}/elftools/elf/sections.pyo
-${PYSITELIB}/elftools/elf/segments.py
-${PYSITELIB}/elftools/elf/segments.pyc
-${PYSITELIB}/elftools/elf/segments.pyo
-${PYSITELIB}/elftools/elf/structs.py
-${PYSITELIB}/elftools/elf/structs.pyc
-${PYSITELIB}/elftools/elf/structs.pyo
-${PYSITELIB}/${EGG_FILE}
diff --git a/py-pyelftools/distinfo b/py-pyelftools/distinfo
deleted file mode 100644
index 8a1f3b054f..0000000000
--- a/py-pyelftools/distinfo
+++ /dev/null
@@ -1,6 +0,0 @@
-$NetBSD: distinfo,v 1.1 2018/03/15 02:32:56 khorben Exp $
-
-SHA1 (pyelftools-0.24.tar.gz) = 5b3177f465c5ed2368cb1932aaf391b8fc4ac731
-RMD160 (pyelftools-0.24.tar.gz) = 94773b778cdd1939d6548232803af8446bdfcf45
-SHA512 (pyelftools-0.24.tar.gz) = 5169617f9a8446ffc21dfc44ee185a388c8945a0296bdc6752483b0756888dccb10e3ee88e529d101cf31a4595de924b5c95f5459d5ee4448f57c0c4f2c56887
-Size (pyelftools-0.24.tar.gz) = 411874 bytes
diff --git a/py-pysha3/DESCR b/py-pysha3/DESCR
deleted file mode 100644
index cad02619ca..0000000000
--- a/py-pysha3/DESCR
+++ /dev/null
@@ -1,2 +0,0 @@
-SHA-3 wrapper (keccak) for Python. The package is a wrapper around the
-optimized Keccak Code Package.
diff --git a/py-pysha3/Makefile b/py-pysha3/Makefile
deleted file mode 100644
index 6edd619fef..0000000000
--- a/py-pysha3/Makefile
+++ /dev/null
@@ -1,18 +0,0 @@
-# $NetBSD$
-
-DISTNAME=	pysha3-1.0.2
-PKGNAME=	${PYPKGPREFIX}-${EGG_NAME}
-CATEGORIES=	devel
-MASTER_SITES=	${MASTER_SITE_PYPI:=p/pysha3/}
-
-MAINTAINER=	khorben%defora.org@localhost
-HOMEPAGE=	https://pypi.python.org/pypi/pysha3/
-COMMENT=	SHA-3 wrapper (keccak) for Python
-LICENSE=	python-software-foundation
-
-USE_LANGUAGES=	c
-
-PYTHON_VERSIONS_ACCEPTED=	35 34 27
-
-.include "../../lang/python/egg.mk"
-.include "../../mk/bsd.pkg.mk"
diff --git a/py-pysha3/PLIST b/py-pysha3/PLIST
deleted file mode 100644
index 20bb64d0b3..0000000000
--- a/py-pysha3/PLIST
+++ /dev/null
@@ -1,9 +0,0 @@
-@comment $NetBSD$
-${PYSITELIB}/_pysha3.so
-${PYSITELIB}/${EGG_INFODIR}/PKG-INFO
-${PYSITELIB}/${EGG_INFODIR}/SOURCES.txt
-${PYSITELIB}/${EGG_INFODIR}/dependency_links.txt
-${PYSITELIB}/${EGG_INFODIR}/top_level.txt
-${PYSITELIB}/sha3.py
-${PYSITELIB}/sha3.pyc
-${PYSITELIB}/sha3.pyo
diff --git a/py-pysha3/distinfo b/py-pysha3/distinfo
deleted file mode 100644
index 96fa7e9488..0000000000
--- a/py-pysha3/distinfo
+++ /dev/null
@@ -1,6 +0,0 @@
-$NetBSD: distinfo,v 1.1 2018/03/15 02:32:56 khorben Exp $
-
-SHA1 (pysha3-1.0.2.tar.gz) = 638d3d0a3545520dedbd91bcf8120bad1a89f74a
-RMD160 (pysha3-1.0.2.tar.gz) = 96c91c9c3fcfaf4198f3d6309d246bbc1719c10c
-SHA512 (pysha3-1.0.2.tar.gz) = 57476d24b9d399471cf56c8c1413f58dbc863c16d4fe9ebd2cf65df8092e139e2505252605e3fccd68978f5ee3fffdfeeedee6788aab38a54c918a452fc19720
-Size (pysha3-1.0.2.tar.gz) = 829192 bytes
diff --git a/py-z3solver/DESCR b/py-z3solver/DESCR
deleted file mode 100644
index c1023e154b..0000000000
--- a/py-z3solver/DESCR
+++ /dev/null
@@ -1,2 +0,0 @@
-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
deleted file mode 100644
index f4b04f8dd1..0000000000
--- a/py-z3solver/Makefile
+++ /dev/null
@@ -1,20 +0,0 @@
-# $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
deleted file mode 100644
index 9ebf41feb7..0000000000
--- a/py-z3solver/PLIST
+++ /dev/null
@@ -1,47 +0,0 @@
-@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
deleted file mode 100644
index 817e85b6e3..0000000000
--- a/py-z3solver/distinfo
+++ /dev/null
@@ -1,8 +0,0 @@
-$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
deleted file mode 100644
index 3b4d12cb99..0000000000
--- a/py-z3solver/patches/patch-core_scripts_mk__util.py
+++ /dev/null
@@ -1,65 +0,0 @@
-$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
deleted file mode 100644
index 6724ce7d76..0000000000
--- a/py-z3solver/patches/patch-core_src_util_stopwatch.h
+++ /dev/null
@@ -1,18 +0,0 @@
-$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