pkgsrc/devel/menhir/Makefile

34 lines
770 B
Makefile
Raw Normal View History

# $NetBSD: Makefile,v 1.11 2014/08/17 14:42:41 jaapb Exp $
#
PKGNAME= ${DISTNAME} # defined to avoid prefixing with ocaml-
Updated package to newest version, 20140422. Changes include: 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.
2014-08-17 16:37:23 +02:00
DISTNAME= menhir-20140422
PKGREVISION= 1
CATEGORIES= devel
MASTER_SITES= http://cristal.inria.fr/~fpottier/menhir/
MAINTAINER= jaapb@NetBSD.org
HOMEPAGE= http://cristal.inria.fr/~fpottier/menhir/
COMMENT= LR(1) parser generator in OCaml
LICENSE= qpl-v1.0
USE_TOOLS+= gmake
Updated package to newest version, 20140422. Changes include: 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.
2014-08-17 16:37:23 +02:00
MAKE_JOBS_SAFE= no
SUPERSEDES= ocaml-${PKGNAME}
Updated package to newest version, 20140422. Changes include: 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.
2014-08-17 16:37:23 +02:00
.include "../../mk/ocaml.mk"
Updated package to newest version, 20140422. Changes include: 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.
2014-08-17 16:37:23 +02:00
OCAML_USE_FINDLIB= yes
.if ${OCAML_USE_OPT_COMPILER} == "yes"
MAKE_ENV+= TARGET=native
.else
MAKE_ENV+= TARGET=byte
.endif
Updated package to newest version, 20140422. Changes include: 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.
2014-08-17 16:37:23 +02:00
EGDIR= ${PREFIX}/share/examples/${PKGBASE}
MAKE_ENV+= EGDIR=${EGDIR:Q} USE_OCAMLFIND=true \
OCAML_SITELIBDIR=${OCAML_SITELIBDIR}
.include "../../mk/bsd.pkg.mk"