diff options
Diffstat (limited to 'devel/ocaml-camlp5')
| -rw-r--r-- | devel/ocaml-camlp5/Makefile | 7 | ||||
| -rw-r--r-- | devel/ocaml-camlp5/distinfo | 5 | ||||
| -rw-r--r-- | devel/ocaml-camlp5/pkg-plist | 2 |
3 files changed, 8 insertions, 6 deletions
diff --git a/devel/ocaml-camlp5/Makefile b/devel/ocaml-camlp5/Makefile index 9e89e1ccf7a0..44968a05da5f 100644 --- a/devel/ocaml-camlp5/Makefile +++ b/devel/ocaml-camlp5/Makefile @@ -2,11 +2,8 @@ # $FreeBSD$ PORTNAME= camlp5 -PORTVERSION= 6.16 +PORTVERSION= 7.07 CATEGORIES= devel -MASTER_SITES= http://camlp5.gforge.inria.fr/distrib/src/ \ - http://cristal.inria.fr/~ddr/camlp5/distrib/src/ \ - http://pauillac.inria.fr/~ddr/camlp5/distrib/src/ PKGNAMEPREFIX= ocaml- DIST_SUBDIR= ${PKGBASE} @@ -19,6 +16,8 @@ LICENSE_FILE= ${WRKSRC}/LICENSE LICENSE_PERMS= dist-mirror dist-sell pkg-mirror pkg-sell auto-accept USES= tar:tgz +USE_GITHUB= yes +GH_TAGNAME= rel${PORTVERSION:S/.//} USE_OCAML= yes HAS_CONFIGURE= yes CONFIGURE_ARGS= --prefix ${PREFIX} diff --git a/devel/ocaml-camlp5/distinfo b/devel/ocaml-camlp5/distinfo index 2f717af62e5e..2ff8c4ba9974 100644 --- a/devel/ocaml-camlp5/distinfo +++ b/devel/ocaml-camlp5/distinfo @@ -1,2 +1,3 @@ -SHA256 (ocaml-camlp5/camlp5-6.16.tgz) = fd446cff6421f5144a521c7cecfdc7217b1424908186cddd3d5be543b35058b1 -SIZE (ocaml-camlp5/camlp5-6.16.tgz) = 759877 +TIMESTAMP = 1539160056 +SHA256 (ocaml-camlp5/camlp5-camlp5-7.07-rel707_GH0.tar.gz) = a2c493b833b217adf94d2000eb19015b990c4e441beb35cf36b1d33ed2351991 +SIZE (ocaml-camlp5/camlp5-camlp5-7.07-rel707_GH0.tar.gz) = 813500 diff --git a/devel/ocaml-camlp5/pkg-plist b/devel/ocaml-camlp5/pkg-plist index 5c24601eb7d4..60b8267cd96f 100644 --- a/devel/ocaml-camlp5/pkg-plist +++ b/devel/ocaml-camlp5/pkg-plist @@ -8,6 +8,8 @@ bin/mkcamlp5 bin/mkcamlp5.opt bin/ocpp5 lib/ocaml/camlp5/META +lib/ocaml/camlp5/ast2pt.cmi +lib/ocaml/camlp5/ast2pt.mli lib/ocaml/camlp5/camlp5.a lib/ocaml/camlp5/camlp5.cma lib/ocaml/camlp5/camlp5.cmxa |