pkgsrc-WIP-changes archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
vatomic: remove, imported to pkgsrc/devel
Module Name: pkgsrc-wip
Committed By: Thomas Klausner <wiz%NetBSD.org@localhost>
Pushed By: wiz
Date: Sun Mar 30 10:52:30 2025 +0200
Changeset: 9e4d7c25f83fce3cb895c1d8ed8435cbdd3b3019
Modified Files:
Makefile
Removed Files:
vatomic/COMMIT_MSG
vatomic/DESCR
vatomic/Makefile
vatomic/PLIST
vatomic/buildlink3.mk
vatomic/distinfo
Log Message:
vatomic: remove, imported to pkgsrc/devel
To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=9e4d7c25f83fce3cb895c1d8ed8435cbdd3b3019
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
diffstat:
Makefile | 1 -
vatomic/COMMIT_MSG | 6 ------
vatomic/DESCR | 13 ------------
vatomic/Makefile | 17 ----------------
vatomic/PLIST | 55 ---------------------------------------------------
vatomic/buildlink3.mk | 12 -----------
vatomic/distinfo | 5 -----
7 files changed, 109 deletions(-)
diffs:
diff --git a/Makefile b/Makefile
index 171a0bacba..d5b1e17e1e 100644
--- a/Makefile
+++ b/Makefile
@@ -5851,7 +5851,6 @@ SUBDIR+= vamps
SUBDIR+= vanitygen
SUBDIR+= varnish-modules
SUBDIR+= varnish-slash
-SUBDIR+= vatomic
SUBDIR+= vault
SUBDIR+= vaultwarden-web-vault
SUBDIR+= vcf-split
diff --git a/vatomic/COMMIT_MSG b/vatomic/COMMIT_MSG
deleted file mode 100644
index b16dc78033..0000000000
--- a/vatomic/COMMIT_MSG
+++ /dev/null
@@ -1,6 +0,0 @@
-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
diff --git a/vatomic/DESCR b/vatomic/DESCR
deleted file mode 100644
index 0981574634..0000000000
--- a/vatomic/DESCR
+++ /dev/null
@@ -1,13 +0,0 @@
-# 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
deleted file mode 100644
index 4b8efb5967..0000000000
--- a/vatomic/Makefile
+++ /dev/null
@@ -1,17 +0,0 @@
-# $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
deleted file mode 100644
index b66cd756c1..0000000000
--- a/vatomic/PLIST
+++ /dev/null
@@ -1,55 +0,0 @@
-@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/buildlink3.mk b/vatomic/buildlink3.mk
deleted file mode 100644
index 3116269135..0000000000
--- a/vatomic/buildlink3.mk
+++ /dev/null
@@ -1,12 +0,0 @@
-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?= ../../wip/vatomic
-
-.endif # VATOMIC_BUILDLINK3_MK
-
-BUILDLINK_TREE+= -vatomic
diff --git a/vatomic/distinfo b/vatomic/distinfo
deleted file mode 100644
index 99c4f1181a..0000000000
--- a/vatomic/distinfo
+++ /dev/null
@@ -1,5 +0,0 @@
-$NetBSD$
-
-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
Home |
Main Index |
Thread Index |
Old Index