unify error messages for publishing Z3.
@@ -21,9 +21,12 @@ SPDX-License-Identifier: Apache-2.0
description="Copy Z3 binaries to the root folder along with the version postfix.
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.
+ Please specify the path to Z3 with the flag -Dz3.path=/path/to/z3 (e.g. `bin` directory).
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 all releases (Linux64, MacOS, and Windows64) together in the same root directory,
+ e.g., copy the releases (especially the content of their `bin` directories) together into one directory.
+ The only overlap between those releases is the JAR file, which should be equal anyway.
</fail>
<exec executable="readelf" dir="${z3.path}" outputproperty="z3.elf_details" logError="true" failonerror="true">
<arg value="-d"/>
