diff options
| -rw-r--r-- | .circleci/config.yml | 2 | ||||
| -rw-r--r-- | appveyor.yml | 2 | ||||
| -rw-r--r-- | docs/contributing.rst | 4 | ||||
| -rw-r--r-- | docs/installing-solidity.rst | 4 |
4 files changed, 6 insertions, 6 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index c13bef35..cec69e31 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -15,7 +15,7 @@ defaults: mkdir -p build cd build [ -n "$COVERAGE" -a "$CIRCLE_BRANCH" != release -a -z "$CIRCLE_TAG" ] && CMAKE_OPTIONS="$CMAKE_OPTIONS -DCOVERAGE=ON" - cmake .. -DCMAKE_BUILD_TYPE=RelWithDebInfo $CMAKE_OPTIONS + cmake .. -DCMAKE_BUILD_TYPE=Release $CMAKE_OPTIONS make -j4 - run_tests: &run_tests name: Tests diff --git a/appveyor.yml b/appveyor.yml index 5377925e..864c6359 100644 --- a/appveyor.yml +++ b/appveyor.yml @@ -32,7 +32,7 @@ branches: - release - develop configuration: - - RelWithDebInfo + - Release environment: matrix: - APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2017 diff --git a/docs/contributing.rst b/docs/contributing.rst index 41573ea1..85816766 100644 --- a/docs/contributing.rst +++ b/docs/contributing.rst @@ -83,8 +83,8 @@ internally. .. note :: - Those working in a Windows environment wanting to run the above basic sets without aleth or libz3 in Git Bash, you would have to do: ``./build/test/RelWithDebInfo/soltest.exe -- --no-ipc --no-smt``. - If you're running this in plain Command Prompt, use ``.\build\test\RelWithDebInfo\soltest.exe -- --no-ipc --no-smt``. + Those working in a Windows environment wanting to run the above basic sets without aleth or libz3 in Git Bash, you would have to do: ``./build/test/Release/soltest.exe -- --no-ipc --no-smt``. + If you're running this in plain Command Prompt, use ``.\build\test\Release\soltest.exe -- --no-ipc --no-smt``. The option ``--no-smt`` disables the tests that require ``libz3`` and ``--no-ipc`` disables those that require ``aleth``. diff --git a/docs/installing-solidity.rst b/docs/installing-solidity.rst index 2797d8b0..c475d427 100644 --- a/docs/installing-solidity.rst +++ b/docs/installing-solidity.rst @@ -296,13 +296,13 @@ And for Windows: This latter set of instructions should result in the creation of **solidity.sln** in that build directory. Double-clicking on that file should result in Visual Studio firing up. We suggest building -**RelWithDebugInfo** configuration, but all others work. +**Release** configuration, but all others work. Alternatively, you can build for Windows on the command-line, like so: .. code-block:: bash - cmake --build . --config RelWithDebInfo + cmake --build . --config Release CMake options ============= |