diff options
author | jaapb <jaapb@pkgsrc.org> | 2019-03-12 17:47:09 +0000 |
---|---|---|
committer | jaapb <jaapb@pkgsrc.org> | 2019-03-12 17:47:09 +0000 |
commit | 45a237e0f1ed6863c51b47b385a277beb0ab10c4 (patch) | |
tree | c0f50201d53ba2d0d8d3b35e84cdee2ae46963e2 /devel/ocaml-optint | |
parent | 1357dd85aa87b93c5de15b70fc197dd64f2410cc (diff) | |
download | pkgsrc-45a237e0f1ed6863c51b47b385a277beb0ab10c4.tar.gz |
Added devel/ocaml-optint, an OCaml integer optimisation library
Diffstat (limited to 'devel/ocaml-optint')
-rw-r--r-- | devel/ocaml-optint/DESCR | 4 | ||||
-rw-r--r-- | devel/ocaml-optint/Makefile | 21 | ||||
-rw-r--r-- | devel/ocaml-optint/PLIST | 29 | ||||
-rw-r--r-- | devel/ocaml-optint/buildlink3.mk | 12 | ||||
-rw-r--r-- | devel/ocaml-optint/distinfo | 6 |
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 |