[notes] 01/01: packages += polygen

[Daniel Shahaf]

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

danielsh-guest pushed a commit to branch master
in repository notes.

commit 6fff6c707c1c57c84f9cbfa3c5b2a43903b497bb
Author: Daniel Shahaf <danielsh at apache.org>
Date:   Tue Nov 1 04:14:57 2016 +0000

    packages += polygen
---
 packages.yml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/packages.yml b/packages.yml
index 4354bc1..402f3b4 100644
--- a/packages.yml
+++ b/packages.yml
@@ -21390,6 +21390,20 @@ polybori:
   issues:
     - timestamps_from_tex4ht
     - records_build_flags
+polygen:
+  version: 1.0.6.ds2-15
+  comments: |
+    [armhf,i386] FTBFS on 32-bit archs.  Analysis:
+    .
+    ./src/polygen -seed 1477837980 debian/man.grm > polygen.1
+    ./src/polygen: wrong argument '1477837980'; option '-seed' expects an integer.
+    .
+    The argument of the «-seed» option is an ocaml int, whose range (says The Internet) is (-2³⁰…2³⁰-1), as
+    opposed to (-2³¹…2³¹-1) with most languages' 32-bit types.
+    .
+    Since 2³⁰ < 1477837980 < 2³¹, the value 1477837980 is not representable as an ocaml int32.
+    .
+    Solution: hardcode the seed to zero?  It's only used for generating the man page.
 polyglot-maven:
   version: 0.8~tobrien+git20120905-6
   bugs:

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/reproducible/notes.git