diff options
| author | chriseth <chris@ethereum.org> | 2017-08-24 16:41:11 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-24 16:41:11 +0800 |
| commit | 78c2dcacece0eec6556c4d0e04cf450d40a31cd4 (patch) | |
| tree | 942ef1cfb0972c5d6dddf6d3b2018ae6ee7eada4 | |
| parent | 77f8d6f1e9a8ff4e6c2b9d73b26a7af00f0f3c7c (diff) | |
| parent | 940ec4b3533dd180b51c3a41e76944d98258d9ae (diff) | |
| download | dexon-solidity-78c2dcacece0eec6556c4d0e04cf450d40a31cd4.tar.gz dexon-solidity-78c2dcacece0eec6556c4d0e04cf450d40a31cd4.tar.zst dexon-solidity-78c2dcacece0eec6556c4d0e04cf450d40a31cd4.zip | |
Merge pull request #2790 from elopio/snap-z3
Add libz3-dev to the snap build-packages
| -rw-r--r-- | snap/snapcraft.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/snap/snapcraft.yaml b/snap/snapcraft.yaml index db976bc3..ea0f2ef5 100644 --- a/snap/snapcraft.yaml +++ b/snap/snapcraft.yaml @@ -26,7 +26,7 @@ parts: source: . source-type: git plugin: cmake - build-packages: [build-essential, libboost-all-dev] + build-packages: [build-essential, libboost-all-dev, libz3-dev] stage-packages: [libicu55] prepare: | if git describe --exact-match --tags 2> /dev/null |