FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

We also have a status page: https://freshports.wordpress.com/

Port details
menhir LR(1) parser generator for OCaml
20170712 devel on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: amutu@amutu.com search for ports maintained by this maintainer
Port Added: 06 Mar 2007 19:18:04
License: GPLv2
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
SVNWeb : Homepage : PortsMon
    Pseudo-pkg-plist information, but much better, from make generate-plist
    Expand this list (11 items)
  1. /usr/local/share/licenses/menhir-20170712/catalog.mk
  2. /usr/local/share/licenses/menhir-20170712/LICENSE
  3. /usr/local/share/licenses/menhir-20170712/GPLv2
  4. bin/menhir
  5. man/man1/menhir.1.gz
  6. share/menhir/standard.mly
  7. lib/ocaml/site-lib/menhirSdk/META
  8. lib/ocaml/site-lib/menhirSdk/menhirSdk.cmi
  9. lib/ocaml/site-lib/menhirSdk/menhirSdk.cmo
  10. lib/ocaml/site-lib/menhirSdk/menhirSdk.cmx
  11. lib/ocaml/site-lib/menhirSdk/menhirSdk.o
  12. Collapse this list.

To install the port: cd /usr/ports/devel/menhir/ && make install clean
To add the package: pkg install menhir

PKGNAME: menhir

distinfo:

TIMESTAMP = 1500460606
SHA256 (menhir-20170712.tar.gz) = ca482d690052343d6cb9452433248a0a92cc8bfc8fa529dc313220c9d7c0d000
SIZE (menhir-20170712.tar.gz) = 855262


NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:
  1. ocamlc : lang/ocaml
  2. ocamlfind : devel/ocaml-findlib
  3. gmake : devel/gmake
Runtime dependencies:
  1. ocamlc : lang/ocaml
  2. ocamlfind : devel/ocaml-findlib
Patch dependencies:
  1. ocamlc : lang/ocaml
Extract dependencies:
  1. ocamlc : lang/ocaml

This port is required by:

for Build * - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...
Configuration Options
===> The following configuration options are available for menhir-20170712:
     DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings

USES:
gmake shebangfix

Master Sites:
  1. http://cristal.inria.fr/~fpottier/menhir/

Number of commits found: 17

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
31 Jul 2017 16:43:44
Original commit files touched by this commit  20170712
Revision:446987
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
16 Jul 2017 17:27:00
Original commit files touched by this commit  20170607
Revision:446039
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
15 Mar 2016 15:06:29
Original commit files touched by this commit  20160303
Revision:411169
mat search for other commits by this committer
Update to 20160303.

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

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

PR:		191816
Submitted by:	Ports Fury
04 Jul 2014 12:06:07
Original commit files touched by this commit  20080912
Revision:360604
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
29 Sep 2013 22:03:42
Original commit files touched by this commit  20080912
Revision:328748
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.
20 Sep 2013 17:13:47
Original commit files touched by this commit  20080912
Revision:327724
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)
03 Jul 2011 14:59:23
Original commit files touched by this commit  20080912
ohauer search for other commits by this committer
-remove MD5
25 Feb 2009 16:58:25
Original commit files touched by this commit  20080912
garga search for other commits by this committer
- Update to 20080912

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

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

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

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
opensslNov 02
openssl-develNov 02
wordpressNov 01
php56Oct 30
php70Oct 30
php71Oct 30
wiresharkOct 30
chromiumOct 28
wgetOct 27
wgetOct 27
openoffice-4*Oct 26
openoffice-devel*Oct 26
gitlabOct 25
nodeOct 25
node4Oct 25

No vulnerabilities have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 31889
Broken 126
Deprecated 57
Ignore 364
Forbidden 0
Restricted 175
No CDROM 78
Vulnerable 50
Expired 24
Set to expire 49
Interactive 0
new 24 hours 3
new 48 hours15
new 7 days3155
new fortnight3232
new month3392

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2017 Dan Langille. All rights reserved.