diff options
| author | ultima <ultima@FreeBSD.org> | 2017-07-17 01:27:00 +0800 |
|---|---|---|
| committer | ultima <ultima@FreeBSD.org> | 2017-07-17 01:27:00 +0800 |
| commit | 95e1b1b4ae636df94d101f988320e7099c434179 (patch) | |
| tree | 615fc2683ab7dfe15c4bf044bea71717b094022a /devel | |
| parent | b0048bcf581d27fb1fd0c9dec131819d78d16caf (diff) | |
| download | freebsd-ports-gnome-95e1b1b4ae636df94d101f988320e7099c434179.tar.gz freebsd-ports-gnome-95e1b1b4ae636df94d101f988320e7099c434179.tar.zst freebsd-ports-gnome-95e1b1b4ae636df94d101f988320e7099c434179.zip | |
* 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
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/menhir/Makefile | 10 | ||||
| -rw-r--r-- | devel/menhir/distinfo | 5 | ||||
| -rw-r--r-- | devel/menhir/pkg-plist | 8 |
3 files changed, 17 insertions, 6 deletions
diff --git a/devel/menhir/Makefile b/devel/menhir/Makefile index c1578bc52a03..28dac9cac9e5 100644 --- a/devel/menhir/Makefile +++ b/devel/menhir/Makefile @@ -2,26 +2,28 @@ # $FreeBSD$ PORTNAME= menhir -PORTVERSION= 20160303 +PORTVERSION= 20170607 CATEGORIES= devel MASTER_SITES= http://cristal.inria.fr/~fpottier/menhir/ -MAINTAINER= ports@FreeBSD.org +MAINTAINER= amutu@amutu.com COMMENT= LR(1) parser generator for OCaml +LICENSE= GPLv2 +LICENSE_FILE= ${WRKSRC}/LICENSE + +USES= gmake shebangfix USE_OCAML= yes USE_OCAML_FINDLIB= yes USE_OCAMLFIND_PLIST= yes OCAML_PKGDIRS= menhirLib -USES= gmake shebangfix SHEBANG_FILES= demos/find-menhir.sh MAKE_JOBS_UNSAFE= yes DOCSDIR= ${PREFIX}/share/doc/ocaml/${PORTNAME} PORTDOCS= * -PLIST_FILES= bin/menhir man/man1/menhir.1.gz %%DATADIR%%/standard.mly OPTIONS_DEFINE= DOCS diff --git a/devel/menhir/distinfo b/devel/menhir/distinfo index bbaf53a46951..325d0b081b58 100644 --- a/devel/menhir/distinfo +++ b/devel/menhir/distinfo @@ -1,2 +1,3 @@ -SHA256 (menhir-20160303.tar.gz) = c330934ff449e7af101df0f8a15df29712465a185de265fadab30f4402eaa7e0 -SIZE (menhir-20160303.tar.gz) = 750200 +TIMESTAMP = 1499343319 +SHA256 (menhir-20170607.tar.gz) = 00caa66ed0d1544defda24539f2ca1d37b92120e0575aafc5fcabd8e5364ce61 +SIZE (menhir-20170607.tar.gz) = 796429 diff --git a/devel/menhir/pkg-plist b/devel/menhir/pkg-plist new file mode 100644 index 000000000000..74b6817e58b6 --- /dev/null +++ b/devel/menhir/pkg-plist @@ -0,0 +1,8 @@ +bin/menhir +man/man1/menhir.1.gz +%%DATADIR%%/standard.mly +%%OCAML_SITELIBDIR%%/menhirSdk/META +%%OCAML_SITELIBDIR%%/menhirSdk/menhirSdk.cmi +%%OCAML_SITELIBDIR%%/menhirSdk/menhirSdk.cmo +%%OCAML_SITELIBDIR%%/menhirSdk/menhirSdk.cmx +%%OCAML_SITELIBDIR%%/menhirSdk/menhirSdk.o |