Date: Mon, 5 Aug 2024 04:07:55 +0800 From: Po-Chuan Hsieh <sunpoet@freebsd.org> To: Gleb Popov <arrowd@freebsd.org> Cc: ports-committers@freebsd.org, dev-commits-ports-all@freebsd.org, dev-commits-ports-main@freebsd.org Subject: Re: git: 7faf292d9212 - main - math/py-z3-solver: Add NO_ARCH Message-ID: <CAMHz58RutA6xHt-gy0gDy6z2HYh_OTGYT7EjcdYYsLKp-tviYg@mail.gmail.com> In-Reply-To: <CALH631muiFwhpT3eEzesLKUK8si33CNw-KZjn5rpYwbjuMbxrg@mail.gmail.com> References: <202408041724.474HOYoT069790@gitrepo.freebsd.org> <CALH631muiFwhpT3eEzesLKUK8si33CNw-KZjn5rpYwbjuMbxrg@mail.gmail.com>
next in thread | previous in thread | raw e-mail | index | archive | help
--0000000000000dd29f061ee1206c Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Mon, Aug 5, 2024 at 3:18=E2=80=AFAM Gleb Popov <arrowd@freebsd.org> wrot= e: > On Sun, Aug 4, 2024 at 8:24=E2=80=AFPM Po-Chuan Hsieh <sunpoet@freebsd.or= g> wrote: > > > > The branch main has been updated by sunpoet: > > > > URL: > https://cgit.FreeBSD.org/ports/commit/?id=3D7faf292d921269eeac47db539601e= 9af7f95c64a > > > > 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.o= pt-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.p= yc -rw-r--r-- 0 root wheel 25541 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3num.cpython-311.op= t-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.py= c -rw-r--r-- 0 root wheel 1522 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3poly.cpython-311.o= pt-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.p= yc -rw-r--r-- 0 root wheel 89132 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3printer.cpython-31= 1.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-31= 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.op= t-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.py= c -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.o= pt-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.p= yc -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 --0000000000000dd29f061ee1206c Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr"><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail= _attr">On Mon, Aug 5, 2024 at 3:18=E2=80=AFAM Gleb Popov <<a href=3D"mai= lto:arrowd@freebsd.org" target=3D"_blank">arrowd@freebsd.org</a>> wrote:= <br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8= ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Sun, Aug 4, = 2024 at 8:24=E2=80=AFPM Po-Chuan Hsieh <<a href=3D"mailto:sunpoet@freebs= d.org" target=3D"_blank">sunpoet@freebsd.org</a>> wrote:<br> ><br> > The branch main has been updated by sunpoet:<br> ><br> > URL: <a href=3D"https://cgit.FreeBSD.org/ports/commit/?id=3D7faf292d92= 1269eeac47db539601e9af7f95c64a" rel=3D"noreferrer" target=3D"_blank">https:= //cgit.FreeBSD.org/ports/commit/?id=3D7faf292d921269eeac47db539601e9af7f95c= 64a</a><br> ><br> > commit 7faf292d921269eeac47db539601e9af7f95c64a<br> > Author:=C2=A0 =C2=A0 =C2=A0Po-Chuan Hsieh <sunpoet@FreeBSD.org><= br> > AuthorDate: 2024-08-04 17:11:38 +0000<br> > Commit:=C2=A0 =C2=A0 =C2=A0Po-Chuan Hsieh <sunpoet@FreeBSD.org><= br> > CommitDate: 2024-08-04 17:14:33 +0000<br> ><br> >=C2=A0 =C2=A0 =C2=A0math/py-z3-solver: Add NO_ARCH<br> <br> This looks wrong. This python package contains C++ code.<br></blockquote><d= iv><br></div><div>Here's the content of the official package for FreeBS= D 14 (amd64).</div><div><br></div><div>% tar -vtf py311-z3-solver-4.8.17_1.= pkg</div>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 =C2=A0 873 Jan =C2=A01= =C2=A01970 +COMPACT_MANIFEST<br>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2= =A0 =C2=A06198 Jan =C2=A01 =C2=A01970 +MANIFEST<br>-rw-r--r-- =C2=A00 root = =C2=A0 wheel =C2=A0 =C2=A0 211 Jul 11 10:36 /usr/local/share/licenses/py311= -z3-solver-4.8.17_1/<a href=3D"http://catalog.mk" target=3D"_blank">catalog= .mk</a><br>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 =C2=A0 =C2=A068 Jul = 11 10:36 /usr/local/share/licenses/py311-z3-solver-4.8.17_1/LICENSE<br>-rw-= r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 =C2=A01096 Jul 11 10:36 /usr/local/= share/licenses/py311-z3-solver-4.8.17_1/MIT<br>-rw-r--r-- =C2=A00 root =C2= =A0 wheel =C2=A0 =C2=A0 210 May =C2=A05 =C2=A02022 /usr/local/lib/python3.1= 1/site-packages/z3/__init__.py<br>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2= =A0 =C2=A0 558 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__py= cache__/__init__.cpython-311.opt-1.pyc<br>-rw-r--r-- =C2=A00 root =C2=A0 wh= eel =C2=A0 =C2=A0 558 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/= z3/__pycache__/__init__.cpython-311.pyc<br>-rw-r--r-- =C2=A00 root =C2=A0 w= heel =C2=A0559361 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/_= _pycache__/z3.cpython-311.opt-1.pyc<br>-rw-r--r-- =C2=A00 root =C2=A0 wheel= =C2=A0559361 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pyc= ache__/z3.cpython-311.pyc<br>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 10= 799 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3c= onsts.cpython-311.opt-1.pyc<br>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 = 10799 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z= 3consts.cpython-311.pyc<br>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A029347= 9 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3cor= e.cpython-311.opt-1.pyc<br>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A029347= 9 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3cor= e.cpython-311.pyc<br>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 25541 Jul = 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3num.cpyth= on-311.opt-1.pyc<br>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 25541 Jul 1= 1 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3num.cpytho= n-311.pyc<br>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 =C2=A01522 Jul 11 = 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3poly.cpython= -311.opt-1.pyc<br>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 =C2=A01522 Ju= l 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3poly.cp= ython-311.pyc<br>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 89132 Jul 11 1= 0:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3printer.cpyth= on-311.opt-1.pyc<br>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 89132 Jul 1= 1 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3printer.cp= ython-311.pyc<br>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 11409 Jul 11 1= 0:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3rcf.cpython-3= 11.opt-1.pyc<br>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 11409 Jul 11 10= :36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3rcf.cpython-31= 1.pyc<br>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 13359 Jul 11 10:36 /us= r/local/lib/python3.11/site-packages/z3/__pycache__/z3types.cpython-311.opt= -1.pyc<br>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 13359 Jul 11 10:36 /u= sr/local/lib/python3.11/site-packages/z3/__pycache__/z3types.cpython-311.py= c<br>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 17208 Jul 11 10:36 /usr/lo= cal/lib/python3.11/site-packages/z3/__pycache__/z3util.cpython-311.opt-1.py= c<br>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 17208 Jul 11 10:36 /usr/lo= cal/lib/python3.11/site-packages/z3/__pycache__/z3util.cpython-311.pyc<br>-= rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0325669 May =C2=A05 =C2=A02022 /us= r/local/lib/python3.11/site-packages/z3/z3.py<br>-rw-r--r-- =C2=A00 root = =C2=A0 wheel =C2=A0 =C2=A07867 Jul 11 10:36 /usr/local/lib/python3.11/site-= packages/z3/z3consts.py<br>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A018480= 6 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/z3core.py<br>-rw-= r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 16090 May =C2=A05 =C2=A02022 /usr/l= ocal/lib/python3.11/site-packages/z3/z3num.py<br>-rw-r--r-- =C2=A00 root = =C2=A0 wheel =C2=A0 =C2=A01113 May =C2=A05 =C2=A02022 /usr/local/lib/python= 3.11/site-packages/z3/z3poly.py<br>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2= =A0 45224 May =C2=A05 =C2=A02022 /usr/local/lib/python3.11/site-packages/z3= /z3printer.py<br>-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 =C2=A05039 May= =C2=A05 =C2=A02022 /usr/local/lib/python3.11/site-packages/z3/z3rcf.py<br>= -rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 =C2=A04575 May =C2=A05 =C2=A020= 22 /usr/local/lib/python3.11/site-packages/z3/z3types.py<br>-rw-r--r-- =C2= =A00 root =C2=A0 wheel =C2=A0 11388 May =C2=A05 =C2=A02022 /usr/local/lib/p= ython3.11/site-packages/z3/z3util.py<br>-rw-r--r-- =C2=A00 root =C2=A0 whee= l =C2=A0 =C2=A0 697 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3= _solver-4.8.17.0-py3.11.egg-info/PKG-INFO<br>-rw-r--r-- =C2=A00 root =C2=A0= wheel =C2=A0 =C2=A0 310 Jul 11 10:36 /usr/local/lib/python3.11/site-packag= es/z3_solver-4.8.17.0-py3.11.egg-info/SOURCES.txt<br>-rw-r--r-- =C2=A00 roo= t =C2=A0 wheel =C2=A0 =C2=A0 =C2=A0 1 Jul 11 10:36 /usr/local/lib/python3.1= 1/site-packages/z3_solver-4.8.17.0-py3.11.egg-info/dependency_links.txt<br>= -rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 =C2=A0 =C2=A0 3 Jul 11 10:36 /u= sr/local/lib/python3.11/site-packages/z3_solver-4.8.17.0-py3.11.egg-info/to= p_level.txt<br></div></div> --0000000000000dd29f061ee1206c--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CAMHz58RutA6xHt-gy0gDy6z2HYh_OTGYT7EjcdYYsLKp-tviYg>