urosm
/
ikiwiki
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

polygen: if deterministic build is requested, use a well-known random seed

master
Simon McVittie 2015-06-09 11:40:14 +01:00
parent 361076e55d
commit 014b9eb1b7
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
IkiWiki/Plugin/polygen.pm
View File

@ -28,6 +28,7 @@ sub preprocess (@) {
my %params=@_;
my $grammar = ($params{grammar} or 'polygen');
my $symbol = ($params{symbol} or undef);
my $options = ($config{deterministic} ? '-seed 42' : '');
# Sanitize parameters
$grammar =~ IkiWiki::basename($grammar);
@ -51,10 +52,10 @@ sub preprocess (@) {
my $res;
if (defined $symbol) {
$res = `polygen -S $symbol $grmfile 2>/dev/null`;
$res = `polygen -S $symbol $options $grmfile 2>/dev/null`;
}
else {
$res = `polygen $grmfile 2>/dev/null`;
$res = `polygen $options $grmfile 2>/dev/null`;
}
if ($?) {

2
debian/changelog vendored
View File

@ -35,7 +35,7 @@ ikiwiki (3.20150330) UNRELEASED; urgency=medium
if the link text is identical
* Add a $config{deterministic} option and use it for the docwiki
* haiku: if deterministic build is requested, return a hard-coded haiku
* If deterministic build is requested, return a hard-coded haiku
* polygen: if deterministic build is requested, use a well-known random seed
-- Joey Hess <id@joeyh.name> Tue, 28 Apr 2015 12:24:08 -0400