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

Enable cvc4 for C++17 build by switching to Ubuntu disco.

Browse Source
This commit is contained in:
Daniel Kirchner 2019-02-04 14:10:27 +01:00 committed by Alex Beregszaszi
parent 6adabf37d1
commit f56ab1c2e7
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.circleci/config.yml
View File

@ -129,7 +129,7 @@ jobs:
build_x86_linux_cxx17:
docker:
- image: buildpack-deps:bionic
- image: buildpack-deps:disco
environment:
TERM: xterm
CMAKE_OPTIONS: -DCMAKE_TOOLCHAIN_FILE=cmake/toolchains/cxx17.cmake
@ -139,8 +139,7 @@ jobs:
name: Install build dependencies
command: |
apt-get -qq update
# Note: do not include cvc4 here, it is not C++17 compatible.
apt-get -qy install cmake libboost-regex-dev libboost-filesystem-dev libboost-test-dev libboost-system-dev libboost-program-options-dev
apt-get -qy install cmake libboost-regex-dev libboost-filesystem-dev libboost-test-dev libboost-system-dev libboost-program-options-dev libcvc4-dev
./scripts/install_obsolete_jsoncpp_1_7_4.sh
- run: *setup_prerelease_commit_hash
- run: *run_build