update Z3 documentation in publish script..
@@ -19,13 +19,10 @@ SPDX-License-Identifier: Apache-2.0
-->
<target name="package-z3" depends="get-z3-version"
description="Copy Z3 binaries to the root folder along with the version postfix.
- This package provides the JNI for direct usage.
- Please copy both Linux64 and Windows64 release into the same root directory.
- The only overlap between those releases is the JAR file, which should be equal anyway.
- ">
+ This package provides the JNI for direct usage.">
<fail unless="z3.path">
Please specify the path to Z3 with the flag -Dz3.path=/path/to/z3.
- The path has to point to the root Z3 folder.
+ The path has to point to the root Z3 folder and can be relative or absolute.
Note that shell substitutions do not work.
</fail>
<exec executable="readelf" dir="${z3.path}" outputproperty="z3.elf_details" logError="true" failonerror="true">
@@ -52,8 +49,11 @@ SPDX-License-Identifier: Apache-2.0
<target name="get-z3-version" unless="z3.version">
<fail unless="z3.path">
Please specify the path to Z3 with the flag -Dz3.path=/path/to/z3.
- The path has to point to the root Z3 folder.
+ The path has to point to the root Z3 folder and can be relative or absolute.
Note that shell substitutions do not work.
+ Please provide both Linux64 and Windows64 release in the same root directory,
+ e.g., copy the releases together into one directory.
+ The only overlap between those releases is the JAR file, which should be equal anyway.
</fail>
<exec executable="git" dir="${z3.path}" outputproperty="z3.version">
<arg value="describe" />
