Skip to content

Commit

Permalink
ocaml-optint: update to 0.1.0.
Browse files Browse the repository at this point in the history
### 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
  • Loading branch information
0-wiz-0 committed Feb 14, 2022
1 parent fac3e92 commit ba9988b
Show file tree
Hide file tree
Showing 3 changed files with 41 additions and 12 deletions.
11 changes: 4 additions & 7 deletions devel/ocaml-optint/Makefile
Original file line number Diff line number Diff line change
@@ -1,13 +1,11 @@
# $NetBSD: Makefile,v 1.4 2021/03/08 08:12:54 jaapb Exp $
# $NetBSD: Makefile,v 1.5 2022/02/14 09:07:04 wiz Exp $

GITHUB_PROJECT= optint
GITHUB_TAG= v${PKGVERSION_NOREV}
VER= 0.0.4
DISTNAME= ${GITHUB_PROJECT}-${VER}
DISTNAME= optint-0.1.0
PKGNAME= ocaml-${DISTNAME}
CATEGORIES= devel
MASTER_SITES= ${MASTER_SITE_GITHUB:=mirage/}
PKGREVISION= 2
GITHUB_PROJECT= optint
GITHUB_TAG= v${PKGVERSION_NOREV}

MAINTAINER= jaapb@NetBSD.org
HOMEPAGE= https://github.com/mirage/optint/
Expand All @@ -16,7 +14,6 @@ LICENSE= mit

OCAML_USE_DUNE= yes

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

.include "../../mk/ocaml.mk"
Expand Down
34 changes: 33 additions & 1 deletion devel/ocaml-optint/PLIST
Original file line number Diff line number Diff line change
@@ -1,6 +1,11 @@
@comment $NetBSD: PLIST,v 1.2 2021/02/03 09:35:31 jaapb Exp $
@comment $NetBSD: PLIST,v 1.3 2022/02/14 09:07:04 wiz Exp $
${OCAML_SITELIB}/optint/META
${OCAML_SITELIB}/optint/dune-package
${OCAML_SITELIB}/optint/int63_emul.ml
${OCAML_SITELIB}/optint/int63_emul.mli
${OCAML_SITELIB}/optint/int63_native.ml
${OCAML_SITELIB}/optint/int63_native.mli
${OCAML_SITELIB}/optint/integer_interface.ml
${OCAML_SITELIB}/optint/opam
${PLIST.ocaml-opt}${OCAML_SITELIB}/optint/optint.a
${OCAML_SITELIB}/optint/optint.cma
Expand All @@ -12,6 +17,33 @@ ${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
${OCAML_SITELIB}/optint/optint__.cmx
${OCAML_SITELIB}/optint/optint__.ml
${OCAML_SITELIB}/optint/optint__Int63_emul.cmi
${OCAML_SITELIB}/optint/optint__Int63_emul.cmt
${OCAML_SITELIB}/optint/optint__Int63_emul.cmti
${OCAML_SITELIB}/optint/optint__Int63_emul.cmx
${OCAML_SITELIB}/optint/optint__Int63_native.cmi
${OCAML_SITELIB}/optint/optint__Int63_native.cmt
${OCAML_SITELIB}/optint/optint__Int63_native.cmti
${OCAML_SITELIB}/optint/optint__Int63_native.cmx
${OCAML_SITELIB}/optint/optint__Integer_interface.cmi
${OCAML_SITELIB}/optint/optint__Integer_interface.cmt
${OCAML_SITELIB}/optint/optint__Integer_interface.cmx
${OCAML_SITELIB}/optint/optint__Optint_emul.cmi
${OCAML_SITELIB}/optint/optint__Optint_emul.cmt
${OCAML_SITELIB}/optint/optint__Optint_emul.cmti
${OCAML_SITELIB}/optint/optint__Optint_emul.cmx
${OCAML_SITELIB}/optint/optint__Optint_native.cmi
${OCAML_SITELIB}/optint/optint__Optint_native.cmt
${OCAML_SITELIB}/optint/optint__Optint_native.cmti
${OCAML_SITELIB}/optint/optint__Optint_native.cmx
${OCAML_SITELIB}/optint/optint_emul.ml
${OCAML_SITELIB}/optint/optint_emul.mli
${OCAML_SITELIB}/optint/optint_native.ml
${OCAML_SITELIB}/optint/optint_native.mli
share/doc/optint/CHANGES.md
share/doc/optint/LICENSE.md
share/doc/optint/README.md
8 changes: 4 additions & 4 deletions devel/ocaml-optint/distinfo
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
$NetBSD: distinfo,v 1.4 2021/10/26 10:15:51 nia Exp $
$NetBSD: distinfo,v 1.5 2022/02/14 09:07:04 wiz Exp $

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

0 comments on commit ba9988b

Please sign in to comment.