summaryrefslogtreecommitdiff
path: root/devel/menhir
AgeCommit message (Collapse)AuthorFilesLines
2016-02-06Removed the automatic setting of PKGNAME to ocaml-${DISTNAME} fromjaapb1-2/+1
ocaml.mk. It was becoming more trouble than it was worth: only a minority of packages used it, and it only made Makefiles more confusing. (I've left out some packages: these will be updated forthwith)
2015-11-03Add SHA512 digests for distfiles for devel categoryagc1-1/+2
Issues found with existing distfiles: distfiles/eclipse-sourceBuild-srcIncluded-3.0.1.zip distfiles/fortran-utils-1.1.tar.gz distfiles/ivykis-0.39.tar.gz distfiles/enum-1.11.tar.gz distfiles/pvs-3.2-libraries.tgz distfiles/pvs-3.2-linux.tgz distfiles/pvs-3.2-solaris.tgz distfiles/pvs-3.2-system.tgz No changes made to these distinfo files. Otherwise, existing SHA1 digests verified and found to be the same on the machine holding the existing distfiles (morden). All existing SHA1 digests retained for now as an audit trail.
2015-06-30Recursive revbump associated with update of lang/ocaml to 4.02.2.jaapb1-2/+2
2014-10-13Bugfix for ocamlfind dependency not being picked up (thanks to joerg@ forjaapb1-2/+2
reporting)
2014-10-09Corrected SUPERSEDES fieldjaapb1-2/+2
2014-08-17Corrected error in Makefile that made package be installed asjaapb1-1/+5
ocaml-menhir. Added a SUPERSEDES just to be sure and increased PKGREVISION.
2014-08-17Updated package to newest version, 20140422. Changes include:jaapb4-43/+33
In the Coq backend, use ' instead of _ as separator in identifiers. Also, correct a serious bug that was inadvertently introduced on 2013/03/01 (r319). Lexer fix so as to support an open variant type [> ...] within a %type<...> declaration. Updated the Makefile so that install no longer depends on all. Updated the demos so that the lexer does not invoke "exit 0" when encoutering eof. (This should be more intuitive.) Fixed a newline conversion problem that would prevent Menhir from building on Windows when using ocaml 4.01. Switched to ocamlbuild. Many thanks to Daniel Weil for offering very useful guidance. "menhir --depend" was broken since someone added new whitespace in the output of ocamldep. Fixed. Fixed a compilation problem that would arise when a file produced by Menhir on a 64-bit platform was compiled by ocaml on a 32-bit platform. Performance improvements in the computation of various information about the automaton (module [Invariant]). The improvements will be noticeable only for very large automata. The option --log-grammar 3 (and above) now causes the FOLLOW sets for *terminal* symbols to be computed and displayed. Added the flag --canonical, which causes Menhir to produce a canonical LR(1) automaton in the style of Knuth. This means that no merging of states takes place during the construction of the automaton, and that no default reductions are allowed. I also modified the package to use the ocaml.mk infrastructure.
2013-11-01Revision bump associated with the update of lang/ocaml to version 4.01.jaapb1-2/+2
2012-10-31Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.asau1-3/+1
2012-10-29Corrected contents of patch directory; minor modifications to buildjaapb4-60/+43
mechanism to keep pkglint happy.
2012-10-08Revision bump associated with the update of lang/ocaml to version 4.jaapb3-50/+58
2011-12-06Recursive bump for lang/ocaml buildlink addition.sbd1-2/+2
2011-02-28Reset maintainer for retired developers.wiz1-2/+2
2009-06-30Mark packages as MAKE_JOBS_SAFE=no that failed in a bulk build withjoerg1-1/+3
MAKE_JOBS=2 and worked without.
2009-06-14Correctly unregister on deinstallation. Bump revision.joerg2-2/+4
2009-06-14Remove @dirrm entries from PLISTsjoerg1-9/+1
2008-10-13Import menhir-20080912. This is the parser used by the upcomingbjs5-0/+141
devel/coccinelle package. Menhir is a LR(1) parser generator for the Objective Caml programming language. That is, Menhir compiles LR(1) grammar specifications down to Objective Caml code. It is mostly compatible with ocamlyacc(1).