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