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 #7262 from elopio/snap-build-cvc4

Browse Source 
Build cvc4 when packaging the snap
This commit is contained in:
chriseth 2019-08-19 10:10:23 +02:00 committed by GitHub
commit a39d26f366
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 15 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
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, libcvc4-dev] build-packages: [build-essential, libboost-all-dev]
stage-packages: [libicu60] stage-packages: [libicu60]
override-build: | override-build: |
if git describe --exact-match --tags 2> /dev/null if git describe --exact-match --tags 2> /dev/null
@ -34,7 +34,7 @@ parts:
echo -n > ../src/prerelease.txt echo -n > ../src/prerelease.txt
fi fi
snapcraftctl build snapcraftctl build
after: [z3] after: [z3, cvc4]
z3: z3:
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
@ -47,3 +47,16 @@ parts:
cd build cd build
make -j -l $(grep -c "^processor" /proc/cpuinfo) make -j -l $(grep -c "^processor" /proc/cpuinfo)
make install DESTDIR=$SNAPCRAFT_PART_INSTALL make install DESTDIR=$SNAPCRAFT_PART_INSTALL
cvc4:
source: https://github.com/CVC4/CVC4.git
source-tag: "1.7"
plugin: nil
build-packages: [python, cmake, openjdk-11-jre, libgmp-dev]
override-build: |
./contrib/get-antlr-3.4
./configure.sh --prefix=$SNAPCRAFT_STAGE/usr
cd build
make -j -l $(grep -c "^processor" /proc/cpuinfo)
make install
mkdir -p $SNAPCRAFT_PART_INSTALL/usr/lib/
cp $SNAPCRAFT_STAGE/usr/lib/libcvc4.so.6 $SNAPCRAFT_PART_INSTALL/usr/lib/