diff options
| author | jaapb <jaapb@pkgsrc.org> | 2016-05-05 11:45:36 +0000 |
|---|---|---|
| committer | jaapb <jaapb@pkgsrc.org> | 2016-05-05 11:45:36 +0000 |
| commit | c45dc893eb2b811e8f90806a141d3b3ca20348fa (patch) | |
| tree | 7d1f0eeec6316a03fabcd33161c523c1226ce0a9 /lang | |
| parent | 3df515d665c1360a736316a4f367113a4ba9f94f (diff) | |
| download | pkgsrc-c45dc893eb2b811e8f90806a141d3b3ca20348fa.tar.gz | |
Recursive revbump associated with ocaml update.
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/boomerang/Makefile | 4 | ||||
| -rw-r--r-- | lang/camlp5/Makefile | 3 | ||||
| -rw-r--r-- | lang/camlp5/buildlink3.mk | 4 | ||||
| -rw-r--r-- | lang/coq/Makefile | 4 | ||||
| -rw-r--r-- | lang/ocaml/buildlink3.mk | 4 | ||||
| -rw-r--r-- | lang/pict/Makefile | 4 |
6 files changed, 12 insertions, 11 deletions
diff --git a/lang/boomerang/Makefile b/lang/boomerang/Makefile index fa6e99aa6b4..e9e16c49b0f 100644 --- a/lang/boomerang/Makefile +++ b/lang/boomerang/Makefile @@ -1,9 +1,9 @@ -# $NetBSD: Makefile,v 1.10 2015/08/07 11:20:34 jaapb Exp $ +# $NetBSD: Makefile,v 1.11 2016/05/05 11:45:40 jaapb Exp $ # DISTNAME= boomerang-0.2-source PKGNAME= ${DISTNAME:S/-source//} -PKGREVISION= 7 +PKGREVISION= 8 CATEGORIES= lang MASTER_SITES= http://www.seas.upenn.edu/~harmony/download/ diff --git a/lang/camlp5/Makefile b/lang/camlp5/Makefile index 3906a6d4a8e..c563ea41fae 100644 --- a/lang/camlp5/Makefile +++ b/lang/camlp5/Makefile @@ -1,7 +1,8 @@ -# $NetBSD: Makefile,v 1.24 2016/02/06 12:10:33 jaapb Exp $ +# $NetBSD: Makefile,v 1.25 2016/05/05 11:45:36 jaapb Exp $ # DISTNAME= camlp5-6.14 +PKGREVISION= 1 CATEGORIES= lang MASTER_SITES= http://camlp5.gforge.inria.fr/distrib/src/ EXTRACT_SUFX= .tgz diff --git a/lang/camlp5/buildlink3.mk b/lang/camlp5/buildlink3.mk index 0a9cff0dc13..e50616e3747 100644 --- a/lang/camlp5/buildlink3.mk +++ b/lang/camlp5/buildlink3.mk @@ -1,4 +1,4 @@ -# $NetBSD: buildlink3.mk,v 1.12 2015/08/07 11:19:13 jaapb Exp $ +# $NetBSD: buildlink3.mk,v 1.13 2016/05/05 11:45:36 jaapb Exp $ # BUILDLINK_TREE+= camlp5 @@ -7,7 +7,7 @@ BUILDLINK_TREE+= camlp5 CAMLP5_BUILDLINK3_MK:= BUILDLINK_API_DEPENDS.camlp5+= camlp5>=5.01 -BUILDLINK_ABI_DEPENDS.camlp5+= camlp5>=6.14 +BUILDLINK_ABI_DEPENDS.camlp5+= camlp5>=6.14nb1 BUILDLINK_PKGSRCDIR.camlp5?= ../../lang/camlp5 .include "../../lang/ocaml/buildlink3.mk" diff --git a/lang/coq/Makefile b/lang/coq/Makefile index 6232dd0aee8..d5e8d374f4a 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,8 @@ -# $NetBSD: Makefile,v 1.88 2016/05/03 11:40:04 prlw1 Exp $ +# $NetBSD: Makefile,v 1.89 2016/05/05 11:45:40 jaapb Exp $ # DISTNAME= coq-8.5 -PKGREVISION= 3 +PKGREVISION= 4 CATEGORIES= lang math MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/ diff --git a/lang/ocaml/buildlink3.mk b/lang/ocaml/buildlink3.mk index f78990ef431..53e38ffd628 100644 --- a/lang/ocaml/buildlink3.mk +++ b/lang/ocaml/buildlink3.mk @@ -1,4 +1,4 @@ -# $NetBSD: buildlink3.mk,v 1.37 2016/05/05 08:12:01 jaapb Exp $ +# $NetBSD: buildlink3.mk,v 1.38 2016/05/05 11:45:36 jaapb Exp $ BUILDLINK_TREE+= ocaml @@ -6,7 +6,7 @@ BUILDLINK_TREE+= ocaml OCAML_BUILDLINK3_MK:= BUILDLINK_API_DEPENDS.ocaml+= ocaml>=3.08.2 -BUILDLINK_ABI_DEPENDS.ocaml+= ocaml>4.02 +BUILDLINK_ABI_DEPENDS.ocaml+= ocaml>=4.03.0 BUILDLINK_PKGSRCDIR.ocaml?= ../../lang/ocaml #BUILDLINK_DEPMETHOD.ocaml?= build diff --git a/lang/pict/Makefile b/lang/pict/Makefile index c3ad9eb4019..b486c430054 100644 --- a/lang/pict/Makefile +++ b/lang/pict/Makefile @@ -1,7 +1,7 @@ -# $NetBSD: Makefile,v 1.11 2015/08/07 11:20:34 jaapb Exp $ +# $NetBSD: Makefile,v 1.12 2016/05/05 11:45:40 jaapb Exp $ DISTNAME= pict-4.1 -PKGREVISION= 7 +PKGREVISION= 8 CATEGORIES= lang MASTER_SITES= http://www.cis.upenn.edu/~bcpierce/papers/pict/pict-4.1/ |