CVS commit: pkgsrc/devel/vatomic

["Thomas Klausner" <wiz%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   wiz
Date:           Sun Mar 30 07:57:10 UTC 2025

Added Files:
        pkgsrc/devel/vatomic: DESCR Makefile PLIST buildlink3.mk distinfo

Log Message:
devel/vatomic: Add vatomic version 2.3.1

A formally verified, header-only library of atomics operations supporting ARMv7,
ARMv8 (AArch32 and AArch64), RISC-V, and x86_64.

Packaged in wip by db7


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/devel/vatomic/DESCR \
    pkgsrc/devel/vatomic/Makefile pkgsrc/devel/vatomic/PLIST \
    pkgsrc/devel/vatomic/buildlink3.mk pkgsrc/devel/vatomic/distinfo

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Added files:

Index: pkgsrc/devel/vatomic/DESCR
diff -u /dev/null pkgsrc/devel/vatomic/DESCR:1.1
--- /dev/null   Sun Mar 30 07:57:10 2025
+++ pkgsrc/devel/vatomic/DESCR  Sun Mar 30 07:57:10 2025
@@ -0,0 +1,12 @@
+vatomic is a header library of *atomics operations*, supporting
+mainstream architectures: ARMv7, ARMv8 (AArch32 and AArch64),
+RISC-V, and x86_64. The memory ordering guarantees provided by the
+atomic interface are formally described in the VSync Memory Model
+(VMM) file (vmm.cat).
+
+Users can use the vmm.cat file to verify the correctness of their
+algorithms with a model checker that supports .cat files.
+
+The atomics implementations are being gradually verified to comply
+with VMM. At the moment, we have completed the verification of
+ARMv8 64-bits with and without LSE instructions.
Index: pkgsrc/devel/vatomic/Makefile
diff -u /dev/null pkgsrc/devel/vatomic/Makefile:1.1
--- /dev/null   Sun Mar 30 07:57:10 2025
+++ pkgsrc/devel/vatomic/Makefile       Sun Mar 30 07:57:10 2025
@@ -0,0 +1,17 @@
+# $NetBSD: Makefile,v 1.1 2025/03/30 07:57:10 wiz Exp $
+
+DISTNAME=      vatomic-2.3.1
+CATEGORIES=    devel
+MASTER_SITES=  ${MASTER_SITE_GITHUB:=open-s4c/}
+GITHUB_TAG=    v${PKGVERSION_NOREV}
+
+MAINTAINER=    db7%sdf.org@localhost
+HOMEPAGE=      https://github.com/open-s4c/vatomic/
+COMMENT=       Formally verified atomic operations
+LICENSE=       mit
+
+USE_LANGUAGES=         c c++
+CMAKE_CONFIGURE_ARGS=  -DVATOMIC_DEV=off
+
+.include "../../devel/cmake/build.mk"
+.include "../../mk/bsd.pkg.mk"
Index: pkgsrc/devel/vatomic/PLIST
diff -u /dev/null pkgsrc/devel/vatomic/PLIST:1.1
--- /dev/null   Sun Mar 30 07:57:10 2025
+++ pkgsrc/devel/vatomic/PLIST  Sun Mar 30 07:57:10 2025
@@ -0,0 +1,55 @@
+@comment $NetBSD: PLIST,v 1.1 2025/03/30 07:57:10 wiz Exp $
+include/vsync/atomic.h
+include/vsync/atomic/await.h
+include/vsync/atomic/await_ptr.h
+include/vsync/atomic/await_u32.h
+include/vsync/atomic/await_u64.h
+include/vsync/atomic/compat.h
+include/vsync/atomic/config.h
+include/vsync/atomic/core.h
+include/vsync/atomic/core_ptr.h
+include/vsync/atomic/core_sz.h
+include/vsync/atomic/core_u16.h
+include/vsync/atomic/core_u32.h
+include/vsync/atomic/core_u64.h
+include/vsync/atomic/core_u8.h
+include/vsync/atomic/dispatch.h
+include/vsync/atomic/doc.h
+include/vsync/atomic/internal/arm32_v7.h
+include/vsync/atomic/internal/arm32_v8.h
+include/vsync/atomic/internal/arm64.h
+include/vsync/atomic/internal/arm64_llsc.h
+include/vsync/atomic/internal/arm64_lse.h
+include/vsync/atomic/internal/arm64_lxe.h
+include/vsync/atomic/internal/atomic_rlx.h
+include/vsync/atomic/internal/builtins.h
+include/vsync/atomic/internal/config/fnc_rlx.h
+include/vsync/atomic/internal/config/fnc_sc.h
+include/vsync/atomic/internal/config/ptr_rlx.h
+include/vsync/atomic/internal/config/ptr_sc.h
+include/vsync/atomic/internal/config/sz_rlx.h
+include/vsync/atomic/internal/config/sz_sc.h
+include/vsync/atomic/internal/config/u16_rlx.h
+include/vsync/atomic/internal/config/u16_sc.h
+include/vsync/atomic/internal/config/u32_rlx.h
+include/vsync/atomic/internal/config/u32_sc.h
+include/vsync/atomic/internal/config/u64_rlx.h
+include/vsync/atomic/internal/config/u64_sc.h
+include/vsync/atomic/internal/config/u8_rlx.h
+include/vsync/atomic/internal/config/u8_sc.h
+include/vsync/atomic/internal/dispatch.h
+include/vsync/atomic/internal/fallback.h
+include/vsync/atomic/internal/macros.h
+include/vsync/atomic/internal/types.h
+include/vsync/atomic/internal/undef.h
+include/vsync/atomic/internal/x86.h
+include/vsync/common/await_while.h
+include/vsync/common/internal/await_while.h
+include/vsync/common/macros.h
+include/vsync/common/verify.h
+include/vsync/doc.h
+include/vsync/vtypes.h
+lib/cmake/vatomic/vatomicConfig.cmake
+lib/cmake/vatomic/vatomicConfigVersion.cmake
+lib/cmake/vatomic/vatomicTargets.cmake
+share/vsync/vmm.cat
Index: pkgsrc/devel/vatomic/buildlink3.mk
diff -u /dev/null pkgsrc/devel/vatomic/buildlink3.mk:1.1
--- /dev/null   Sun Mar 30 07:57:10 2025
+++ pkgsrc/devel/vatomic/buildlink3.mk  Sun Mar 30 07:57:10 2025
@@ -0,0 +1,14 @@
+# $NetBSD: buildlink3.mk,v 1.1 2025/03/30 07:57:10 wiz Exp $
+
+BUILDLINK_TREE+=       vatomic
+
+.if !defined(VATOMIC_BUILDLINK3_MK)
+VATOMIC_BUILDLINK3_MK:=
+
+BUILDLINK_API_DEPENDS.vatomic+=        vatomic>=2.3.1
+BUILDLINK_ABI_DEPENDS.vatomic+=        vatomic>=2.3.1
+BUILDLINK_PKGSRCDIR.vatomic?=  ../../devel/vatomic
+
+.endif # VATOMIC_BUILDLINK3_MK
+
+BUILDLINK_TREE+=       -vatomic
Index: pkgsrc/devel/vatomic/distinfo
diff -u /dev/null pkgsrc/devel/vatomic/distinfo:1.1
--- /dev/null   Sun Mar 30 07:57:10 2025
+++ pkgsrc/devel/vatomic/distinfo       Sun Mar 30 07:57:10 2025
@@ -0,0 +1,5 @@
+$NetBSD: distinfo,v 1.1 2025/03/30 07:57:10 wiz Exp $
+
+BLAKE2s (vatomic-2.3.1.tar.gz) = 66f2feeb15aecde9d615f500c3aced54c31823a5919e077da472c33aa9d4fc97
+SHA512 (vatomic-2.3.1.tar.gz) = 4ba325634c7f83941216735ff039aed52b4a2b8c34322715a5b390d91893d5ed7ffe83b5608c6514efe26fc026d50efa7acbb0bf49ffb482eb6fd46a3ffa6fce
+Size (vatomic-2.3.1.tar.gz) = 175309 bytes