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

Add libz3-dev to the snap build-packages

Browse Source
This commit is contained in:
Leo Arias 2017-08-24 06:20:35 +00:00
parent 957f23a9f4
commit 940ec4b353
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
snap/snapcraft.yaml
View File

@ -26,7 +26,7 @@ parts:
source: . source: .
source-type: git source-type: git
plugin: cmake plugin: cmake
build-packages: [build-essential, libboost-all-dev] build-packages: [build-essential, libboost-all-dev, libz3-dev]
stage-packages: [libicu55] stage-packages: [libicu55]
prepare: | prepare: |
if git describe --exact-match --tags 2> /dev/null if git describe --exact-match --tags 2> /dev/null