vatomic: Add vatomic v2.3.1

[Diogo Behrens (via pkgsrc-wip) <commit-notify%pkgsrc.org@localhost>]

Module Name:	pkgsrc-wip
Committed By:	Diogo Behrens <db7%sdf.org@localhost>
Pushed By:	db7
Date:		Wed Mar 19 21:19:02 2025 +0100
Changeset:	92b3bb8d683b5742f0f2837767ebd4d9293bbe6c

Added Files:
	vatomic/COMMIT_MSG
	vatomic/DESCR
	vatomic/Makefile
	vatomic/PLIST
	vatomic/distinfo

Log Message:
vatomic: Add vatomic v2.3.1

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=92b3bb8d683b5742f0f2837767ebd4d9293bbe6c

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

diffstat:
 vatomic/COMMIT_MSG |  3 +++
 vatomic/DESCR      | 13 +++++++++++++
 vatomic/Makefile   | 18 ++++++++++++++++++
 vatomic/PLIST      | 55 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
 vatomic/distinfo   |  5 +++++
 5 files changed, 94 insertions(+)

diffs:
diff --git a/vatomic/COMMIT_MSG b/vatomic/COMMIT_MSG
new file mode 100644
index 0000000000..e87cab6c31
--- /dev/null
+++ b/vatomic/COMMIT_MSG
@@ -0,0 +1,3 @@
+devel/vatomic: Add vatomic version 2.3.1
+
+Packaged in wip by db7
diff --git a/vatomic/DESCR b/vatomic/DESCR
new file mode 100644
index 0000000000..0981574634
--- /dev/null
+++ b/vatomic/DESCR
@@ -0,0 +1,13 @@
+# VSync atomics - formally-verified atomic operations library
+
+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.
diff --git a/vatomic/Makefile b/vatomic/Makefile
new file mode 100644
index 0000000000..8e8d54925c
--- /dev/null
+++ b/vatomic/Makefile
@@ -0,0 +1,18 @@
+# $NetBSD$
+
+GITHUB_TAG=	v${PKGVERSION_NOREV}
+DISTNAME=	vatomic-2.3.1
+CATEGORIES=	devel
+MASTER_SITES=	${MASTER_SITE_GITHUB:=open-s4c/}
+
+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"
diff --git a/vatomic/PLIST b/vatomic/PLIST
new file mode 100644
index 0000000000..b66cd756c1
--- /dev/null
+++ b/vatomic/PLIST
@@ -0,0 +1,55 @@
+@comment $NetBSD$
+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
diff --git a/vatomic/distinfo b/vatomic/distinfo
new file mode 100644
index 0000000000..3ccbc06814
--- /dev/null
+++ b/vatomic/distinfo
@@ -0,0 +1,5 @@
+$NetBSD$
+
+BLAKE2s (vatomic-2.3.0.tar.gz) = 5c4dc9bbb375445d4ebf06d7a54eca8ece97e4717fbd07b19b89e72aa1e089c7
+SHA512 (vatomic-2.3.0.tar.gz) = be4db53ca82261f4ec21b1e67b2b26e98aaa04aff3fd3c71aac4077f00e49223c8613d306afaa1a0b467838eac36d6d5808266a48b6013251d5a79ded2360f41
+Size (vatomic-2.3.0.tar.gz) = 159222 bytes