pkgsrc-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[pkgsrc/trunk]: pkgsrc/devel/ocaml-optint Added devel/ocaml-optint, an OCaml ...
details: https://anonhg.NetBSD.org/pkgsrc/rev/1746547bfdcd
branches: trunk
changeset: 393071:1746547bfdcd
user: jaapb <jaapb%pkgsrc.org@localhost>
date: Tue Mar 12 17:47:09 2019 +0000
description:
Added devel/ocaml-optint, an OCaml integer optimisation library
diffstat:
devel/ocaml-optint/DESCR | 4 ++++
devel/ocaml-optint/Makefile | 21 +++++++++++++++++++++
devel/ocaml-optint/PLIST | 29 +++++++++++++++++++++++++++++
devel/ocaml-optint/buildlink3.mk | 12 ++++++++++++
devel/ocaml-optint/distinfo | 6 ++++++
5 files changed, 72 insertions(+), 0 deletions(-)
diffs (92 lines):
diff -r 5aecfa05e88b -r 1746547bfdcd devel/ocaml-optint/DESCR
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/ocaml-optint/DESCR Tue Mar 12 17:47:09 2019 +0000
@@ -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 -r 5aecfa05e88b -r 1746547bfdcd devel/ocaml-optint/Makefile
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/ocaml-optint/Makefile Tue Mar 12 17:47:09 2019 +0000
@@ -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@localhost
+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 -r 5aecfa05e88b -r 1746547bfdcd devel/ocaml-optint/PLIST
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/ocaml-optint/PLIST Tue Mar 12 17:47:09 2019 +0000
@@ -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 -r 5aecfa05e88b -r 1746547bfdcd devel/ocaml-optint/buildlink3.mk
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/ocaml-optint/buildlink3.mk Tue Mar 12 17:47:09 2019 +0000
@@ -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 -r 5aecfa05e88b -r 1746547bfdcd devel/ocaml-optint/distinfo
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/ocaml-optint/distinfo Tue Mar 12 17:47:09 2019 +0000
@@ -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
Home |
Main Index |
Thread Index |
Old Index