Port details |
- menhir LR(1) parser generator for OCaml
- 20231231 devel =2 20231231Version of this port present on the latest quarterly branch.
- There is no maintainer for this port.
- Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
- Port Added: 2007-03-06 19:18:04
- Last Update: 2024-05-22 17:16:28
- Commit Hash: bb2bea6
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- License: GPLv2
- WWW:
- http://cristal.inria.fr/~fpottier/menhir
- Description:
- Menhir is a LR(1) parser generator for the OCaml programming language.
It is 90% compatible to ocamlyacc (included with the OCaml distribution),
and it has some advantages over ocamlyacc, such as limited EBNF support,
LR(1) generation instead of LALR(1), better conflict explanation and
production of reentrant parsers (amongst others).
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/devel/menhir/ && make install clean
- To add the package, run one of these commands:
- pkg install devel/menhir
- pkg install menhir
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: menhir
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1710615133
SHA256 (menhir-20231231.tar.bz2) = fb76a37b84e28acd3ecf58efea3abc8c7a9a70987a44915837e81093a7853d3a
SIZE (menhir-20231231.tar.bz2) = 1245465
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- ocamlc : lang/ocaml
- ocaml-dune>=3.7.1_2 : devel/ocaml-dune
- Runtime dependencies:
-
- ocamlc : lang/ocaml
- Patch dependencies:
-
- ocamlc : lang/ocaml
-
- This port is required by:
- for Build
-
- devel/aifad
- devel/coccinelle
- devel/ocaml-dolmen
- devel/ocaml-psmt2-frontend
- math/abella
- math/alt-ergo
-
Deleted ports which required this port:
- for Run
-
- devel/ocaml-dolmen
Configuration Options:
- ===> The following configuration options are available for menhir-20231231:
DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings
- Options name:
- devel_menhir
- USES:
- ocaml:dune
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
20231231 22 May 2024 17:16:28 |
Guido Falsi (madpilot) Author: Benjamin Jacobs |
ocaml: Updates to ocaml compiler and several ocaml ports
- Update devel/ocaml to 4.14.2 [1]
- Specify runtime dependency on GNU AS as full path, this fixes
build on armv6 - armv7 [1] [2]
- converters/ocaml-base64: Update to 3.5.1, add LICENSE, other
improvements
- converters/ocaml-jsonm: Strip shared objects [3]
- databases/ocaml-dbm: Update to 1.3, move to gitlub, other
improvements
- devel/menhir: Update to 20231231
- devel/ocaml-base: Unbreak non-x86 [2]
- devel/ocaml-camlp-streams: Silence patch and strip commands
- devel/ocaml-ipaddr: Update to 5.5.0
- devel/ocaml-lwt: Update to 5.7.0 [4] (Only the first 15 lines of the commit message are shown above ) |
20170712_2 23 Feb 2024 13:55:17 |
Muhammad Moinur Rahman (bofh) |
devel/menhir: Moved man to share/man
Approved by: portmgr (blanket) |
20170712_1 05 Jul 2023 09:55:16 |
Guido Falsi (madpilot) |
lang/ocaml: Update to 4.08.1
This update allows (and for some requires) to also update dependencies
to newer versions. Where possible I updated to the latest version.
The ocaml port now is MAKE_JOBS safe.
Changes to dependent ports included in this commit:
- devel/ocaml-sexplib: Rename to devel/ocaml-sexplib0 adapting to
upstream. Update to 0.16.0
- devel/coccinelle: Update to 1.1.1, moved to github
- devel/ocaml-camlp4: Update to 4.08+1
- devel/ocaml-camomile: Use dune for build, adapt port
- devel/ocaml-cppo: Fix lib files installation [1] (Only the first 15 lines of the commit message are shown above ) |
07 Sep 2022 21:58:51 |
Stefan Eßer (se) |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
20170712 07 Sep 2022 21:10:59 |
Stefan Eßer (se) |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above ) |
20170712 20 Jul 2022 14:21:35 |
Tobias C. Berner (tcberner) |
devel: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* "Waitman Gobble" <uzimac@da3m0n8t3r.com>
* <jkoshy@FreeBSD.org>
* Aaron Dalton <aaron@FreeBSD.org>
* Aaron Dalton <aaron@daltons.ca>
* Aaron H. K. Diep <ahkdiep@gmail.com>
* Aaron Hurt <ahurt@anbcs.com>
* Abel Chow <abel_chow@yahoo.com>
* Adam McLaurin
* Adam Saponara <as@php.net>
* Adam Weinberger <adamw@FreeBSD.org>
* Ade Lovett <ade@FreeBSD.org> (Only the first 15 lines of the commit message are shown above ) |
20170712 06 Apr 2021 14:31:07 |
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
20170712 24 Jun 2019 10:14:57 |
danfe |
Update OCaml to version 4.05.0 (this is the last version where strings
are unsafe by default, which is the main motivation why it was picked,
but not the very latest one) and synchronize the rest of the stack and
dependent ports with it, particularly:
- Update `devel/ocaml-ocamlbuild' to version 0.14.0 and unbreak,
register build dependency on all ports that require it (should
be part of USE_OCAML, but we do not want to make any Mk-related
changes the for time being)
- Update `devel/ocaml-camlp4' to version 4.05+2
- Update `devel/ocaml-camlp5' to version 7.07 (the project had
moved to GitHub)
- Mark `devel/ocaml-deriving-ocsigen' as BROKEN for now, it is
very outdated and requires quite a lot of work
- Update `x11-toolkits/ocaml-labltk' to version 8.06.3
PR: 218333
Exp-run by: antoine |
20170712 22 Jun 2018 08:04:39 |
yuri |
Reset MAINTAINER on ports maintained by amutu@amutu.com
Based on the new policy of all maintained ports reset
when maintaner is absent for 3 months.
Bug#226400 for science/py-tensorflow is ignored since 2018-03-06 (3+ months).
portscout database indicates that 48.94% of his ports aren't updated. |
20170712 31 Jul 2017 16:43:44 |
ultima |
* Updated to 20170712
Changelog: https://gitlab.inria.fr/fpottier/menhir/blob/master/CHANGES.md
PR: 220850
Submitted by: Jov <amutu@amutu.com> (maintainer)
Reviewed by: matthew (mentor)
Approved by: matthew (mentor)
Differential Revision: https://reviews.freebsd.org/D11756 |
20170607 16 Jul 2017 17:27:00 |
ultima |
* Updated to 20170607
* New maintainer Jov <amutu@amutu.com>
* Added license, GPLv2
* Moved USES, USES should start section followed by USE_x(13.1.6)[1]
* Moved plist items from Makefile to pkg-plist
Changelog: https://gitlab.inria.fr/fpottier/menhir/blob/master/CHANGES.md
[1]
https://www.freebsd.org/doc/en/books/porters-handbook/porting-samplem.html#porting-samplem-order
PR: 220535
Submitted by: Jov <amutu@amutu.com> (maintainer)
Reviewed by: lifanov (mentor)
Approved by: lifanov (mentor)
Differential Revision: https://reviews.freebsd.org/D11595 |
20160303 15 Mar 2016 15:06:29 |
mat |
Update to 20160303.
PR: 207985
Submitted by: tkato432 yahoo com
Sponsored by: Absolight |
20151112_1 06 Feb 2016 01:22:50 |
amdmi3 |
- Fix shebangs |
20151112 17 Jan 2016 08:24:25 |
miwi |
- Update to 20151112
PR: 205201
Submitted by: ports fury |
20140422 20 Dec 2014 18:06:22 |
bapt |
Cleanup plist |
20140422 30 Jul 2014 22:14:03 |
marino |
devel/menhir: Upgrade version 20080912 => 20140422 and stage
PR: 191816
Submitted by: Ports Fury |
20080912 04 Jul 2014 12:06:07 |
bapt |
Resetting maintainership on ports that have not been staged and without any
pending PR (related to stage)
With hat: portmgr |
20080912 29 Sep 2013 22:03:42 |
antoine |
Mark as jobs unsafe
gmake[2]: Entering directory
`/wrkdirs/usr/ports/devel/menhir/work/menhir-20080912/src'
Grammar has 30 nonterminal symbols, among which 1 start symbols.
Grammar has 26 terminal symbols.
Fatal error: exception Sys_error("parser.ml: No such file or directory")
Grammar has 82 productions.
Built an LR(0) automaton with 113 states.
Built an LR(1) automaton with 113 states.
5 shift/reduce conflicts were silently solved.
30 out of 113 states are represented.
26 out of 59 symbols keep track of their start position.
21 out of 59 symbols keep track of their end position.
47 out of 113 states have a default reduction.
34 out of 83 productions exploit shiftreduce optimization.
15 out of 113 states can peek at an error.
13 out of 113 states can do error recovery.
The generated parser cannot raise Error.
411 functions before inlining, 103 functions after inlining.
gmake[2]: *** No rule to make target `parser.ml', needed by `parser.cmx'. Stop. |
20080912 20 Sep 2013 17:13:47 |
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 3) |
20080912 03 Jul 2011 14:59:23 |
ohauer |
-remove MD5 |
20080912 25 Feb 2009 16:58:25 |
garga |
- Update to 20080912
PR: ports/132061
Submitted by: maintainer |
20071212 02 Jun 2008 06:19:11 |
jadawin |
- Update to 20071212
PR: ports/123071
Submitted by: Jaap Boender <jaapb kerguelen.org> (maintainer)
Approved by: maintainer timeout, thierry (mentor) |
20070215_1 06 Apr 2008 22:51:21 |
pav |
- Attempt to unbreak INDEX, bsd.ocaml.mk moved to Mk/
Pointy hat to: stas |
20070215_1 19 May 2007 20:32:57 |
flz |
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}. |
20070215 11 Mar 2007 22:18:44 |
miwi |
- Add manpage to Makefile
Submitted by: pointyhat via Kris "Ports Janitor" :) |
20070215 06 Mar 2007 19:17:44 |
miwi |
Menhir is a LR(1) parser generator for the OCaml programming language.
It is 90% compatible to ocamlyacc (included with the OCaml distribution), and
it has some advantages over ocamlyacc, such as limited EBNF support, LR(1)
generation instead of LALR(1), better conflict explanation and production of
reentrant parsers (amongst others).
WWW: http://cristal.inria.fr/~fpottier/menhir
PR: ports/109910
Submitted by: Jaap Boender <jaapb at kerguelen.org> |