git.libre-soc.org Git - cvc5.git/commit

add workaround for systems (i.e., Mac OS X) that don't support __thread; also configure script auto-detection of __thread support and syntax

15 files changed:

AUTHORS		diff \| blob \| history
COPYING		diff \| blob \| history
config/ax_tls.m4	[new file with mode: 0644]	blob
configure.ac		diff \| blob \| history
contrib/editing-with-emacs		diff \| blob \| history
src/expr/node_manager.cpp		diff \| blob \| history
src/expr/node_manager.h		diff \| blob \| history
src/main/util.cpp		diff \| blob \| history
src/util/Assert.cpp		diff \| blob \| history
src/util/Assert.h		diff \| blob \| history
src/util/Makefile.am		diff \| blob \| history
src/util/configuration.cpp		diff \| blob \| history
src/util/configuration.h		diff \| blob \| history
src/util/configuration_private.h		diff \| blob \| history
src/util/tls.h.in	[new file with mode: 0644]	blob