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

Snap: update z3

Browse Source
This commit is contained in:
Leo Arias 2021-10-06 18:00:07 -06:00
parent 9d6eaa7a46
commit 7b1a12ae4c
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 source-tag: z3-4.8.4
plugin: make plugin: make
build-packages: [python3] build-packages: [python3]
stage-packages: [libstdc++6] stage-packages: [libstdc++6, libgomp1]
override-build: | override-build: |
python scripts/mk_make.py python3 scripts/mk_make.py
cd build cd build
make -j -l $(grep -c "^processor" /proc/cpuinfo) make -j -l $(grep -c "^processor" /proc/cpuinfo)
make install DESTDIR=$SNAPCRAFT_PART_INSTALL make install DESTDIR=$SNAPCRAFT_PART_INSTALL