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

Merge pull request #12078 from elopio/snap/use-antlr-package

Browse Source 
Snap: update cvc4 to 1.8
This commit is contained in:
Leonardo 2021-10-04 10:53:20 +02:00 committed by GitHub
commit 1d1b9fd200
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
snap/snapcraft.yaml
View File

@ -40,7 +40,7 @@ parts:
source: https://github.com/Z3Prover/z3.git source: https://github.com/Z3Prover/z3.git
source-tag: z3-4.8.4 source-tag: z3-4.8.4
plugin: make plugin: make
build-packages: [python] build-packages: [python3]
stage-packages: [libstdc++6] stage-packages: [libstdc++6]
override-build: | override-build: |
python scripts/mk_make.py python scripts/mk_make.py
@ -49,14 +49,13 @@ parts:
make install DESTDIR=$SNAPCRAFT_PART_INSTALL make install DESTDIR=$SNAPCRAFT_PART_INSTALL
cvc4: cvc4:
source: https://github.com/CVC4/CVC4.git source: https://github.com/CVC4/CVC4.git
source-tag: "1.7" source-tag: "1.8"
plugin: nil plugin: nil
build-packages: [python, cmake, openjdk-11-jre, libgmp-dev, wget] build-packages: [python3, python3-toml, cmake, openjdk-11-jre, libgmp-dev, wget, antlr3, libantlr3c-3.4-0, libantlr3c-dev]
override-build: | override-build: |
./contrib/get-antlr-3.4 ./configure.sh --python3 --prefix=$SNAPCRAFT_STAGE/usr
./configure.sh --prefix=$SNAPCRAFT_STAGE/usr
cd build cd build
make -j -l $(grep -c "^processor" /proc/cpuinfo) make -j -l $(grep -c "^processor" /proc/cpuinfo)
make install make install
mkdir -p $SNAPCRAFT_PART_INSTALL/usr/lib/ mkdir -p $SNAPCRAFT_PART_INSTALL/usr/lib/
cp $SNAPCRAFT_STAGE/usr/lib/libcvc4.so.6 $SNAPCRAFT_PART_INSTALL/usr/lib/ cp $SNAPCRAFT_STAGE/usr/lib/libcvc4.so.7 $SNAPCRAFT_PART_INSTALL/usr/lib/