Added devel/ocaml-optint, an OCaml integer optimisation library

5 files changed, 72 insertions, 0 deletions

diff --git a/devel/ocaml-optint/DESCR b/devel/ocaml-optint/DESCR
new file mode 100644
index 00000000000..5309802c453
--- /dev/null
+++ b/devel/ocaml-optint/DESCR
@@ -0,0 +1,4 @@
+This library provides a module that uses different integer types
+on different architectures, for performance optimisation
+purposes. It is really unsafe and ignores some details like the
+sign bit for any cast.
diff --git a/devel/ocaml-optint/Makefile b/devel/ocaml-optint/Makefile
new file mode 100644
index 00000000000..a67ef7b65ec
--- /dev/null
+++ b/devel/ocaml-optint/Makefile
@@ -0,0 +1,21 @@
+# $NetBSD: Makefile,v 1.1 2019/03/12 17:47:09 jaapb Exp $
+
+GITHUB_PROJECT=	optint
+GITHUB_TAG=	v${PKGVERSION_NOREV}
+DISTNAME=	${GITHUB_PROJECT}-0.0.2
+PKGNAME=	ocaml-${DISTNAME}
+CATEGORIES=	devel
+MASTER_SITES=	${MASTER_SITE_GITHUB:=mirage/}
+
+MAINTAINER=	jaapb@NetBSD.org
+HOMEPAGE=	https://github.com/mirage/optint/
+COMMENT=	Library to provide fast integer (x64) or allocated int32 (x84)
+LICENSE=	mit
+
+OCAML_USE_DUNE=	yes
+
+WRKSRC=		${WRKDIR}/optint-0.0.2
+USE_LANGUAGES=	# none
+
+.include "../../mk/ocaml.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/devel/ocaml-optint/PLIST b/devel/ocaml-optint/PLIST
new file mode 100644
index 00000000000..6624c883cd2
--- /dev/null
+++ b/devel/ocaml-optint/PLIST
@@ -0,0 +1,29 @@
+@comment $NetBSD: PLIST,v 1.1 2019/03/12 17:47:09 jaapb Exp $
+${OCAML_SITELIB}/optint/META
+${OCAML_SITELIB}/optint/dune-package
+${OCAML_SITELIB}/optint/int_x64_backend.ml
+${OCAML_SITELIB}/optint/int_x86_backend.ml
+${OCAML_SITELIB}/optint/opam
+${PLIST.ocaml-opt}${OCAML_SITELIB}/optint/optint.a
+${OCAML_SITELIB}/optint/optint.cma
+${OCAML_SITELIB}/optint/optint.cmi
+${OCAML_SITELIB}/optint/optint.cmt
+${OCAML_SITELIB}/optint/optint.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/optint/optint.cmx
+${PLIST.ocaml-opt}${OCAML_SITELIB}/optint/optint.cmxa
+${PLIST.ocaml-opt}${OCAML_SITELIB}/optint/optint.cmxs
+${OCAML_SITELIB}/optint/optint.ml
+${OCAML_SITELIB}/optint/optint.mli
+${OCAML_SITELIB}/optint/optint__.cmi
+${OCAML_SITELIB}/optint/optint__.cmt
+${PLIST.ocaml-opt}${OCAML_SITELIB}/optint/optint__.cmx
+${OCAML_SITELIB}/optint/optint__.ml
+${OCAML_SITELIB}/optint/optint__Int_x64_backend.cmi
+${OCAML_SITELIB}/optint/optint__Int_x64_backend.cmt
+${PLIST.ocaml-opt}${OCAML_SITELIB}/optint/optint__Int_x64_backend.cmx
+${OCAML_SITELIB}/optint/optint__Int_x86_backend.cmi
+${OCAML_SITELIB}/optint/optint__Int_x86_backend.cmt
+${PLIST.ocaml-opt}${OCAML_SITELIB}/optint/optint__Int_x86_backend.cmx
+share/doc/optint/CHANGES.md
+share/doc/optint/LICENSE.md
+share/doc/optint/README.md
diff --git a/devel/ocaml-optint/buildlink3.mk b/devel/ocaml-optint/buildlink3.mk
new file mode 100644
index 00000000000..7c748dfc0be
--- /dev/null
+++ b/devel/ocaml-optint/buildlink3.mk
@@ -0,0 +1,12 @@
+# $NetBSD: buildlink3.mk,v 1.1 2019/03/12 17:47:09 jaapb Exp $
+
+BUILDLINK_TREE+=	ocaml-optint
+
+.if !defined(OCAML_OPTINT_BUILDLINK3_MK)
+OCAML_OPTINT_BUILDLINK3_MK:=
+
+BUILDLINK_API_DEPENDS.ocaml-optint+=	ocaml-optint>=0.0.2
+BUILDLINK_PKGSRCDIR.ocaml-optint?=	../../devel/ocaml-optint
+.endif	# OCAML_OPTINT_BUILDLINK3_MK
+
+BUILDLINK_TREE+=	-ocaml-optint
diff --git a/devel/ocaml-optint/distinfo b/devel/ocaml-optint/distinfo
new file mode 100644
index 00000000000..68c23e43d18
--- /dev/null
+++ b/devel/ocaml-optint/distinfo
@@ -0,0 +1,6 @@
+$NetBSD: distinfo,v 1.1 2019/03/12 17:47:09 jaapb Exp $
+
+SHA1 (optint-0.0.2.tar.gz) = 28433928110f8c7a5de7b20ab04b4223612944d9
+RMD160 (optint-0.0.2.tar.gz) = 1e54af2d17d4e60574637e93051e98d2866ef5fe
+SHA512 (optint-0.0.2.tar.gz) = 4727bc23ee2a431d06f296d265f2174ef1dcc1b271e9e9c1ba44f2f290976c11240c26c122ca4c117b3dec36b9b57caa417ef081ae0f70e8b380d111b9beb982
+Size (optint-0.0.2.tar.gz) = 4591 bytes