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

snap: build the latest z3

Browse Source 
Fixes #5985
This commit is contained in:
Leo Arias 2019-02-12 21:47:50 +00:00
parent f16c02b2ba
commit b6798f8adc
1 changed files with 16 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
snap/snapcraft.yaml
View File

@ -26,10 +26,24 @@ parts:
source: . source: .
source-type: git source-type: git
plugin: cmake plugin: cmake
build-packages: [build-essential, libboost-all-dev, libz3-dev] build-packages: [build-essential, libboost-all-dev]
stage-packages: [libicu60] stage-packages: [libicu60]
prepare: | override-build: |
if git describe --exact-match --tags 2> /dev/null if git describe --exact-match --tags 2> /dev/null
then then
echo -n > ../src/prerelease.txt echo -n > ../src/prerelease.txt
fi fi
snapcraftctl build
after: [z3]
z3:
source: https://github.com/Z3Prover/z3.git
source-tag: z3-4.8.4
plugin: make
build-packages: [python]
stage-packages: [libstdc++6]
makefile: build/Makefile
override-build: |
python scripts/mk_make.py
cd build
make -j -l $(grep -c "^processor" /proc/cpuinfo)
make install DESTDIR=$SNAPCRAFT_PART_INSTALL