coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Trouble building 8.8.0

From: "Perry E. Metzger" <perry AT piermont.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Trouble building 8.8.0
Date: Tue, 17 Apr 2018 11:41:49 -0400
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=perry AT piermont.com; spf=Pass smtp.mailfrom=perry AT piermont.com; spf=None smtp.helo=postmaster AT hacklheber.piermont.com
Ironport-phdr: 9a23:bAk0chQ/VgLLvMAQpBLyK035VNpsv+yvbD5Q0YIujvd0So/mwa68bRWN2/xhgRfzUJnB7Loc0qyK6/umATRIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfb1/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlSgHLSY0/m/XhMJukaxVox2uqABwzYPPfIGYNuBzcr/Bcd8GW2ZMWNtaWSxbAoO7aosCF+QNM/xGoInnvVsPrQa1Cwa2COjyzTFHmGP23Kw10+s/CwHK0hErEtUWsHvKttX1LqcTXPutzKnJ0zrDdfZW2TD76IjUaBwuvfaMXbdpfMfX1EIhFBvFg02NpYHkPj6ZzOcAvmeB4+diT+6jlmEqpgdsqTa13MgskJPGhocNx1DE6yp5xIE1KMW4SEFhfdGkE59QtyGEOIRtXMwiWXtkuD47yrIYo567eS8KyJI7xxLFd/OHdI2I7griVOaXPzh4mGpodK++ihuz60StyeLxWtO23VpQsyZIncHAtnUX2BzS7siHROF9/kCk2TuXzwDc9PtEIVo0lKfAM54hw6A/loAWsUTEGC/2hF/6g7ORdkUh4uSo8fjoYq36pp+AMI95kh3xMqM3msCmHes4NhUOUHOA9OSn1Lzj+FX5T69Qgv03lKnZqpHaKt4Bqq63GQ8Gmrokvh24FnKt1MkStXgBNlNMPhyd3KbzPFSbasj1F+2uy3nq2BJm2+LJM6erSsHVI2LZgZ/5fLtn7kla1Ew4ytUJtMEcMa0IPP+mAhy5j9ffFBJsa1XlkdaiM81008YlYUzKB6aYNK3ItlrRurA3IuSWYYgTpHD2LP13vqey3098okcUeOyS5bVScGqxR6g0O0SUe3/rhMtHGmAP7FJnEb7azWaaWDsWXE6cGqIx4jZhVdCmBIzAQoCgirGbmj+6E4dTYWZaTFuLFCWweg==

Howdy! I'm updating the MacPorts Coq port to 8.8.0, but I got the
following odd error message during the build...

...
OCAMLOPT plugins/ltac/coretactics.ml
ocamlfind: Package `camlp5.gramlib' not found
....

after which the build dies. If someone could tell me what's likely to
be wrong, it would be appreciated, then I can update the
MacPorts package.

Perry
--
Perry E. Metzger
perry AT piermont.com

[Coq-Club] Trouble building 8.8.0, Perry E. Metzger, 04/17/2018
- Re: [Coq-Club] Trouble building 8.8.0, Théo Zimmermann, 04/17/2018
  - Re: [Coq-Club] Trouble building 8.8.0, Perry E. Metzger, 04/17/2018
    - Re: [Coq-Club] Trouble building 8.8.0, Théo Zimmermann, 04/17/2018