2023-10-09T15:53:18,434 Created temporary directory: /tmp/pip-build-tracker-8fvksoti 2023-10-09T15:53:18,435 Initialized build tracking at /tmp/pip-build-tracker-8fvksoti 2023-10-09T15:53:18,435 Created build tracker: /tmp/pip-build-tracker-8fvksoti 2023-10-09T15:53:18,436 Entered build tracker: /tmp/pip-build-tracker-8fvksoti 2023-10-09T15:53:18,436 Created temporary directory: /tmp/pip-wheel-4_3lh03s 2023-10-09T15:53:18,439 Created temporary directory: /tmp/pip-ephem-wheel-cache-zvfsr2j0 2023-10-09T15:53:18,461 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-10-09T15:53:18,465 2 location(s) to search for versions of formalmethodsvlsi: 2023-10-09T15:53:18,465 * https://pypi.org/simple/formalmethodsvlsi/ 2023-10-09T15:53:18,465 * https://www.piwheels.org/simple/formalmethodsvlsi/ 2023-10-09T15:53:18,466 Fetching project page and analyzing links: https://pypi.org/simple/formalmethodsvlsi/ 2023-10-09T15:53:18,466 Getting page https://pypi.org/simple/formalmethodsvlsi/ 2023-10-09T15:53:18,468 Found index url https://pypi.org/simple/ 2023-10-09T15:53:18,686 Fetched page https://pypi.org/simple/formalmethodsvlsi/ as application/vnd.pypi.simple.v1+json 2023-10-09T15:53:18,688 Found link https://files.pythonhosted.org/packages/44/0b/645aff4f4559091d40600d13144e39b93134b387265778dee42678b77ff6/FormalMethodsVLSI-0.0.4.tar.gz (from https://pypi.org/simple/formalmethodsvlsi/), version: 0.0.4 2023-10-09T15:53:18,689 Fetching project page and analyzing links: https://www.piwheels.org/simple/formalmethodsvlsi/ 2023-10-09T15:53:18,689 Getting page https://www.piwheels.org/simple/formalmethodsvlsi/ 2023-10-09T15:53:18,690 Found index url https://www.piwheels.org/simple/ 2023-10-09T15:53:18,848 Fetched page https://www.piwheels.org/simple/formalmethodsvlsi/ as text/html 2023-10-09T15:53:18,850 Skipping link: not a file: https://www.piwheels.org/simple/formalmethodsvlsi/ 2023-10-09T15:53:18,850 Skipping link: not a file: https://pypi.org/simple/formalmethodsvlsi/ 2023-10-09T15:53:18,869 Given no hashes to check 1 links for project 'formalmethodsvlsi': discarding no candidates 2023-10-09T15:53:18,887 Collecting formalmethodsvlsi==0.0.4 2023-10-09T15:53:18,890 Created temporary directory: /tmp/pip-unpack-5rdbn82l 2023-10-09T15:53:19,108 Downloading FormalMethodsVLSI-0.0.4.tar.gz (9.1 kB) 2023-10-09T15:53:19,151 Added formalmethodsvlsi==0.0.4 from https://files.pythonhosted.org/packages/44/0b/645aff4f4559091d40600d13144e39b93134b387265778dee42678b77ff6/FormalMethodsVLSI-0.0.4.tar.gz to build tracker '/tmp/pip-build-tracker-8fvksoti' 2023-10-09T15:53:19,153 Running setup.py (path:/tmp/pip-wheel-4_3lh03s/formalmethodsvlsi_751d4254ac6940189208d3a1ff3d3d1b/setup.py) egg_info for package formalmethodsvlsi 2023-10-09T15:53:19,154 Created temporary directory: /tmp/pip-pip-egg-info-aq0sijfh 2023-10-09T15:53:19,154 Preparing metadata (setup.py): started 2023-10-09T15:53:19,156 Running command python setup.py egg_info 2023-10-09T15:53:20,201 running egg_info 2023-10-09T15:53:20,202 creating /tmp/pip-pip-egg-info-aq0sijfh/FormalMethodsVLSI.egg-info 2023-10-09T15:53:20,226 writing /tmp/pip-pip-egg-info-aq0sijfh/FormalMethodsVLSI.egg-info/PKG-INFO 2023-10-09T15:53:20,236 writing dependency_links to /tmp/pip-pip-egg-info-aq0sijfh/FormalMethodsVLSI.egg-info/dependency_links.txt 2023-10-09T15:53:20,238 writing requirements to /tmp/pip-pip-egg-info-aq0sijfh/FormalMethodsVLSI.egg-info/requires.txt 2023-10-09T15:53:20,239 writing top-level names to /tmp/pip-pip-egg-info-aq0sijfh/FormalMethodsVLSI.egg-info/top_level.txt 2023-10-09T15:53:20,241 writing manifest file '/tmp/pip-pip-egg-info-aq0sijfh/FormalMethodsVLSI.egg-info/SOURCES.txt' 2023-10-09T15:53:20,317 reading manifest file '/tmp/pip-pip-egg-info-aq0sijfh/FormalMethodsVLSI.egg-info/SOURCES.txt' 2023-10-09T15:53:20,320 writing manifest file '/tmp/pip-pip-egg-info-aq0sijfh/FormalMethodsVLSI.egg-info/SOURCES.txt' 2023-10-09T15:53:20,429 Preparing metadata (setup.py): finished with status 'done' 2023-10-09T15:53:20,432 Source in /tmp/pip-wheel-4_3lh03s/formalmethodsvlsi_751d4254ac6940189208d3a1ff3d3d1b has version 0.0.4, which satisfies requirement formalmethodsvlsi==0.0.4 from https://files.pythonhosted.org/packages/44/0b/645aff4f4559091d40600d13144e39b93134b387265778dee42678b77ff6/FormalMethodsVLSI-0.0.4.tar.gz 2023-10-09T15:53:20,433 Removed formalmethodsvlsi==0.0.4 from https://files.pythonhosted.org/packages/44/0b/645aff4f4559091d40600d13144e39b93134b387265778dee42678b77ff6/FormalMethodsVLSI-0.0.4.tar.gz from build tracker '/tmp/pip-build-tracker-8fvksoti' 2023-10-09T15:53:20,438 Created temporary directory: /tmp/pip-unpack-ewj3x30o 2023-10-09T15:53:20,439 Created temporary directory: /tmp/pip-unpack-7t9uzyy4 2023-10-09T15:53:20,445 Building wheels for collected packages: formalmethodsvlsi 2023-10-09T15:53:20,449 Created temporary directory: /tmp/pip-wheel-w1rkcyrf 2023-10-09T15:53:20,450 Building wheel for formalmethodsvlsi (setup.py): started 2023-10-09T15:53:20,451 Destination directory: /tmp/pip-wheel-w1rkcyrf 2023-10-09T15:53:20,451 Running command python setup.py bdist_wheel 2023-10-09T15:53:21,425 running bdist_wheel 2023-10-09T15:53:21,525 running build 2023-10-09T15:53:21,525 running build_py 2023-10-09T15:53:21,551 creating build 2023-10-09T15:53:21,552 creating build/lib 2023-10-09T15:53:21,553 creating build/lib/Formal_methods 2023-10-09T15:53:21,554 copying Formal_methods/approx_adder.py -> build/lib/Formal_methods 2023-10-09T15:53:21,556 copying Formal_methods/__init__.py -> build/lib/Formal_methods 2023-10-09T15:53:21,557 copying Formal_methods/nqueens.py -> build/lib/Formal_methods 2023-10-09T15:53:21,559 copying Formal_methods/bdd.py -> build/lib/Formal_methods 2023-10-09T15:53:21,561 creating build/lib/Formal_methods/SAT 2023-10-09T15:53:21,562 copying Formal_methods/SAT/__init__.py -> build/lib/Formal_methods/SAT 2023-10-09T15:53:21,564 copying Formal_methods/SAT/error_miters.py -> build/lib/Formal_methods/SAT 2023-10-09T15:53:21,566 copying Formal_methods/SAT/sat_count.py -> build/lib/Formal_methods/SAT 2023-10-09T15:53:21,568 copying Formal_methods/SAT/error_metrics.py -> build/lib/Formal_methods/SAT 2023-10-09T15:53:21,570 creating build/lib/Formal_methods/BDD 2023-10-09T15:53:21,571 copying Formal_methods/BDD/cutnodes.py -> build/lib/Formal_methods/BDD 2023-10-09T15:53:21,573 copying Formal_methods/BDD/BDD_from_netlist.py -> build/lib/Formal_methods/BDD 2023-10-09T15:53:21,575 copying Formal_methods/BDD/__init__.py -> build/lib/Formal_methods/BDD 2023-10-09T15:53:21,577 copying Formal_methods/BDD/netlist.py -> build/lib/Formal_methods/BDD 2023-10-09T15:53:21,605 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-10-09T15:53:21,605 !! 2023-10-09T15:53:21,606 ******************************************************************************** 2023-10-09T15:53:21,607 Please avoid running ``setup.py`` directly. 2023-10-09T15:53:21,608 Instead, use pypa/build, pypa/installer or other 2023-10-09T15:53:21,608 standards-based tools. 2023-10-09T15:53:21,609 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-10-09T15:53:21,610 ******************************************************************************** 2023-10-09T15:53:21,611 !! 2023-10-09T15:53:21,611 self.initialize_options() 2023-10-09T15:53:21,629 installing to build/bdist.linux-armv7l/wheel 2023-10-09T15:53:21,630 running install 2023-10-09T15:53:21,653 running install_lib 2023-10-09T15:53:21,688 creating build/bdist.linux-armv7l 2023-10-09T15:53:21,689 creating build/bdist.linux-armv7l/wheel 2023-10-09T15:53:21,691 creating build/bdist.linux-armv7l/wheel/Formal_methods 2023-10-09T15:53:21,692 copying build/lib/Formal_methods/approx_adder.py -> build/bdist.linux-armv7l/wheel/Formal_methods 2023-10-09T15:53:21,694 creating build/bdist.linux-armv7l/wheel/Formal_methods/SAT 2023-10-09T15:53:21,695 copying build/lib/Formal_methods/SAT/__init__.py -> build/bdist.linux-armv7l/wheel/Formal_methods/SAT 2023-10-09T15:53:21,697 copying build/lib/Formal_methods/SAT/error_miters.py -> build/bdist.linux-armv7l/wheel/Formal_methods/SAT 2023-10-09T15:53:21,699 copying build/lib/Formal_methods/SAT/sat_count.py -> build/bdist.linux-armv7l/wheel/Formal_methods/SAT 2023-10-09T15:53:21,701 copying build/lib/Formal_methods/SAT/error_metrics.py -> build/bdist.linux-armv7l/wheel/Formal_methods/SAT 2023-10-09T15:53:21,703 copying build/lib/Formal_methods/__init__.py -> build/bdist.linux-armv7l/wheel/Formal_methods 2023-10-09T15:53:21,705 copying build/lib/Formal_methods/nqueens.py -> build/bdist.linux-armv7l/wheel/Formal_methods 2023-10-09T15:53:21,707 creating build/bdist.linux-armv7l/wheel/Formal_methods/BDD 2023-10-09T15:53:21,707 copying build/lib/Formal_methods/BDD/cutnodes.py -> build/bdist.linux-armv7l/wheel/Formal_methods/BDD 2023-10-09T15:53:21,709 copying build/lib/Formal_methods/BDD/BDD_from_netlist.py -> build/bdist.linux-armv7l/wheel/Formal_methods/BDD 2023-10-09T15:53:21,712 copying build/lib/Formal_methods/BDD/__init__.py -> build/bdist.linux-armv7l/wheel/Formal_methods/BDD 2023-10-09T15:53:21,713 copying build/lib/Formal_methods/BDD/netlist.py -> build/bdist.linux-armv7l/wheel/Formal_methods/BDD 2023-10-09T15:53:21,715 copying build/lib/Formal_methods/bdd.py -> build/bdist.linux-armv7l/wheel/Formal_methods 2023-10-09T15:53:21,717 running install_egg_info 2023-10-09T15:53:21,776 running egg_info 2023-10-09T15:53:21,799 writing FormalMethodsVLSI.egg-info/PKG-INFO 2023-10-09T15:53:21,802 writing dependency_links to FormalMethodsVLSI.egg-info/dependency_links.txt 2023-10-09T15:53:21,803 writing requirements to FormalMethodsVLSI.egg-info/requires.txt 2023-10-09T15:53:21,804 writing top-level names to FormalMethodsVLSI.egg-info/top_level.txt 2023-10-09T15:53:21,831 reading manifest file 'FormalMethodsVLSI.egg-info/SOURCES.txt' 2023-10-09T15:53:21,835 writing manifest file 'FormalMethodsVLSI.egg-info/SOURCES.txt' 2023-10-09T15:53:21,837 Copying FormalMethodsVLSI.egg-info to build/bdist.linux-armv7l/wheel/FormalMethodsVLSI-0.0.4-py3.11.egg-info 2023-10-09T15:53:21,846 running install_scripts 2023-10-09T15:53:21,857 creating build/bdist.linux-armv7l/wheel/FormalMethodsVLSI-0.0.4.dist-info/WHEEL 2023-10-09T15:53:21,860 creating '/tmp/pip-wheel-w1rkcyrf/FormalMethodsVLSI-0.0.4-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-10-09T15:53:21,862 adding 'Formal_methods/__init__.py' 2023-10-09T15:53:21,864 adding 'Formal_methods/approx_adder.py' 2023-10-09T15:53:21,865 adding 'Formal_methods/bdd.py' 2023-10-09T15:53:21,866 adding 'Formal_methods/nqueens.py' 2023-10-09T15:53:21,868 adding 'Formal_methods/BDD/BDD_from_netlist.py' 2023-10-09T15:53:21,870 adding 'Formal_methods/BDD/__init__.py' 2023-10-09T15:53:21,871 adding 'Formal_methods/BDD/cutnodes.py' 2023-10-09T15:53:21,872 adding 'Formal_methods/BDD/netlist.py' 2023-10-09T15:53:21,874 adding 'Formal_methods/SAT/__init__.py' 2023-10-09T15:53:21,876 adding 'Formal_methods/SAT/error_metrics.py' 2023-10-09T15:53:21,877 adding 'Formal_methods/SAT/error_miters.py' 2023-10-09T15:53:21,878 adding 'Formal_methods/SAT/sat_count.py' 2023-10-09T15:53:21,879 adding 'FormalMethodsVLSI-0.0.4.dist-info/METADATA' 2023-10-09T15:53:21,880 adding 'FormalMethodsVLSI-0.0.4.dist-info/WHEEL' 2023-10-09T15:53:21,881 adding 'FormalMethodsVLSI-0.0.4.dist-info/top_level.txt' 2023-10-09T15:53:21,882 adding 'FormalMethodsVLSI-0.0.4.dist-info/RECORD' 2023-10-09T15:53:21,883 removing build/bdist.linux-armv7l/wheel 2023-10-09T15:53:21,999 Building wheel for formalmethodsvlsi (setup.py): finished with status 'done' 2023-10-09T15:53:22,002 Created wheel for formalmethodsvlsi: filename=FormalMethodsVLSI-0.0.4-py3-none-any.whl size=11415 sha256=d6112ca4cdbf2091f5406e4a9c350d3ad91bf7bc37a0d4de75ae66617328a22a 2023-10-09T15:53:22,003 Stored in directory: /tmp/pip-ephem-wheel-cache-zvfsr2j0/wheels/1c/7d/09/ff03b24ad94c5718eb69ce9fe921305bddb4112a7a3ab70671 2023-10-09T15:53:22,013 Successfully built formalmethodsvlsi 2023-10-09T15:53:22,016 Removed build tracker: '/tmp/pip-build-tracker-8fvksoti'