[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#876500: marked as done (menhir: FTBFS on armel)

Your message dated Thu, 12 Oct 2017 23:19:40 +0200
with message-id <20171012211912.kmv2xy3jg6fxwfnh@seneca.home.org>
and subject line Re: Bug#876500: menhir: FTBFS on armel
has caused the Debian Bug report #876500,
regarding menhir: FTBFS on armel
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
876500: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=876500
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: menhir
Version: 20170712-1
Severity: serious
Justification: fails to build from source (but built successfully in the past)

The last menhir binNMU failed on armel:

https://buildd.debian.org/status/fetch.php?pkg=menhir&arch=armel&ver=20170712-1%2Bb1&stamp=1505814442&raw=0

[...]
cp -p fancyDriver.ml Driver.ml
/usr/bin/ocamldep.opt -modules Driver.ml > Driver.ml.depends
/usr/bin/ocamldep.opt -modules Driver.mli > Driver.mli.depends
cp -p fancy-parser.mly parser.mly
../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' parser.mly > parser.mly.depends
/usr/bin/ocamldep.opt -modules error.mli > error.mli.depends
/usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli
../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly
+ ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly
Grammar has 34 nonterminal symbols, among which 1 start symbols.
Grammar has 30 terminal symbols.
Grammar has 83 productions.
Built an LR(0) automaton with 125 states.
The grammar is not SLR(1) -- 1 states have a conflict.
Built an LR(1) automaton with 189 states.
One shift/reduce conflict was silently solved.
File "parser.mly", line 70, characters 0-7:
Error: symbol grammar is never accepted.
File "parser.mly", line 70, characters 8-67:
Error: production grammar -> list(declaration) PERCENTPERCENT list(rule) postlude is never reduced.
File "parser.mly", line 369, characters 9-15:
Error: production postlude -> EOF is never reduced.
File "parser.mly", line 372, characters 1-20:
Error: production postlude -> PERCENTPERCENT is never reduced.
Error: in total, 4 productions are never reduced.
99 out of 189 states have a default reduction.
57 out of 189 states are represented.
25 out of 67 symbols keep track of their start position.
33 out of 67 symbols keep track of their end position.
Fatal error: exception File "tableBackend.ml", line 509, characters 12-18: Assertion failed
Command exited with code 2.
Makefile:71: recipe for target 'stage2' failed
make[4]: *** [stage2] Error 10


Andreas

--- End Message ---
--- Begin Message --- 
On Fri, Sep 22, 2017 at 09:52:24PM +0200, Andreas Beckmann wrote:

> The last menhir binNMU failed on armel:
> 
> https://buildd.debian.org/status/fetch.php?pkg=menhir&arch=armel&ver=20170712-1%2Bb1&stamp=1505814442&raw=0

This was in fact due to a bug of ocaml on armel which has been fixed
with the upload of ocaml 4.05.0-10.

-Ralf.

--- End Message ---
Reply to: