diff options
| author | chriseth <chris@ethereum.org> | 2018-12-18 23:19:50 +0800 |
|---|---|---|
| committer | chriseth <chris@ethereum.org> | 2018-12-18 23:20:02 +0800 |
| commit | 506642475892bd5b598c1c9c6498ff3efa1fa6cc (patch) | |
| tree | d5584362a04011e618e6470e7543b1fc14505570 /docs/contributing.rst | |
| parent | a51a8368aaa44bd1b26eb6869b107f6f3b3eec05 (diff) | |
| download | dexon-solidity-506642475892bd5b598c1c9c6498ff3efa1fa6cc.tar.gz dexon-solidity-506642475892bd5b598c1c9c6498ff3efa1fa6cc.tar.zst dexon-solidity-506642475892bd5b598c1c9c6498ff3efa1fa6cc.zip | |
Build in release mode.
Diffstat (limited to 'docs/contributing.rst')
| -rw-r--r-- | docs/contributing.rst | 4 |
1 files changed, 2 insertions, 2 deletions
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``. |