cerc-io/solidity
10
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

Release rebuild

Browse Source
This commit is contained in:
Rodrigo Q. Saramago 2023-02-02 19:00:28 +01:00
parent 5d2ebcb126
commit b48f4c4184
No known key found for this signature in database
GPG Key ID: 9B36B2525704A359
1 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
.circleci/config.yml
View File

@ -833,8 +833,15 @@ jobs:
MAKEFLAGS: -j 10 MAKEFLAGS: -j 10
CMAKE_OPTIONS: -DCMAKE_BUILD_TYPE=Release -DUSE_Z3_DLOPEN=ON -DUSE_CVC4=OFF -DSOLC_STATIC_STDLIBS=ON CMAKE_OPTIONS: -DCMAKE_BUILD_TYPE=Release -DUSE_Z3_DLOPEN=ON -DUSE_CVC4=OFF -DSOLC_STATIC_STDLIBS=ON
steps: steps:
- checkout - run: git clone -b "v0.8.18" https://github.com/ethereum/solidity.git .
- run: *run_build - run:
name: Release Rebuild
command: |
echo -n >prerelease.txt
mkdir -p build
cd build
cmake .. -DCMAKE_BUILD_TYPE=Release $CMAKE_OPTIONS -G "Unix Makefiles"
make
- run: - run:
name: strip binary name: strip binary
command: strip build/solc/solc command: strip build/solc/solc