This is the error message, which is pretty explicit about not supporting 32 bits: + ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --st rict --fixed-exception --canonical --infer parser.mly --list-errors > parser.mly .auto.messages Grammar has 32 nonterminal symbols, among which 1 start symbols. Grammar has 27 terminal symbols. Grammar has 77 productions. Built an LR(0) automaton with 113 states. The grammar is not SLR(1) -- 1 states have a conflict. Built an LR(1) automaton with 159 states. One shift/reduce conflict was silently solved. out of 159 states are represented. out of 62 symbols keep track of their start position. out of 62 symbols keep track of their end position. 86 out of 159 states have a default reduction. Error: --list-errors requires a 64-bit machine. You are using a 32-bit machine. Command exited with code 1. Makefile:73: recipe for target 'stage2' failed make[1]: *** [stage2] Error 10 make[1]: Leaving directory '/var/tmp/portage/dev-ml/menhir-20151023/work/menhir- 20151023/src' Makefile:78: recipe for target 'all' failed make: *** [all] Error 2
Actually found this post on the mailing list. Looks like upstream pushed a fix in 20151026. http://yquem.inria.fr/pipermail/menhir-list/2015-October/000123.html
commit 909ec352dc0780ce6b2afaf02c484f3b94a32d50 Author: Alexis Ballier <aballier@gentoo.org> Date: Fri Oct 30 11:36:38 2015 +0100 dev-ml/menhir: bump to 20151026. Fixes bug #564310 thanks!
