solidity/snap/snapcraft.yaml

63 lines
1.8 KiB
YAML
Raw Normal View History

name: solc
version: develop
version-script: git describe --exact-match --tags 2> /dev/null || echo "develop"
summary: The Solidity Contract-Oriented Programming Language
description: |
Solidity is a contract-oriented, high-level language whose syntax is similar
to that of JavaScript and it is designed to target the Ethereum Virtual
Machine (EVM).
Solidity is statically typed, supports inheritance, libraries and complex
user-defined types among other features.
It is possible to create contracts for voting, crowdfunding, blind auctions,
multi-signature wallets and more.
grade: stable
confinement: strict
apps:
solc:
command: solc
plugs: [home]
parts:
solidity:
source: .
source-type: git
plugin: cmake
2019-08-15 00:49:21 +00:00
build-packages: [build-essential, libboost-all-dev]
stage-packages: [libicu60]
2019-02-12 21:47:50 +00:00
override-build: |
if git describe --exact-match --tags 2> /dev/null
then
2017-07-18 14:34:37 +00:00
echo -n > ../src/prerelease.txt
fi
2019-02-12 21:47:50 +00:00
snapcraftctl build
2019-08-15 00:49:21 +00:00
after: [z3, cvc4]
2019-02-12 21:47:50 +00:00
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
2019-08-15 00:49:21 +00:00
cvc4:
source: https://github.com/CVC4/CVC4.git
source-tag: "1.7"
plugin: nil
build-packages: [python, cmake, openjdk-11-jre, libgmp-dev, wget]
2019-08-15 00:49:21 +00:00
override-build: |
./contrib/get-antlr-3.4
./configure.sh --prefix=$SNAPCRAFT_STAGE/usr
cd build
make -j -l $(grep -c "^processor" /proc/cpuinfo)
2019-08-15 02:14:21 +00:00
make install
2019-08-15 04:38:55 +00:00
mkdir -p $SNAPCRAFT_PART_INSTALL/usr/lib/
cp $SNAPCRAFT_STAGE/usr/lib/libcvc4.so.6 $SNAPCRAFT_PART_INSTALL/usr/lib/