ivabus/pantry
1
0
Fork 0
mirror of https://github.com/ivabus/pantry synced 2024-11-10 02:25:18 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity

In fact z3 needs python during build

Browse source 
It’s worrying that the CI/CD builds found python even though we weren't specifying it @jheider
This commit is contained in:
Max Howell 2023-03-17 15:14:30 -04:00
parent 6ee5c90229
commit d619c00c39
No known key found for this signature in database
GPG key ID: 741BB84EF5BB9EEC
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
projects/github.com/Z3Prover/z3/package.yml
View file

@ -11,6 +11,7 @@ build:
tea.xyz/gx/cc: c99
tea.xyz/gx/make: '*'
cmake.org: ^3
python.org: ^3
working-directory: build
script: |
cmake .. $ARGS