notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
2024-11-06 Today brought in a new category: filesystems. Sadly, the website did not process it well. I am working on that. It may take a few days.
2024-11-07 Commit processing is halted. I have a fix for the new category. It is making its way through the system.
UPDATE: the backend is processing the original filesystems commit now. It should take about an hour.
UPDATE: as of 20:30 UTC, the filesystems commit has been processed. Commit processing is now up to date.
Port details
menhir LR(1) parser generator for OCaml
20231231 devel on this many watch lists=2 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 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 search for ports maintained by this maintainer
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).
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (56 items)
Collapse this list.
  1. /usr/local/share/licenses/menhir-20231231/catalog.mk
  2. /usr/local/share/licenses/menhir-20231231/LICENSE
  3. /usr/local/share/licenses/menhir-20231231/GPLv2
  4. bin/menhir
  5. share/man/man1/menhir.1.gz
  6. lib/ocaml/site-lib/menhir/META
  7. lib/ocaml/site-lib/menhir/dune-package
  8. lib/ocaml/site-lib/menhirLib/META
  9. lib/ocaml/site-lib/menhirLib/dune-package
  10. lib/ocaml/site-lib/menhirLib/menhirLib.a
  11. lib/ocaml/site-lib/menhirLib/menhirLib.cma
  12. lib/ocaml/site-lib/menhirLib/menhirLib.cmi
  13. lib/ocaml/site-lib/menhirLib/menhirLib.cmt
  14. lib/ocaml/site-lib/menhirLib/menhirLib.cmti
  15. lib/ocaml/site-lib/menhirLib/menhirLib.cmx
  16. lib/ocaml/site-lib/menhirLib/menhirLib.cmxa
  17. lib/ocaml/site-lib/menhirLib/menhirLib.cmxs
  18. lib/ocaml/site-lib/menhirLib/menhirLib.ml
  19. lib/ocaml/site-lib/menhirLib/menhirLib.mli
  20. lib/ocaml/site-lib/menhirSdk/META
  21. lib/ocaml/site-lib/menhirSdk/cmly_api.ml
  22. lib/ocaml/site-lib/menhirSdk/cmly_format.ml
  23. lib/ocaml/site-lib/menhirSdk/cmly_read.ml
  24. lib/ocaml/site-lib/menhirSdk/cmly_read.mli
  25. lib/ocaml/site-lib/menhirSdk/dune-package
  26. lib/ocaml/site-lib/menhirSdk/keyword.ml
  27. lib/ocaml/site-lib/menhirSdk/keyword.mli
  28. lib/ocaml/site-lib/menhirSdk/menhirSdk.a
  29. lib/ocaml/site-lib/menhirSdk/menhirSdk.cma
  30. lib/ocaml/site-lib/menhirSdk/menhirSdk.cmi
  31. lib/ocaml/site-lib/menhirSdk/menhirSdk.cmt
  32. lib/ocaml/site-lib/menhirSdk/menhirSdk.cmx
  33. lib/ocaml/site-lib/menhirSdk/menhirSdk.cmxa
  34. lib/ocaml/site-lib/menhirSdk/menhirSdk.cmxs
  35. lib/ocaml/site-lib/menhirSdk/menhirSdk.ml
  36. lib/ocaml/site-lib/menhirSdk/menhirSdk__Cmly_api.cmi
  37. lib/ocaml/site-lib/menhirSdk/menhirSdk__Cmly_api.cmt
  38. lib/ocaml/site-lib/menhirSdk/menhirSdk__Cmly_api.cmx
  39. lib/ocaml/site-lib/menhirSdk/menhirSdk__Cmly_format.cmi
  40. lib/ocaml/site-lib/menhirSdk/menhirSdk__Cmly_format.cmt
  41. lib/ocaml/site-lib/menhirSdk/menhirSdk__Cmly_format.cmx
  42. lib/ocaml/site-lib/menhirSdk/menhirSdk__Cmly_read.cmi
  43. lib/ocaml/site-lib/menhirSdk/menhirSdk__Cmly_read.cmt
  44. lib/ocaml/site-lib/menhirSdk/menhirSdk__Cmly_read.cmti
  45. lib/ocaml/site-lib/menhirSdk/menhirSdk__Cmly_read.cmx
  46. lib/ocaml/site-lib/menhirSdk/menhirSdk__Keyword.cmi
  47. lib/ocaml/site-lib/menhirSdk/menhirSdk__Keyword.cmt
  48. lib/ocaml/site-lib/menhirSdk/menhirSdk__Keyword.cmti
  49. lib/ocaml/site-lib/menhirSdk/menhirSdk__Keyword.cmx
  50. lib/ocaml/site-lib/menhirSdk/menhirSdk__Version.cmi
  51. lib/ocaml/site-lib/menhirSdk/menhirSdk__Version.cmt
  52. lib/ocaml/site-lib/menhirSdk/menhirSdk__Version.cmx
  53. lib/ocaml/site-lib/menhirSdk/version.ml
  54. @owner
  55. @group
  56. @mode
Collapse this list.
Dependency lines:
  • menhir>0:devel/menhir
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):
menhir
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest2023123120231231-2023123120231231-20170712-
FreeBSD:13:quarterly2023123120231231-202312312023123120170712_120170712_120170712_1
FreeBSD:14:latest2023123120231231-202312312023123120170712-20170712
FreeBSD:14:quarterly2023123120231231-202312312023123120170712_120170712_120170712_1
FreeBSD:15:latest2023123120231231n/a20231231n/a20170712_120170712_120170712_2
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. ocamlc : lang/ocaml
  2. ocaml-dune>=3.7.1_2 : devel/ocaml-dune
