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