diff --git a/abi_used_symbols b/abi_used_symbols
index b17da36..fb018a0 100644
--- a/abi_used_symbols
+++ b/abi_used_symbols
@@ -97,11 +97,15 @@ libc.so.6:pthread_cond_destroy
libc.so.6:pthread_cond_signal
libc.so.6:pthread_cond_wait
libc.so.6:pthread_create
+libc.so.6:pthread_getspecific
libc.so.6:pthread_join
+libc.so.6:pthread_key_create
+libc.so.6:pthread_key_delete
libc.so.6:pthread_mutex_lock
libc.so.6:pthread_mutex_trylock
libc.so.6:pthread_mutex_unlock
libc.so.6:pthread_once
+libc.so.6:pthread_setspecific
libc.so.6:putc
libc.so.6:putwc
libc.so.6:read
diff --git a/package.yml b/package.yml
index 7e6cb31..e2087a7 100644
--- a/package.yml
+++ b/package.yml
@@ -1,8 +1,8 @@
name : verilator
-version : '5.012'
-release : 36
+version : '5.014'
+release : 37
source :
- - https://github.com/verilator/verilator/archive/refs/tags/v5.012.tar.gz : db19a7d7615b37d9108654e757427e4c3f44e6e973ed40dd5e0e80cc6beb8467
+ - https://github.com/verilator/verilator/archive/refs/tags/v5.014.tar.gz : 36e16c8a7c4b376f88d87411cea6ee68710e6d1382a13faf21f35d65b54df4a7
license :
- LGPL-3.0-only
- Artistic-2.0
diff --git a/pspec_x86_64.xml b/pspec_x86_64.xml
index addc3c9..0dc1ec6 100644
--- a/pspec_x86_64.xml
+++ b/pspec_x86_64.xml
@@ -99,7 +99,6 @@
/usr/share/verilator/include/verilated_fst_sc.cpp
/usr/share/verilator/include/verilated_fst_sc.h
/usr/share/verilator/include/verilated_funcs.h
- /usr/share/verilator/include/verilated_heavy.h
/usr/share/verilator/include/verilated_imp.h
/usr/share/verilator/include/verilated_intrinsics.h
/usr/share/verilator/include/verilated_probdist.cpp
@@ -139,16 +138,16 @@
programming.devel
- verilator
+ verilator
/usr/share/pkgconfig/verilator.pc
-
- 2023-07-26
- 5.012
+
+ 2023-08-08
+ 5.014
Packaging update
David Harder
david@davidjharder.ca