Runtime dependencies:
  1. ocamlc : lang/ocaml
Patch dependencies:
  1. ocamlc : lang/ocaml
Extract dependencies:
  1. ocamlc : lang/ocaml
This port is required by:
for Build
  1. devel/aifad
  2. devel/coccinelle
  3. devel/ocaml-dolmen
  4. devel/ocaml-psmt2-frontend
  5. math/abella
  6. math/alt-ergo

Deleted ports which required this port:

Expand this list of 3 deleted ports
  1. lang/js_of_ocaml*
  2. math/why3-gpl*
  3. math/why3-spark*
  4. Collapse this list of deleted ports.
for Run
  1. 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:
Expand this list (2 items)
Collapse this list.
  1. http://cristal.inria.fr/~fpottier/menhir/
  2. https://gitlab.inria.fr//fpottier/menhir/-/archive/20231231/
Collapse this list.

Number of commits found: 26

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
20231231
22 May 2024 17:16:28
commit hash: bb2bea65dbac365184f0efd68e9b79201fe5c533commit hash: bb2bea65dbac365184f0efd68e9b79201fe5c533commit hash: bb2bea65dbac365184f0efd68e9b79201fe5c533commit hash: bb2bea65dbac365184f0efd68e9b79201fe5c533 files touched by this commit
Guido Falsi (madpilot) search for other commits by this committer
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 View all of this commit message)
20170712_2
23 Feb 2024 13:55:17
commit hash: f222ca9c46adfaab8cd4fda680e53db583055bd5commit hash: f222ca9c46adfaab8cd4fda680e53db583055bd5commit hash: f222ca9c46adfaab8cd4fda680e53db583055bd5commit hash: f222ca9c46adfaab8cd4fda680e53db583055bd5 files touched by this commit
Muhammad Moinur Rahman (bofh) search for other commits by this committer
devel/menhir: Moved man to share/man

Approved by:    portmgr (blanket)
20170712_1
05 Jul 2023 09:55:16
commit hash: 2b40e4609399858e2bfbddcf961bd7c947f6ed2ccommit hash: 2b40e4609399858e2bfbddcf961bd7c947f6ed2ccommit hash: 2b40e4609399858e2bfbddcf961bd7c947f6ed2ccommit hash: 2b40e4609399858e2bfbddcf961bd7c947f6ed2c files touched by this commit
Guido Falsi (madpilot) search for other commits by this committer
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 View all of this commit message)
07 Sep 2022 21:58:51
commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
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
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
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 View all of this commit message)
20170712
20 Jul 2022 14:21:35
commit hash: aa6eefd5e663357e8223399bc38c7987f5e35746commit hash: aa6eefd5e663357e8223399bc38c7987f5e35746commit hash: aa6eefd5e663357e8223399bc38c7987f5e35746commit hash: aa6eefd5e663357e8223399bc38c7987f5e35746 files touched by this commit
Tobias C. Berner (tcberner) search for other commits by this committer
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 View all of this commit message)
20170712
06 Apr 2021 14:31:07
commit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344eb files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
20170712
24 Jun 2019 10:14:57
Revision:505020Original commit files touched by this commit
danfe search for other commits by this committer
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
Revision:473019Original commit files touched by this commit
yuri search for other commits by this committer
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
Revision:446987Original commit files touched by this commit
ultima search for other commits by this committer
* 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
Revision:446039Original commit files touched by this commit
ultima search for other commits by this committer
* 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
Revision:411169Original commit files touched by this commit
mat search for other commits by this committer
Update to 20160303.

PR:		207985
Submitted by:	tkato432 yahoo com
Sponsored by:	Absolight
20151112_1
06 Feb 2016 01:22:50
Revision:408279Original commit files touched by this commit
amdmi3 search for other commits by this committer
- Fix shebangs
20151112
17 Jan 2016 08:24:25
Revision:406286Original commit files touched by this commit
miwi search for other commits by this committer
- Update to 20151112

PR:		205201
Submitted by:	ports fury
20140422
20 Dec 2014 18:06:22
Revision:375029Original commit files touched by this commit
bapt search for other commits by this committer
Cleanup plist
20140422
30 Jul 2014 22:14:03
Revision:363522Original commit files touched by this commit
marino search for other commits by this committer
devel/menhir: Upgrade version 20080912 => 20140422 and stage

PR:		191816
Submitted by:	Ports Fury
20080912
04 Jul 2014 12:06:07
Revision:360604Original commit files touched by this commit
bapt search for other commits by this committer
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
Revision:328748Original commit files touched by this commit
antoine search for other commits by this committer
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
Revision:327724Original commit files touched by this commit
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 3)
20080912
03 Jul 2011 14:59:23
Original commit files touched by this commit
ohauer search for other commits by this committer
-remove MD5
20080912
25 Feb 2009 16:58:25
Original commit files touched by this commit
garga search for other commits by this committer
- Update to 20080912

PR:             ports/132061
Submitted by:   maintainer
20071212
02 Jun 2008 06:19:11
Original commit files touched by this commit
jadawin search for other commits by this committer
- 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
Original commit files touched by this commit
pav search for other commits by this committer
- Attempt to unbreak INDEX, bsd.ocaml.mk moved to Mk/

Pointy hat to:  stas
20070215_1
19 May 2007 20:32:57
Original commit files touched by this commit
flz search for other commits by this committer
- 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
Original commit files touched by this commit
miwi search for other commits by this committer
- Add manpage to Makefile

Submitted by:   pointyhat via Kris "Ports Janitor" :)
20070215
06 Mar 2007 19:17:44
Original commit files touched by this commit
miwi search for other commits by this committer
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>

Number of commits found: 26