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 wget to the build packages of the snap

Browse Source 
This is required to download antlr for cvc4:
323d5faa1f/contrib/get-antlr-3.4 (L23)
This commit is contained in:
Leo Arias 2019-08-26 06:07:54 -06:00 committed by GitHub
parent d47863ef35
commit d95252faf1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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

@ -51,7 +51,7 @@ parts:
source: https://github.com/CVC4/CVC4.git source: https://github.com/CVC4/CVC4.git
source-tag: "1.7" source-tag: "1.7"
plugin: nil plugin: nil
build-packages: [python, cmake, openjdk-11-jre, libgmp-dev] build-packages: [python, cmake, openjdk-11-jre, libgmp-dev, wget]
override-build: | override-build: |
./contrib/get-antlr-3.4 ./contrib/get-antlr-3.4
./configure.sh --prefix=$SNAPCRAFT_STAGE/usr ./configure.sh --prefix=$SNAPCRAFT_STAGE/usr