Greetings, and thanks! To my understanding, this is only active on thread-supporting lisps (e.g. ccl), not GCL. These should be no-op wrappers in Debian. Can verify this with strace if needed.
Take care, Stepan Golosunov <ste...@golosunov.pp.ru> writes: > 14.11.2016 в 11:24:04 -0500 Camm Maguire написал(а): >> Neither ACL2 nor underlying gcl makes any use of threads or locks, but > > Note that the failing memoize-tests.lisp creates some sort of threads > and mentions lock contention in comments. > >> > **CERTIFICATION FAILED** for >> > /<<PKGBUILDDIR>>/books/system/hons-check/memoize-tests.lisp >> > >> > /<<PKGBUILDDIR>>/books/build/make_cert:106: recipe for target >> > 'system/hons-check/memoize-tests.cert' failed >> > make[2]: *** [system/hons-check/memoize-tests.cert] Error 1 > > > > -- Camm Maguire c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah
