cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #12099 from elopio/snap/update-z3

Browse Source 
Snap: update z3
This commit is contained in:
chriseth 2021-10-07 10:45:24 +02:00 committed by GitHub
commit 6288890fc2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
snap/snapcraft.yaml
View File

@ -41,9 +41,9 @@ parts:
source-tag: z3-4.8.4
plugin: make
build-packages: [python3]
stage-packages: [libstdc++6]
stage-packages: [libstdc++6, libgomp1]
override-build: |
python scripts/mk_make.py
python3 scripts/mk_make.py
cd build
make -j -l $(grep -c "^processor" /proc/cpuinfo)
make install DESTDIR=$SNAPCRAFT_PART_INSTALL