update documentation for building MathSAT5 with latest version number.
@@ -143,12 +143,12 @@ and `$MATHSAT_VERSION` is the version number of MathSAT (all-in-one, runtime: le
Concrete example (`$WD` is a working directory where all dependencies are located):
```
ant publish-mathsat \
- -Dmathsat.path=$WD/mathsat-5.6.4-linux-x86_64-reentrant \
+ -Dmathsat.path=$WD/mathsat-5.6.7-linux-x86_64-reentrant \
-Dgmp.path=$WD/gmp-6.1.2 \
- -Dmathsat-windows.path=$WD/mathsat-5.6.4-win64-msvc \
+ -Dmathsat-windows.path=$WD/mathsat-5.6.7-win64-msvc \
-Dmpir-windows.path=$WD/mpir-2.7.2-win \
-Djdk-windows.path=$WD/jdk-11 \
- -Dmathsat.version=5.6.4-debug
+ -Dmathsat.version=5.6.7
```
Finally follow the instructions shown in the message at the end.
