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
