cerc-io/solidity
11
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 cvc4 to the snap

Browse Source
This commit is contained in:
Leo Arias committed 2019-02-15 23:08:56 +00:00
1 parent 0408130338
commit ed81a9f80a
1 file changed
+1 -1
Download Patch File Download Diff File Expand all files Collapse all files
snap/snapcraft.yaml
+1 -1
View File
@@ -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, libcvc4-dev]
stage-packages: [libicu60]
override-build: |
if git describe --exact-match --tags 2> /dev/null