solidity/snap/snapcraft.yaml

62 lines
1.9 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.
base: core20
grade: stable
confinement: strict
apps:
solc:
2021-09-29 23:38:54 +00:00
command: usr/local/bin/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: [libicu66]
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
2021-10-02 16:41:38 +00:00
build-packages: [python3]
2021-10-07 00:00:07 +00:00
stage-packages: [libstdc++6, libgomp1]
2019-02-12 21:47:50 +00:00
override-build: |
2021-10-07 00:00:07 +00:00
python3 scripts/mk_make.py
2019-02-12 21:47:50 +00:00
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
2021-10-02 16:41:38 +00:00
source-tag: "1.8"
2019-08-15 00:49:21 +00:00
plugin: nil
2021-10-02 16:41:38 +00:00
build-packages: [python3, python3-toml, cmake, openjdk-11-jre, libgmp-dev, wget, antlr3, libantlr3c-3.4-0, libantlr3c-dev]
2019-08-15 00:49:21 +00:00
override-build: |
2021-10-02 18:09:22 +00:00
./configure.sh --python3 --prefix=$SNAPCRAFT_STAGE/usr
2019-08-15 00:49:21 +00:00
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/
2021-10-02 16:41:38 +00:00
cp $SNAPCRAFT_STAGE/usr/lib/libcvc4.so.7 $SNAPCRAFT_PART_INSTALL/usr/lib/