mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

fixed typos

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-10-11 21:47:46 -07:00
parent 44a98920d1
commit ad107bfc42
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
configure.in
View file

@ -150,9 +150,10 @@ Z3 was configured with success.
Host platform: $PLATFORM Host platform: $PLATFORM
Arithmetic: $ARITH Arithmetic: $ARITH
Python Support: $HAS_PYTHON_MSG Python Support: $HAS_PYTHON_MSG
Pyyhon: $PYTHON Python: $PYTHON
Prefix: $prefix
Type 'make' to compile Z3. Type 'make' to compile Z3.
Type 'sudo make install' to install Z3. Type 'sudo make install' to install Z3.
Type 'sudo make install-python' to install Z3 Python bindings. Type 'sudo make install-z3py' to install Z3 Python (Z3Py) bindings.
EOF EOF