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/043a8e25ad08
branches:  trunk
changeset: 320855:043a8e25ad08
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 4067ba712f25 -r 043a8e25ad08 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 4067ba712f25 -r 043a8e25ad08 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 4067ba712f25 -r 043a8e25ad08 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 4067ba712f25 -r 043a8e25ad08 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 4067ba712f25 -r 043a8e25ad08 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