devel/menhir: Update to 20170712

[ultima]

Summary

• Updated to 20170712

Changelog: https://gitlab.inria.fr/fpottier/menhir/blob/master/CHANGES.md

PR\: 220850
Sumitted by\: Jov <[e-mail]> (maintainer)
Reviewed by\: lifanov (mentor), matthew (mentor)
Approved by\: lifanov (mentor), matthew (mentor)
Differential Revision\: https://reviews.freebsd.org/DXXXXX

Test Plan

portlint:
WARN: Makefile: [35]: use ${VARIABLE}, instead of $(VARIABLE).
WARN: Makefile: for new port, make $FreeBSD$ tag in comment section empty, to make SVN happy.
0 fatal errors and 2 warnings found.

poudriere:
103i386
103amd64
110i386
110amd64
12i386
12amd64

[matthew]

Sorry about not responding to this promptly. I'm getting a build error with one of the dependencies: x11-toolkits/ocaml-labltk

[ultima]

In D11756#244237, @matthew wrote:

Sorry about not responding to this promptly. I'm getting a build error with one of the dependencies: x11-toolkits/ocaml-labltk

Odd, I just did a full depend build for 110amd64 and all the depends built successfully. https://poudriere.ultimasbox.com/build.html?mastername=110amd64-test&build=2017-07-30_11h02m59s

Is it possible from a non-default setting or make.conf change?

[matthew]

In D11756#244317, @ultima wrote:

In D11756#244237, @matthew wrote:

Sorry about not responding to this promptly. I'm getting a build error with one of the dependencies: x11-toolkits/ocaml-labltk

Odd, I just did a full depend build for 110amd64 and all the depends built successfully. https://poudriere.ultimasbox.com/build.html?mastername=110amd64-test&build=2017-07-30_11h02m59s

Is it possible from a non-default setting or make.conf change?

That's almost certainly the case. Let me try again without any customizations.

[matthew]

That worked.