Update to 1.1.0, simplify Python handling. #10
Annotations
2 warnings
`brew install --verbose --build-bottle cvc5/cvc5/cvc5` failed on macOS Ventura (13)!:
Formula/cvc5.rb#L26
/usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/contrib/. /private/tmp/cvc5-20231213-11335-et72u6/contrib
/usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/README.md /private/tmp/cvc5-20231213-11335-et72u6/README.md
/usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/COPYING /private/tmp/cvc5-20231213-11335-et72u6/COPYING
/usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/.gitignore /private/tmp/cvc5-20231213-11335-et72u6/.gitignore
/usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/CONTRIBUTING.md /private/tmp/cvc5-20231213-11335-et72u6/CONTRIBUTING.md
/usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/examples/. /private/tmp/cvc5-20231213-11335-et72u6/examples
/usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/.style.yapf /private/tmp/cvc5-20231213-11335-et72u6/.style.yapf
/usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/.clang-format /private/tmp/cvc5-20231213-11335-et72u6/.clang-format
/usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/.github/. /private/tmp/cvc5-20231213-11335-et72u6/.github
/usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/configure.sh /private/tmp/cvc5-20231213-11335-et72u6/configure.sh
/usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/THANKS /private/tmp/cvc5-20231213-11335-et72u6/THANKS
/usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/.mailmap /private/tmp/cvc5-20231213-11335-et72u6/.mailmap
/usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/.git/. /private/tmp/cvc5-20231213-11335-et72u6/.git
/usr/bin/env cp -pR /private/tmp/d20231213-11335-wc14fk/src/. /private/tmp/cvc5-20231213-11335-et72u6/src
==> python3 -m venv --system-site-packages --without-pip /usr/local/Cellar/cvc5/1.0.8/libexec
/usr/bin/env tar --extract --no-same-owner --file /Users/runner/Library/Caches/Homebrew/downloads/c18681289175fb45367956fde79823bf2d98bab623266b25e1d8f5b8b5845bfe--tomli-2.0.1.tar.gz --directory /private/tmp/d20231213-11335-7hn8kf
/usr/bin/env cp -pR /private/tmp/d20231213-11335-7hn8kf/tomli-2.0.1/. /private/tmp/cvc5--tomli-20231213-11335-rvsiuh/tomli-2.0.1
==> python3 -m pip --python=/usr/local/Cellar/cvc5/1.0.8/libexec/bin/python install --verbose --no-deps --no-binary=:all: --ignore-installed --no-compile /private/tmp/cvc5--tomli-20231213-11335-rvsiuh/tomli-2.0.1
Using pip 23.3.1 from /usr/local/lib/python3.11/site-packages/pip (python 3.11)
Processing /private/tmp/cvc5--tomli-20231213-11335-rvsiuh/tomli-2.0.1
Installing build dependencies: started
Running command pip subprocess to install build dependencies
Collecting flit_core<4,>=3.2.0
Downloading flit_core-3.9.0.tar.gz (41 kB)
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 41.9/41.9 kB 2.8 MB/s eta 0:00:00
Getting requirements to build wheel: started
Getting requirements to build wheel: finished with status 'done'
Preparing metadata (pyproject.toml): started
Preparing metadata (pyproject.toml): finished with status 'done'
Building wheels for collected packages: flit_core
Building wheel for flit_core (pyproject.toml): started
Building wheel for flit_core (pyproject.toml): finished with status 'done'
Created wheel for flit_core: filename=flit_core-3.9.0-py3-none-any.whl size=63141 sha256=360cd0dd12dbba9cc4351a3b60f8b80a83ffd6c3a75bc7cf001bb36957e670fd
Stored in directory: /Users/runner/Library/Caches/Homebrew/pip_cache/wheels/47/cd/4c/dc7b02280dee4a308a2d233ed5ecff21e9a7425ff2da704a4f
Successfully built flit_core
Installing collected packages: flit_core
Successfully installed flit_core-3.9.0
Installing build dependencies: finished with status 'done'
Getting requirements to build wheel: started
Running command Getting requirements to build wheel
Getting requirements to build wheel: finished with status 'done'
Preparing metadata (pyproject.toml): started
Running command Preparing metadata (pyproject.toml)
Preparing metadata (pyproject.toml): finished with status 'done'
Building wheels for collected packages: tomli
Building wheel for tomli (pyproject.toml): started
Running
|
test-bot (macos-13)
No files were found with the provided path: *.bottle.*. No artifacts will be uploaded.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
bottles
Expired
|
24.2 MB |
|