devel/menhir: Update to 20170712
ClosedPublic
Actions

Authored by ultima on Jul 27 2017, 9:31 PM.

Details

Reviewers

lifanov
matthew

Commits

rP446987: * Updated to 20170712

Summary

Updated to 20170712

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

PR\: 220850
Sumitted by\: Jov <amutu@amutu.com> (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

Diff Detail

Repository

rP FreeBSD ports repository

Lint

No Lint Coverage

Unit

No Test Coverage

Build Status

Buildable 10705
Build 11105: arc lint + arc unit

Event Timeline

ultima created this revision.Jul 27 2017, 9:31 PM

Harbormaster completed remote builds in B10705: Diff 31274.Jul 27 2017, 9:31 PM

Herald added a subscriber: mat. · View Herald TranscriptJul 27 2017, 9:31 PM

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

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?

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?