Skip to content

Commit ba9988b

Browse files
committed
ocaml-optint: update to 0.1.0.
### v0.1.0 2021-03-30 Paris (France) - Annotate integer types with `[@@immediate64]` (@craigfe, #13) - Move unwrapped module `Int63` to `Optint.Int63` (@craigfe, #13) ### v0.0.5 2021-02-22 Paris (France) - Update the README.md (@craigfe, #9) - Add a representation of 63-bit integers (@craigfe, #9) - Allow to compile fuzzers on 32-bit architectures (@dinosaure, #9) - Add encode / decode functions for integers (@craigfe, #9) - Fix `optint` about sign and cast on all architectures (@dinosaure, #9) - **breaking changes**, rename and handle properly sign-bit: `{of,to}_int` become `{of,to}_unsigned_int` `{of,to}_int32` become `{of,to}_unsigned_int32` Previous functions handle sign-bit correctly
1 parent fac3e92 commit ba9988b

File tree

3 files changed

+41
-12
lines changed

3 files changed

+41
-12
lines changed

devel/ocaml-optint/Makefile

+4-7
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,11 @@
1-
# $NetBSD: Makefile,v 1.4 2021/03/08 08:12:54 jaapb Exp $
1+
# $NetBSD: Makefile,v 1.5 2022/02/14 09:07:04 wiz Exp $
22

3-
GITHUB_PROJECT= optint
4-
GITHUB_TAG= v${PKGVERSION_NOREV}
5-
VER= 0.0.4
6-
DISTNAME= ${GITHUB_PROJECT}-${VER}
3+
DISTNAME= optint-0.1.0
74
PKGNAME= ocaml-${DISTNAME}
85
CATEGORIES= devel
96
MASTER_SITES= ${MASTER_SITE_GITHUB:=mirage/}
10-
PKGREVISION= 2
7+
GITHUB_PROJECT= optint
8+
GITHUB_TAG= v${PKGVERSION_NOREV}
119

1210
MAINTAINER= [email protected]
1311
HOMEPAGE= https://github.com/mirage/optint/
@@ -16,7 +14,6 @@ LICENSE= mit
1614

1715
OCAML_USE_DUNE= yes
1816

19-
WRKSRC= ${WRKDIR}/optint-${VER}
2017
USE_LANGUAGES= # none
2118

2219
.include "../../mk/ocaml.mk"

devel/ocaml-optint/PLIST

+33-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,11 @@
1-
@comment $NetBSD: PLIST,v 1.2 2021/02/03 09:35:31 jaapb Exp $
1+
@comment $NetBSD: PLIST,v 1.3 2022/02/14 09:07:04 wiz Exp $
22
${OCAML_SITELIB}/optint/META
33
${OCAML_SITELIB}/optint/dune-package
4+
${OCAML_SITELIB}/optint/int63_emul.ml
5+
${OCAML_SITELIB}/optint/int63_emul.mli
6+
${OCAML_SITELIB}/optint/int63_native.ml
7+
${OCAML_SITELIB}/optint/int63_native.mli
8+
${OCAML_SITELIB}/optint/integer_interface.ml
49
${OCAML_SITELIB}/optint/opam
510
${PLIST.ocaml-opt}${OCAML_SITELIB}/optint/optint.a
611
${OCAML_SITELIB}/optint/optint.cma
@@ -12,6 +17,33 @@ ${PLIST.ocaml-opt}${OCAML_SITELIB}/optint/optint.cmxa
1217
${PLIST.ocaml-opt}${OCAML_SITELIB}/optint/optint.cmxs
1318
${OCAML_SITELIB}/optint/optint.ml
1419
${OCAML_SITELIB}/optint/optint.mli
20+
${OCAML_SITELIB}/optint/optint__.cmi
21+
${OCAML_SITELIB}/optint/optint__.cmt
22+
${OCAML_SITELIB}/optint/optint__.cmx
23+
${OCAML_SITELIB}/optint/optint__.ml
24+
${OCAML_SITELIB}/optint/optint__Int63_emul.cmi
25+
${OCAML_SITELIB}/optint/optint__Int63_emul.cmt
26+
${OCAML_SITELIB}/optint/optint__Int63_emul.cmti
27+
${OCAML_SITELIB}/optint/optint__Int63_emul.cmx
28+
${OCAML_SITELIB}/optint/optint__Int63_native.cmi
29+
${OCAML_SITELIB}/optint/optint__Int63_native.cmt
30+
${OCAML_SITELIB}/optint/optint__Int63_native.cmti
31+
${OCAML_SITELIB}/optint/optint__Int63_native.cmx
32+
${OCAML_SITELIB}/optint/optint__Integer_interface.cmi
33+
${OCAML_SITELIB}/optint/optint__Integer_interface.cmt
34+
${OCAML_SITELIB}/optint/optint__Integer_interface.cmx
35+
${OCAML_SITELIB}/optint/optint__Optint_emul.cmi
36+
${OCAML_SITELIB}/optint/optint__Optint_emul.cmt
37+
${OCAML_SITELIB}/optint/optint__Optint_emul.cmti
38+
${OCAML_SITELIB}/optint/optint__Optint_emul.cmx
39+
${OCAML_SITELIB}/optint/optint__Optint_native.cmi
40+
${OCAML_SITELIB}/optint/optint__Optint_native.cmt
41+
${OCAML_SITELIB}/optint/optint__Optint_native.cmti
42+
${OCAML_SITELIB}/optint/optint__Optint_native.cmx
43+
${OCAML_SITELIB}/optint/optint_emul.ml
44+
${OCAML_SITELIB}/optint/optint_emul.mli
45+
${OCAML_SITELIB}/optint/optint_native.ml
46+
${OCAML_SITELIB}/optint/optint_native.mli
1547
share/doc/optint/CHANGES.md
1648
share/doc/optint/LICENSE.md
1749
share/doc/optint/README.md

devel/ocaml-optint/distinfo

+4-4
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
1-
$NetBSD: distinfo,v 1.4 2021/10/26 10:15:51 nia Exp $
1+
$NetBSD: distinfo,v 1.5 2022/02/14 09:07:04 wiz Exp $
22

3-
BLAKE2s (optint-0.0.4.tar.gz) = 981594d0bbe119cd97ccc9104ea084461e51febf3f7de8fb96a530e3a1f32998
4-
SHA512 (optint-0.0.4.tar.gz) = dc06fd05df723dbebf176e771d13ab103435fc10022e5adba6588a89c91f2437582235059123b3e74c25917096fd49ae8744d9139081c77c9a0aec3682990ed3
5-
Size (optint-0.0.4.tar.gz) = 7081 bytes
3+
BLAKE2s (optint-0.1.0.tar.gz) = 56df19d188c6a8c071174a9f5fb4d9d201f21a8dc02be26b62bf1d004793a4a7
4+
SHA512 (optint-0.1.0.tar.gz) = e9eac7e24aabe0e2358beb1198389ddfc32b5c39162f328eec8ee8df5642e7a81c483f0bc813a9b778c5c881abb6869e1faf539194b774bf2152e23e7595ec3d
5+
Size (optint-0.1.0.tar.gz) = 11617 bytes

0 commit comments

Comments
 (0)