This is an automated email from the ASF dual-hosted git repository. michaelo pushed a commit to branch main in repository https://gitbox.apache.org/repos/asf/tomcat-native.git
commit 4478b720db92369f08151b7976f30dabc969d2ce Author: Michael Osipov <micha...@apache.org> AuthorDate: Thu Oct 12 16:42:16 2023 +0200 Add Ant version (1.10.2) requirement identical to Tomcat --- build.properties.default | 3 +++ build.xml | 7 +++++++ xdocs/miscellaneous/changelog.xml | 3 +++ 3 files changed, 13 insertions(+) diff --git a/build.properties.default b/build.properties.default index f97fc6e24..dda9e6380 100644 --- a/build.properties.default +++ b/build.properties.default @@ -30,6 +30,9 @@ base.path=/usr/share/java #base.path=C:/path/to/the/repository #base.path=/usr/local +# ----- Build tools ----- +ant.version.required=1.10.2 + # ----- Build control flags ----- compile.debug=true # Do not pass -deprecation (-Xlint:deprecation) flag to javac diff --git a/build.xml b/build.xml index 3be0ed0ca..f8d6b767b 100644 --- a/build.xml +++ b/build.xml @@ -26,6 +26,13 @@ <property file="build.properties" /> <property file="build.properties.default"/> + <!-- Check Ant Version --> + <fail message="Ant version ${ant.version.required} or newer is required (${ant.version} is installed)"> + <condition> + <not><antversion atleast="${ant.version.required}" /></not> + </condition> + </fail> + <!-- Initialization properties --> <property name="project" value="tomcat-native" /> <property name="name" value="Tomcat Native" /> diff --git a/xdocs/miscellaneous/changelog.xml b/xdocs/miscellaneous/changelog.xml index 2dc11b1a9..e37f73976 100644 --- a/xdocs/miscellaneous/changelog.xml +++ b/xdocs/miscellaneous/changelog.xml @@ -49,6 +49,9 @@ <update> Align Java source compile configuration with Tomcat. (michaelo) </update> + <add> + Add Ant version (1.10.2) requirement identical to Tomcat. (michaelo) + </add> </changelog> </section> <section name="Changes in 2.0.6"> --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org