При создании книг ACL2, как мне избавиться от ошибки "Волшебное число..."
При сборке книг для ACL2 я получаю следующую ошибку. Как мне от этого избавиться?
Magic number checking on storable file failed at ../../lib/Storable.pm (autosplit into ../../lib/auto/Storable/_retrieve.al) line 380, at /<elided>/sw/acl2/books/build/certlib.pl line 1850
1 ответ
Удалить файлы cert-pl-cache.tmp а также build/Makefile-cache если они существуют.
Это свидетельствует о несовместимости между версией Perl, используемой для записи кэша, и версией, используемой в настоящее время для чтения кэша.