diff options
| author | jaapb <jaapb@pkgsrc.org> | 2022-05-24 18:51:47 +0000 |
|---|---|---|
| committer | jaapb <jaapb@pkgsrc.org> | 2022-05-24 18:51:47 +0000 |
| commit | abf70898ce2de69598e9638711f601733d406ed9 (patch) | |
| tree | 5426958098dc374bf12b1123634f2eead402860e /math | |
| parent | e7d2abfd302ca1df6141bedf367ce9fd5bb8e416 (diff) | |
| download | pkgsrc-abf70898ce2de69598e9638711f601733d406ed9.tar.gz | |
Recursive revbump associated with update of ocaml.
Also change of mk/ocaml.mk to lang/ocaml/ocaml.mk.
Diffstat (limited to 'math')
| -rw-r--r-- | math/ocaml-num/Makefile | 5 | ||||
| -rw-r--r-- | math/ocaml-zarith/Makefile | 4 | ||||
| -rw-r--r-- | math/z3/Makefile | 4 |
3 files changed, 7 insertions, 6 deletions
diff --git a/math/ocaml-num/Makefile b/math/ocaml-num/Makefile index b919e4fd486..46949107910 100644 --- a/math/ocaml-num/Makefile +++ b/math/ocaml-num/Makefile @@ -1,9 +1,10 @@ -# $NetBSD: Makefile,v 1.7 2022/03/01 09:50:00 jaapb Exp $ +# $NetBSD: Makefile,v 1.8 2022/05/24 18:51:53 jaapb Exp $ GITHUB_PROJECT= num GITHUB_TAG= v${PKGVERSION_NOREV} DISTNAME= ${GITHUB_PROJECT}-1.4 PKGNAME= ocaml-${DISTNAME} +PKGREVISION= 1 CATEGORIES= math MASTER_SITES= ${MASTER_SITE_GITHUB:=ocaml/} @@ -21,5 +22,5 @@ INSTALLATION_DIRS+= lib/ocaml/stublibs OCAML_USE_FINDLIB= yes OCAML_FINDLIB_DIRS+= num-top -.include "../../mk/ocaml.mk" +.include "../../lang/ocaml/ocaml.mk" .include "../../mk/bsd.pkg.mk" diff --git a/math/ocaml-zarith/Makefile b/math/ocaml-zarith/Makefile index 04210f2f9e8..d6d98f0447b 100644 --- a/math/ocaml-zarith/Makefile +++ b/math/ocaml-zarith/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.21 2022/05/24 17:55:23 jaapb Exp $ +# $NetBSD: Makefile,v 1.22 2022/05/24 18:51:53 jaapb Exp $ # VERSION= 1.12 @@ -27,5 +27,5 @@ OCAML_USE_FINDLIB= yes REPLACE_PERL+= z_pp.pl .include "../../devel/gmp/buildlink3.mk" -.include "../../mk/ocaml.mk" +.include "../../lang/ocaml/ocaml.mk" .include "../../mk/bsd.pkg.mk" diff --git a/math/z3/Makefile b/math/z3/Makefile index 1da9506a3a8..419b147c0b9 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -1,7 +1,7 @@ -# $NetBSD: Makefile,v 1.15 2021/03/08 08:13:03 jaapb Exp $ +# $NetBSD: Makefile,v 1.16 2022/05/24 18:51:53 jaapb Exp $ .include "Makefile.common" -PKGREVISION= 2 +PKGREVISION= 3 COMMENT= The Z3 theorem prover / SMT solver .include "options.mk" |