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 #5986 from elopio/build-z3

Browse Source 
snap: build the latest z3
This commit is contained in:
chriseth 2019-02-13 15:58:33 +01:00 committed by GitHub
commit 8f010b4f93
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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-type: git
plugin: cmake
build-packages: [build-essential, libboost-all-dev, libz3-dev]
build-packages: [build-essential, libboost-all-dev]
stage-packages: [libicu60]
prepare: |
override-build: |
if git describe --exact-match --tags 2> /dev/null
then
echo -n > ../src/prerelease.txt
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