[acl2/acl2] 368087: [books/GNUmakefile] Improve basic target.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 36808737211171b7c2deb4f054a497e27bf5772d
https://github.com/acl2/acl2/commit/36808737211171b7c2deb4f054a497e27bf5772d
Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-05 (Mon, 05 Jan 2026)

Changed paths:
M books/GNUmakefile
M books/system/doc/acl2-doc.lisp

Log Message:
-----------
[books/GNUmakefile] Improve basic target.

It was certifying some slow number theory books and various books about primes, just because of std/util/add-io-pairs-tests.lisp. I excluded that file, and doing so reduced the wall-clock time for make basic by about half, on my big machine.


Commit: 5b4c54fe61bbb4d085e108e6877e4f80eaa92021
https://github.com/acl2/acl2/commit/5b4c54fe61bbb4d085e108e6877e4f80eaa92021
Author: Eric W. Smith <48038799+eri...@users.noreply.github.com>
Date: 2026-01-19 (Mon, 19 Jan 2026)

Changed paths:
M books/GNUmakefile
M books/system/doc/acl2-doc.lisp

Log Message:
-----------
Merge pull request #1888 from acl2/make-basic

[books/GNUmakefile] Improve basic target.


Compare: https://github.com/acl2/acl2/compare/5fa98e9414a0...5b4c54fe61bb

To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications