mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
63 lines
1.8 KiB
YAML
63 lines
1.8 KiB
YAML
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
|
|
build-packages: [build-essential, libboost-all-dev]
|
|
stage-packages: [libicu60]
|
|
override-build: |
|
|
if git describe --exact-match --tags 2> /dev/null
|
|
then
|
|
echo -n > ../src/prerelease.txt
|
|
fi
|
|
snapcraftctl build
|
|
after: [z3, cvc4]
|
|
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
|
|
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/
|