mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 19:05:51 +00:00
Code Activity

Update information in `README.md` on ".NET" bindings. Since

Browse source 
942b6ba5ec ``--dotnet`` needs to be
passed to enable the bindings.
This commit is contained in:
Dan Liew 2016-01-11 22:45:57 +00:00
parent d4efa3753c
commit 8ae60d300e
1 changed files with 4 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

9
README.md
View file

@ -105,17 +105,16 @@ Z3 has bindings for various programming languages.
### ``.NET``
These bindings are enabled by default on Windows and are enabled on other
platforms if [mono](http://www.mono-project.com/) is detected. On these
Use the ``--dotnet`` command line flag with ``mk_make.py`` to enable building these.
On non-windows platforms [mono](http://www.mono-project.com/) is required. On these
platforms the location of the C# compiler and gac utility need to be known. You
can set these as follows if they aren't detected automatically. For example:
```bash
CSC=/usr/bin/csc GACUTIL=/usr/bin/gacutil python scripts/mk_make.py
CSC=/usr/bin/csc GACUTIL=/usr/bin/gacutil python scripts/mk_make.py --dotnet
```
To disable building these bindings pass ``--nodotnet`` to ``mk_make.py``.
Note for very old versions of Mono (e.g. ``2.10``) you may need to set ``CSC``
to ``/usr/bin/dmcs``.