[openjfx] 02/03: Set the locale to 'en' when generating the javadoc

Emmanuel Bourg ebourg-guest at moszumanska.debian.org
Thu Jul 23 14:17:02 UTC 2015


This is an automated email from the git hooks/post-receive script.

ebourg-guest pushed a commit to branch master
in repository openjfx.

commit dd0b20408b7e74c2fb3e83a2267599020e13d19c
Author: Emmanuel Bourg <ebourg at apache.org>
Date:   Thu Jul 23 15:38:38 2015 +0200

    Set the locale to 'en' when generating the javadoc
---
 debian/changelog                       |  2 ++
 debian/patches/10-javadoc-locale.patch | 21 +++++++++++++++++++++
 debian/patches/series                  |  1 +
 3 files changed, 24 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 553e2d4..df7100f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,8 @@
 openjfx (8u40-b25-3) UNRELEASED; urgency=medium
 
   * Fixed a build failure with antlr 3.5.2
+  * Set the locale to 'en' when generating the javadoc to improve
+    the build reproducibility
 
  -- Emmanuel Bourg <ebourg at apache.org>  Thu, 23 Jul 2015 15:14:41 +0200
 
diff --git a/debian/patches/10-javadoc-locale.patch b/debian/patches/10-javadoc-locale.patch
new file mode 100644
index 0000000..ecd98d6
--- /dev/null
+++ b/debian/patches/10-javadoc-locale.patch
@@ -0,0 +1,21 @@
+Description: Set the locale of the javadoc to make the build reproducible
+Author: Emmanuel Bourg <ebourg at apache.org>
+Forwarded: no
+--- a/build.gradle
++++ b/build.gradle
+@@ -1210,6 +1210,7 @@
+         } else {
+             options.links(JDK_DOCS);
+         }
++        options.locale("en");
+         options.addBooleanOption("XDignore.symbol.file").setValue(true);
+         options.addBooleanOption("Xdoclint:none").setValue(!IS_DOC_LINT);
+         options.addBooleanOption("javafx").setValue(true);
+@@ -2753,6 +2754,7 @@
+     options.windowTitle("${javadocTitle}")
+     options.header("${javadocHeader}")
+     options.bottom("${javadocBottom}")
++    options.locale("en");
+     if (BUILD_CLOSED) {
+         options.linksOffline(JDK_DOCS, JDK_DOCS_CLOSED);
+     } else {
diff --git a/debian/patches/series b/debian/patches/series
index 1e2cca9..04828de 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -6,3 +6,4 @@
 07-disable-assembler-on-unsupported-archs.patch
 08-disable-sse2.patch
 09-fix-conflicting-uchar32-typedef.patch
+10-javadoc-locale.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/openjfx.git



More information about the pkg-java-commits mailing list