menhir-20130911-3.mga4.i586.rpm


Advertisement

Description

menhir - Menhir is a LR(1) parser generator for OCaml

Distribution: Mageia 4.1
Repository: Mageia Core i586
Package name: menhir
Package version: 20130911
Package release: 3.mga4
Package architecture: i586
Package type: rpm
Installed size: 1.93 MB
Download size: 763.27 KB
Official Mirror: distrib-coffee.ipsl.jussieu.fr
Menhir is a LR(1) parser generator for OCaml. It is mostly compatible with the standard ocamlyacc and has the following enhancements: - it accepts LR(1) grammars, - it offers parameterized nonterminal symbols as well as a library of standard definitions, - it explains conflicts in terms of the grammar, - it allows grammar specifications to be split over multiple files and parametrized by OCaml modules, - it produces reentrant parsers.

Alternatives

Provides

  • menhir == 20130911-3.mga4
  • menhir(x86-32) == 20130911-3.mga4

    Download

    Install Howto

    1. Enable Mageia Core repository on "Install and Remove Software"
    2. Update packages list:
      # urpmi.update -a
    3. Install menhir rpm package:
      # urpmi menhir

    Files

    • /usr/bin/menhir
    • /usr/lib/ocaml/menhirLib/META
    • /usr/lib/ocaml/menhirLib/menhirLib.cmi
    • /usr/lib/ocaml/menhirLib/menhirLib.cmo
    • /usr/lib/ocaml/menhirLib/menhirLib.cmx
    • /usr/lib/ocaml/menhirLib/menhirLib.o
    • /usr/share/doc/menhir/manual.pdf
    • /usr/share/doc/menhir/demos/Makefile
    • /usr/share/doc/menhir/demos/Makefile.auto
    • /usr/share/doc/menhir/demos/Makefile.shared
    • /usr/share/doc/menhir/demos/OMakefile.shared
    • /usr/share/doc/menhir/demos/ocamldep.wrapper
    • /usr/share/doc/menhir/demos/calc/Makefile
    • /usr/share/doc/menhir/demos/calc/OMakefile
    • /usr/share/doc/menhir/demos/calc/OMakeroot
    • /usr/share/doc/menhir/demos/calc/README
    • /usr/share/doc/menhir/demos/calc/calc.ml
    • /usr/share/doc/menhir/demos/calc/lexer.mll
    • /usr/share/doc/menhir/demos/calc/parser.mly
    • /usr/share/doc/menhir/demos/calc-param/Makefile
    • /usr/share/doc/menhir/demos/calc-param/OMakefile
    • /usr/share/doc/menhir/demos/calc-param/OMakeroot
    • /usr/share/doc/menhir/demos/calc-param/README
    • /usr/share/doc/menhir/demos/calc-param/calc.ml
    • /usr/share/doc/menhir/demos/calc-param/lexer.mll
    • /usr/share/doc/menhir/demos/calc-param/parser.mly
    • /usr/share/doc/menhir/demos/calc-param/tokens.mly
    • /usr/share/doc/menhir/demos/calc-two/Makefile
    • /usr/share/doc/menhir/demos/calc-two/OMakefile
    • /usr/share/doc/menhir/demos/calc-two/OMakeroot
    • /usr/share/doc/menhir/demos/calc-two/README
    • /usr/share/doc/menhir/demos/calc-two/algebraic.mly
    • /usr/share/doc/menhir/demos/calc-two/calc.ml
    • /usr/share/doc/menhir/demos/calc-two/common.mly
    • /usr/share/doc/menhir/demos/calc-two/lexer.mll
    • /usr/share/doc/menhir/demos/calc-two/reverse.mly
    • /usr/share/doc/menhir/demos/calc-two/tokens.mly
    • /usr/share/man/man1/menhir.1.xz
    • /usr/share/menhir/standard.mly

    Changelog

    2013-10-19 - umeabot <umeabot> 20130911-3.mga4 + Revision: 535765 - Mageia 4 Mass Rebuild

    2013-09-20 - malo <malo> 20130911-2.mga4 + Revision: 482505 - fix PREFIX during install

    2013-09-20 - malo <malo> 20130911-1.mga4 + Revision: 482434 - new version 20130911

    2013-06-09 - malo <malo> 20130116-1.mga4 + Revision: 441325 - new version 20130116

    2013-01-12 - umeabot <umeabot> 20120123-5.mga3 + Revision: 359954 - Mass Rebuild - https://wiki.mageia.org/en/Feature:Mageia3MassRebuild

    2012-10-19 - malo <malo> 20120123-4.mga3 + Revision: 308239 - rebuild for ocaml-4.0.1

    2012-10-01 - blue_prawn <blue_prawn> 20120123-3.mga3 + Revision: 301096 - rebuild for ocaml-4.00.0

    2012-09-29 - blue_prawn <blue_prawn> 20120123-2.mga3 + Revision: 300494 - new rpm group for ocaml

    2012-08-21 - blue_prawn <blue_prawn> 20120123-1.mga3 + Revision: 282996 - updated to last version 20120123

    2012-01-12 - blue_prawn <blue_prawn> 20120109-1.mga2 + Revision: 195177 - added req ocaml-findlib and fixed PREFIX in %build - fixed prefix - corrected dest lib dir - imported package menhir

    Advertisement
    Advertisement