This is an automated email from the ASF dual-hosted git repository.
markt pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/tomcat.git
The following commit(s) were added to refs/heads/master by this push:
new 368f8c4 Reproducible builds: Make Graal processed JARs reproducible
368f8c4 is described below
commit 368f8c4958c209f6f5b1f1394a047ed711ed843a
Author: Mark Thomas <[email protected]>
AuthorDate: Thu Mar 18 12:52:19 2021 +0000
Reproducible builds: Make Graal processed JARs reproducible
---
build.xml | 12 ++++++++++--
1 file changed, 10 insertions(+), 2 deletions(-)
diff --git a/build.xml b/build.xml
index aa727ae..0ce088b 100644
--- a/build.xml
+++ b/build.xml
@@ -80,6 +80,7 @@
<property name="tomcat.dist" value="${tomcat.output}/dist"/>
<property name="tomcat.embed" value="${tomcat.output}/embed"/>
<property name="tomcat.embed.sources"
value="${tomcat.output}/embed-src-jars"/>
+ <property name="tomcat.graal" value="${tomcat.output}/graal"/>
<property name="tomcat.i18n" value="${tomcat.output}/i18n"/>
<property name="tomcat.manifests" value="${tomcat.output}/manifests"/>
<property name="tomcat.release" value="${tomcat.output}/release"/>
@@ -3757,8 +3758,15 @@ Read the Building page on the Apache Tomcat
documentation site for details on ho
<target name="add-graal" if="${addGraal}">
<echo message="add-graal ${addGraal} ${jarfile} ${graalFiles}
${graalPrefix}"></echo>
- <zip destfile="${jarfile}" update="true">
- <zipfileset dir="${basedir}/${graalFiles}"
prefix="META-INF/native-image/${graalPrefix}" includes="*.*"/>
+ <!-- Reproducible builds: consistent timestamps for graal files -->
+ <copy todir="${tomcat.graal}/${graalPrefix}">
+ <fileset dir="${basedir}/${graalFiles}" />
+ </copy>
+ <touch datetime="${tstamp.file}" pattern="MM/dd/yyyy hh:mm:ss aa">
+ <fileset dir="${tomcat.graal}/${graalPrefix}"/>
+ </touch>
+ <zip destfile="${jarfile}" update="true" filesonly="true">
+ <zipfileset dir="${tomcat.graal}/${graalPrefix}"
prefix="META-INF/native-image/${graalPrefix}" includes="*.*"/>
</zip>
</target>
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
