]> git.vanrenterghem.biz Git - git.ikiwiki.info.git/blobdiff - IkiWiki/Plugin/polygen.pm
Rebuild for jessie-backports, no source changes (Closes: #807452)
[git.ikiwiki.info.git] / IkiWiki / Plugin / polygen.pm
index bc21d71c725f892d3432dfa5ac22feb1241cfd97..8ce62b754fa6161c51d94b30e4957c6d9b1d38c9 100644 (file)
@@ -20,6 +20,7 @@ sub getsetup () {
                plugin => {
                        safe => 1,
                        rebuild => undef,
+                       section => "widget",
                },
 }
 
@@ -27,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);
@@ -50,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 ($?) {