Re: git: 7faf292d9212 - main - math/py-z3-solver: Add NO_ARCH

In reply to: Gleb Popov : "Re: git: 7faf292d9212 - main - math/py-z3-solver: Add NO_ARCH"
Go to: [ bottom of page ] [ top of archives ] [ this month ]
From: Po-Chuan Hsieh <sunpoet_at_freebsd.org>
Date: Sun, 04 Aug 2024 20:07:55 UTC
On Mon, Aug 5, 2024 at 3:18 AM Gleb Popov <arrowd@freebsd.org> wrote:

> On Sun, Aug 4, 2024 at 8:24 PM Po-Chuan Hsieh <sunpoet@freebsd.org> wrote:
> >
> > The branch main has been updated by sunpoet:
> >
> > URL:
> https://cgit.FreeBSD.org/ports/commit/?id=7faf292d921269eeac47db539601e9af7f95c64a
> >
> > commit 7faf292d921269eeac47db539601e9af7f95c64a
> > Author:     Po-Chuan Hsieh <sunpoet@FreeBSD.org>
> > AuthorDate: 2024-08-04 17:11:38 +0000
> > Commit:     Po-Chuan Hsieh <sunpoet@FreeBSD.org>
> > CommitDate: 2024-08-04 17:14:33 +0000
> >
> >     math/py-z3-solver: Add NO_ARCH
>
> This looks wrong. This python package contains C++ code.
>

Here's the content of the official package for FreeBSD 14 (amd64).

% tar -vtf py311-z3-solver-4.8.17_1.pkg
-rw-r--r--  0 root   wheel     873 Jan  1  1970 +COMPACT_MANIFEST
-rw-r--r--  0 root   wheel    6198 Jan  1  1970 +MANIFEST
-rw-r--r--  0 root   wheel     211 Jul 11 10:36
/usr/local/share/licenses/py311-z3-solver-4.8.17_1/catalog.mk
-rw-r--r--  0 root   wheel      68 Jul 11 10:36
/usr/local/share/licenses/py311-z3-solver-4.8.17_1/LICENSE
-rw-r--r--  0 root   wheel    1096 Jul 11 10:36
/usr/local/share/licenses/py311-z3-solver-4.8.17_1/MIT
-rw-r--r--  0 root   wheel     210 May  5  2022
/usr/local/lib/python3.11/site-packages/z3/__init__.py
-rw-r--r--  0 root   wheel     558 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3/__pycache__/__init__.cpython-311.opt-1.pyc
-rw-r--r--  0 root   wheel     558 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3/__pycache__/__init__.cpython-311.pyc
-rw-r--r--  0 root   wheel  559361 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3/__pycache__/z3.cpython-311.opt-1.pyc
-rw-r--r--  0 root   wheel  559361 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3/__pycache__/z3.cpython-311.pyc
-rw-r--r--  0 root   wheel   10799 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3/__pycache__/z3consts.cpython-311.opt-1.pyc
-rw-r--r--  0 root   wheel   10799 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3/__pycache__/z3consts.cpython-311.pyc
-rw-r--r--  0 root   wheel  293479 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3/__pycache__/z3core.cpython-311.opt-1.pyc
-rw-r--r--  0 root   wheel  293479 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3/__pycache__/z3core.cpython-311.pyc
-rw-r--r--  0 root   wheel   25541 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3/__pycache__/z3num.cpython-311.opt-1.pyc
-rw-r--r--  0 root   wheel   25541 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3/__pycache__/z3num.cpython-311.pyc
-rw-r--r--  0 root   wheel    1522 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3/__pycache__/z3poly.cpython-311.opt-1.pyc
-rw-r--r--  0 root   wheel    1522 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3/__pycache__/z3poly.cpython-311.pyc
-rw-r--r--  0 root   wheel   89132 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3/__pycache__/z3printer.cpython-311.opt-1.pyc
-rw-r--r--  0 root   wheel   89132 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3/__pycache__/z3printer.cpython-311.pyc
-rw-r--r--  0 root   wheel   11409 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3/__pycache__/z3rcf.cpython-311.opt-1.pyc
-rw-r--r--  0 root   wheel   11409 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3/__pycache__/z3rcf.cpython-311.pyc
-rw-r--r--  0 root   wheel   13359 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3/__pycache__/z3types.cpython-311.opt-1.pyc
-rw-r--r--  0 root   wheel   13359 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3/__pycache__/z3types.cpython-311.pyc
-rw-r--r--  0 root   wheel   17208 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3/__pycache__/z3util.cpython-311.opt-1.pyc
-rw-r--r--  0 root   wheel   17208 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3/__pycache__/z3util.cpython-311.pyc
-rw-r--r--  0 root   wheel  325669 May  5  2022
/usr/local/lib/python3.11/site-packages/z3/z3.py
-rw-r--r--  0 root   wheel    7867 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3/z3consts.py
-rw-r--r--  0 root   wheel  184806 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3/z3core.py
-rw-r--r--  0 root   wheel   16090 May  5  2022
/usr/local/lib/python3.11/site-packages/z3/z3num.py
-rw-r--r--  0 root   wheel    1113 May  5  2022
/usr/local/lib/python3.11/site-packages/z3/z3poly.py
-rw-r--r--  0 root   wheel   45224 May  5  2022
/usr/local/lib/python3.11/site-packages/z3/z3printer.py
-rw-r--r--  0 root   wheel    5039 May  5  2022
/usr/local/lib/python3.11/site-packages/z3/z3rcf.py
-rw-r--r--  0 root   wheel    4575 May  5  2022
/usr/local/lib/python3.11/site-packages/z3/z3types.py
-rw-r--r--  0 root   wheel   11388 May  5  2022
/usr/local/lib/python3.11/site-packages/z3/z3util.py
-rw-r--r--  0 root   wheel     697 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3_solver-4.8.17.0-py3.11.egg-info/PKG-INFO
-rw-r--r--  0 root   wheel     310 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3_solver-4.8.17.0-py3.11.egg-info/SOURCES.txt
-rw-r--r--  0 root   wheel       1 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3_solver-4.8.17.0-py3.11.egg-info/dependency_links.txt
-rw-r--r--  0 root   wheel       3 Jul 11 10:36
/usr/local/lib/python3.11/site-packages/z3_solver-4.8.17.0-py3.11.egg-info/top_level.txt