>>> Building on exopi-6 under math/prover9/p9m4 BDEPENDS = [lang/python/3] DIST = [math/prover9/p9m4:p9m4-v05.tar.gz] FULLPKGNAME = p9m4-05p5 RDEPENDS = [lang/python/3;math/prover9/ladr;x11/py-wxPython,python3;devel/py-modulegraph,python3] Avoided depends for python-3.11.10p1 distfiles size=889707 >>> Running build in math/prover9/p9m4 at 1731872666.32 ===> math/prover9/p9m4 ===> Building from scratch p9m4-05p5 ===> p9m4-05p5 depends on: python->=3.11,<3.12 -> python-3.11.10p1 ===> Checking files for p9m4-05p5 `/exopi-cvs/ports/distfiles/p9m4-v05.tar.gz' is up to date. >> (SHA256) all files: OK ===> Extracting for p9m4-05p5 rm -r /exopi-obj/pobj/p9m4-05/p9m4-v05/Samples/Kauer.in\~ find /exopi-obj/pobj/p9m4-05/p9m4-v05 -type f -name \*~ -delete ===> Patching for p9m4-05p5 ===> Applying OpenBSD patch patch-control_py Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |Sorry: TabError: inconsistent use of tabs and spaces in indentation | |Index: control.py |--- control.py.orig |+++ control.py -------------------------- Patching file control.py using Plan A... Hunk #1 succeeded at 524. Hunk #2 succeeded at 628. done ===> Applying OpenBSD patch patch-p9m4_files_py Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |--- files.py.orig Fri Dec 7 21:46:28 2007 |+++ files.py Tue Jan 18 12:23:50 2011 -------------------------- Patching file files.py using Plan A... Hunk #1 succeeded at 63. done ===> Applying OpenBSD patch patch-partition_input_py Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |MODPY_ADJ_FILES only works on the file line. | |Index: partition_input.py |--- partition_input.py.orig |+++ partition_input.py -------------------------- Patching file partition_input.py using Plan A... Hunk #1 succeeded at 1. Hunk #2 succeeded at 18. done ===> Applying OpenBSD patch patch-prover9-mace4_py Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |Sorry: TabError: inconsistent use of tabs and spaces in indentation | |Index: prover9-mace4.py |--- prover9-mace4.py.orig |+++ prover9-mace4.py -------------------------- Patching file prover9-mace4.py using Plan A... Hunk #1 succeeded at 635. Hunk #2 succeeded at 643. done ===> Compiler link: clang -> /usr/bin/clang ===> Compiler link: clang++ -> /usr/bin/clang++ ===> Compiler link: cc -> /usr/bin/cc ===> Compiler link: c++ -> /usr/bin/c++ ===> Generating configure for p9m4-05p5 ===> Configuring for p9m4-05p5 /usr/bin/perl /exopi-cvs/ports/infrastructure/bin/pkg_subst -DMODPY_PYCACHE=__pycache__/ -DMODPY_COMMENT= -DMODPY_ABI3SO=.abi3 -DMODPY_PYC_MAGIC_TAG=cpython-311. -DMODPY_BIN=/usr/local/bin/python3.11 -DMODPY_EGG_VERSION= -DMODPY_VERSION=3.11 -DMODPY_BIN_SUFFIX= -DMODPY_PY_PREFIX=py3- -DMODPY_PYOEXTENSION=opt-1.pyc -DARCH=amd64 -DBASE_PKGPATH=math/prover9/p9m4 -DFLAVOR_EXT= -DFULLPKGNAME=p9m4-05p5 -DHOMEPAGE=http://www.cs.unm.edu/%7Emccune/prover9/ -DLOCALBASE=/usr/local -DLOCALSTATEDIR=/var -DMACHINE_ARCH=amd64 -DMAINTAINER=The\ OpenBSD\ ports\ mailing-list\ \ -DPREFIX=/usr/local -DRCDIR=/etc/rc.d -DSYSCONFDIR=/etc -DTRUEPREFIX=/usr/local -DX11BASE=/usr/X11R6 -DPKGSTEM=p9m4 -i -B /exopi-obj/pobj/p9m4-05 /exopi-obj/pobj/p9m4-05/p9m4-v05/files.py /usr/bin/perl /exopi-cvs/ports/infrastructure/bin/pkg_subst -DMODPY_PYCACHE=__pycache__/ -DMODPY_COMMENT= -DMODPY_ABI3SO=.abi3 -DMODPY_PYC_MAGIC_TAG=cpython-311. -DMODPY_BIN=/usr/local/bin/python3.11 -DMODPY_EGG_VERSION= -DMODPY_VERSION=3.11 -DMODPY_BIN_SUFFIX= -DMODPY_PY_PREFIX=py3- -DMODPY_PYOEXTENSION=opt-1.pyc -DARCH=amd64 -DBASE_PKGPATH=math/prover9/p9m4 -DFLAVOR_EXT= -DFULLPKGNAME=p9m4-05p5 -DHOMEPAGE=http://www.cs.unm.edu/%7Emccune/prover9/ -DLOCALBASE=/usr/local -DLOCALSTATEDIR=/var -DMACHINE_ARCH=amd64 -DMAINTAINER=The\ OpenBSD\ ports\ mailing-list\ \ -DPREFIX=/usr/local -DRCDIR=/etc/rc.d -DSYSCONFDIR=/etc -DTRUEPREFIX=/usr/local -DX11BASE=/usr/X11R6 -DPKGSTEM=p9m4 -i -B /exopi-obj/pobj/p9m4-05 -m 555 -c /exopi-cvs/ports/math/prover9/p9m4/files/prover9-mace4.sh /exopi-obj/pobj/p9m4-05/p9m4-v05/prover9-mace4 >>> Running package in math/prover9/p9m4 at 1731872667.43 ===> math/prover9/p9m4 ===> Faking installation for p9m4-05p5 /exopi-obj/pobj/p9m4-05/bin/install -c -m 755 /exopi-obj/pobj/p9m4-05/p9m4-v05/prover9-mace4 /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/bin/ /exopi-obj/pobj/p9m4-05/bin/install -d -m 755 /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4/ /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/share/p9m4/Images/ /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/share/p9m4/Samples/ /exopi-obj/pobj/p9m4-05/bin/install -c -m 644 /exopi-obj/pobj/p9m4-05/p9m4-v05/Images/* /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/share/p9m4/Images/ cd /exopi-obj/pobj/p9m4-05/p9m4-v05/Samples/ && umask 022 && pax -rw . /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/share/p9m4/Samples/ /exopi-obj/pobj/p9m4-05/bin/install -c -m 755 /exopi-obj/pobj/p9m4-05/p9m4-v05/control.py /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4/ 2to3 -wn --no-diffs /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//* /usr/local/bin/2to3:3: DeprecationWarning: lib2to3 package is deprecated and may not be able to parse Python 3.10+ from lib2to3.main import main RefactoringTool: Skipping optional fixer: buffer RefactoringTool: Skipping optional fixer: idioms RefactoringTool: Skipping optional fixer: set_literal RefactoringTool: Skipping optional fixer: ws_comma RefactoringTool: Refactored /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//control.py RefactoringTool: Files that were modified: RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//control.py /exopi-obj/pobj/p9m4-05/bin/install -c -m 755 /exopi-obj/pobj/p9m4-05/p9m4-v05/files.py /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4/ 2to3 -wn --no-diffs /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//* /usr/local/bin/2to3:3: DeprecationWarning: lib2to3 package is deprecated and may not be able to parse Python 3.10+ from lib2to3.main import main RefactoringTool: Skipping optional fixer: buffer RefactoringTool: Skipping optional fixer: idioms RefactoringTool: Skipping optional fixer: set_literal RefactoringTool: Skipping optional fixer: ws_comma RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//control.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//files.py RefactoringTool: Files that need to be modified: RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//control.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//files.py /exopi-obj/pobj/p9m4-05/bin/install -c -m 755 /exopi-obj/pobj/p9m4-05/p9m4-v05/my_setup.py /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4/ 2to3 -wn --no-diffs /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//* /usr/local/bin/2to3:3: DeprecationWarning: lib2to3 package is deprecated and may not be able to parse Python 3.10+ from lib2to3.main import main RefactoringTool: Skipping optional fixer: buffer RefactoringTool: Skipping optional fixer: idioms RefactoringTool: Skipping optional fixer: set_literal RefactoringTool: Skipping optional fixer: ws_comma RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//control.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//files.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//my_setup.py RefactoringTool: Files that need to be modified: RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//control.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//files.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//my_setup.py /exopi-obj/pobj/p9m4-05/bin/install -c -m 755 /exopi-obj/pobj/p9m4-05/p9m4-v05/options.py /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4/ 2to3 -wn --no-diffs /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//* /usr/local/bin/2to3:3: DeprecationWarning: lib2to3 package is deprecated and may not be able to parse Python 3.10+ from lib2to3.main import main RefactoringTool: Skipping optional fixer: buffer RefactoringTool: Skipping optional fixer: idioms RefactoringTool: Skipping optional fixer: set_literal RefactoringTool: Skipping optional fixer: ws_comma RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//control.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//files.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//my_setup.py RefactoringTool: Refactored /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//options.py RefactoringTool: Files that were modified: RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//control.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//files.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//my_setup.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//options.py /exopi-obj/pobj/p9m4-05/bin/install -c -m 755 /exopi-obj/pobj/p9m4-05/p9m4-v05/partition_input.py /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4/ 2to3 -wn --no-diffs /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//* /usr/local/bin/2to3:3: DeprecationWarning: lib2to3 package is deprecated and may not be able to parse Python 3.10+ from lib2to3.main import main RefactoringTool: Skipping optional fixer: buffer RefactoringTool: Skipping optional fixer: idioms RefactoringTool: Skipping optional fixer: set_literal RefactoringTool: Skipping optional fixer: ws_comma RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//control.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//files.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//my_setup.py RefactoringTool: Refactored /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//options.py RefactoringTool: Refactored /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//partition_input.py RefactoringTool: Files that were modified: RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//control.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//files.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//my_setup.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//options.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//partition_input.py /exopi-obj/pobj/p9m4-05/bin/install -c -m 755 /exopi-obj/pobj/p9m4-05/p9m4-v05/platforms.py /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4/ 2to3 -wn --no-diffs /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//* /usr/local/bin/2to3:3: DeprecationWarning: lib2to3 package is deprecated and may not be able to parse Python 3.10+ from lib2to3.main import main RefactoringTool: Skipping optional fixer: buffer RefactoringTool: Skipping optional fixer: idioms RefactoringTool: Skipping optional fixer: set_literal RefactoringTool: Skipping optional fixer: ws_comma RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//control.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//files.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//my_setup.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//options.py RefactoringTool: Refactored /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//partition_input.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//platforms.py RefactoringTool: Files that were modified: RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//control.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//files.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//my_setup.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//options.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//partition_input.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//platforms.py /exopi-obj/pobj/p9m4-05/bin/install -c -m 755 /exopi-obj/pobj/p9m4-05/p9m4-v05/prover9-mace4.py /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4/ 2to3 -wn --no-diffs /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//* /usr/local/bin/2to3:3: DeprecationWarning: lib2to3 package is deprecated and may not be able to parse Python 3.10+ from lib2to3.main import main RefactoringTool: Skipping optional fixer: buffer RefactoringTool: Skipping optional fixer: idioms RefactoringTool: Skipping optional fixer: set_literal RefactoringTool: Skipping optional fixer: ws_comma RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//control.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//files.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//my_setup.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//options.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//partition_input.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//platforms.py RefactoringTool: Refactored /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//prover9-mace4.py RefactoringTool: Files that were modified: RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//control.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//files.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//my_setup.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//options.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//partition_input.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//platforms.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//prover9-mace4.py /exopi-obj/pobj/p9m4-05/bin/install -c -m 755 /exopi-obj/pobj/p9m4-05/p9m4-v05/utilities.py /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4/ 2to3 -wn --no-diffs /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//* /usr/local/bin/2to3:3: DeprecationWarning: lib2to3 package is deprecated and may not be able to parse Python 3.10+ from lib2to3.main import main RefactoringTool: Skipping optional fixer: buffer RefactoringTool: Skipping optional fixer: idioms RefactoringTool: Skipping optional fixer: set_literal RefactoringTool: Skipping optional fixer: ws_comma RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//control.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//files.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//my_setup.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//options.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//partition_input.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//platforms.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//prover9-mace4.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//utilities.py RefactoringTool: Files that need to be modified: RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//control.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//files.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//my_setup.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//options.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//partition_input.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//platforms.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//prover9-mace4.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//utilities.py /exopi-obj/pobj/p9m4-05/bin/install -c -m 755 /exopi-obj/pobj/p9m4-05/p9m4-v05/wx_utilities.py /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4/ 2to3 -wn --no-diffs /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//* /usr/local/bin/2to3:3: DeprecationWarning: lib2to3 package is deprecated and may not be able to parse Python 3.10+ from lib2to3.main import main RefactoringTool: Skipping optional fixer: buffer RefactoringTool: Skipping optional fixer: idioms RefactoringTool: Skipping optional fixer: set_literal RefactoringTool: Skipping optional fixer: ws_comma RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//control.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//files.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//my_setup.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//options.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//partition_input.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//platforms.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//prover9-mace4.py RefactoringTool: No changes to /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//utilities.py RefactoringTool: Refactored /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//wx_utilities.py RefactoringTool: Files that were modified: RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//control.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//files.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//my_setup.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//options.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//partition_input.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//platforms.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//prover9-mace4.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//utilities.py RefactoringTool: /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4//wx_utilities.py /usr/local/bin/python3.11 -m compileall -j 1 -s /exopi-obj/pobj/p9m4-05/fake-amd64 -o 0 -o 1 /exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4/ Listing '/exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4/'... Compiling '/exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4/control.py'... Compiling '/exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4/files.py'... Compiling '/exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4/my_setup.py'... Compiling '/exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4/options.py'... Compiling '/exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4/partition_input.py'... Compiling '/exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4/platforms.py'... Compiling '/exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4/prover9-mace4.py'... Compiling '/exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4/utilities.py'... Compiling '/exopi-obj/pobj/p9m4-05/fake-amd64/usr/local/libexec/prover9/p9m4/wx_utilities.py'... ===> Building package for p9m4-05p5 Create /exopi-cvs/ports/packages/amd64/no-arch/p9m4-05p5.tgz Creating package p9m4-05p5 reading plist| checking dependencies| checking dependencies|devel/py-modulegraph,python3 checking dependencies|lang/python/3,-main checking dependencies|math/prover9/ladr checking dependencies|x11/py-wxPython,python3 checksumming| checksumming| | 0% checksumming|* | 1% checksumming|* | 2% checksumming|** | 4% checksumming|*** | 5% checksumming|**** | 6% checksumming|**** | 7% checksumming|***** | 8% checksumming|****** | 9% checksumming|****** | 11% checksumming|******* | 12% checksumming|******** | 13% checksumming|********* | 14% checksumming|********* | 15% checksumming|********** | 16% checksumming|*********** | 18% checksumming|*********** | 19% checksumming|************ | 20% checksumming|************* | 21% checksumming|************** | 22% checksumming|************** | 24% checksumming|*************** | 25% checksumming|**************** | 26% checksumming|***************** | 27% checksumming|***************** | 28% checksumming|****************** | 29% checksumming|******************* | 31% checksumming|******************* | 32% checksumming|******************** | 33% checksumming|********************* | 34% checksumming|********************** | 35% checksumming|********************** | 36% checksumming|*********************** | 38% checksumming|************************ | 39% checksumming|************************ | 40% checksumming|************************* | 41% checksumming|************************** | 42% checksumming|*************************** | 44% checksumming|*************************** | 45% checksumming|**************************** | 46% checksumming|***************************** | 47% checksumming|***************************** | 48% checksumming|****************************** | 49% checksumming|******************************* | 51% checksumming|******************************** | 52% checksumming|******************************** | 53% checksumming|********************************* | 54% checksumming|********************************** | 55% checksumming|********************************** | 56% checksumming|*********************************** | 58% checksumming|************************************ | 59% checksumming|************************************* | 60% checksumming|************************************* | 61% checksumming|************************************** | 62% checksumming|*************************************** | 64% checksumming|*************************************** | 65% checksumming|**************************************** | 66% checksumming|***************************************** | 67% checksumming|****************************************** | 68% checksumming|****************************************** | 69% checksumming|******************************************* | 71% checksumming|******************************************** | 72% checksumming|******************************************** | 73% checksumming|********************************************* | 74% checksumming|********************************************** | 75% checksumming|*********************************************** | 76% checksumming|*********************************************** | 78% checksumming|************************************************ | 79% checksumming|************************************************* | 80% checksumming|************************************************** | 81% checksumming|************************************************** | 82% checksumming|*************************************************** | 84% checksumming|**************************************************** | 85% checksumming|**************************************************** | 86% checksumming|***************************************************** | 87% checksumming|****************************************************** | 88% checksumming|******************************************************* | 89% checksumming|******************************************************* | 91% checksumming|******************************************************** | 92% checksumming|********************************************************* | 93% checksumming|********************************************************* | 94% checksumming|********************************************************** | 95% checksumming|*********************************************************** | 96% checksumming|************************************************************ | 98% checksumming|************************************************************ | 99% checksumming|*************************************************************|100% archiving| archiving| | 0% archiving|****** | 10% archiving|************ | 19% archiving|************* | 20% archiving|**************** | 25% archiving|******************* | 30% archiving|************************ | 38% archiving|***************************** | 45% archiving|***************************** | 46% archiving|****************************** | 47% archiving|********************************* | 52% archiving|************************************* | 57% archiving|************************************* | 58% archiving|*************************************** | 61% archiving|***************************************** | 64% archiving|***************************************** | 65% archiving|******************************************** | 68% archiving|************************************************ | 74% archiving|**************************************************** | 82% archiving|***************************************************** | 83% archiving|****************************************************** | 84% archiving|******************************************************** | 87% archiving|******************************************************** | 88% archiving|********************************************************* | 89% archiving|********************************************************** | 90% archiving|********************************************************** | 91% archiving|*********************************************************** | 91% archiving|*********************************************************** | 92% archiving|*********************************************************** | 93% archiving|************************************************************ | 93% archiving|************************************************************ | 94% archiving|************************************************************** | 97% archiving|****************************************************************|100% Link to /exopi-cvs/ports/packages/amd64/all/p9m4-05p5.tgz Link to /exopi-cvs/ports/packages/amd64/ftp/p9m4-05p5.tgz >>> Running clean in math/prover9/p9m4 at 1731872679.96 ===> math/prover9/p9m4 ===> Cleaning for p9m4-05p5 >>> Ended at 1731872680.21 max_stuck=0.00/build=1.11/package=12.53/clean=0.30