[acl2/acl2] 67864c: [jenkins] Simplify scripts.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 67864c69073c3b7c7885261877078879fe8f3e96
https://github.com/acl2/acl2/commit/67864c69073c3b7c7885261877078879fe8f3e96
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-31 (Wed, 31 Dec 2025)

Changed paths:
M books/build/jenkins/build-multi.sh
M books/build/jenkins/build-single.sh

Log Message:
-----------
[jenkins] Simplify scripts.

Remove unused var ACL2DIR.


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

Changed paths:
M books/build/jenkins/build-multi.sh
M books/build/jenkins/build-single.sh

Log Message:
-----------
Merge pull request #1878 from acl2/jenkins-scripts-acl2dir

[jenkins] Simplify scripts.


Compare: https://github.com/acl2/acl2/compare/5b4c54fe61bb...74ec5de661b8

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

[Eric W. Smith]

Branch: refs/heads/master

Home: https://github.com/acl2/acl2
Commit: 67864c69073c3b7c7885261877078879fe8f3e96
https://github.com/acl2/acl2/commit/67864c69073c3b7c7885261877078879fe8f3e96
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-31 (Wed, 31 Dec 2025)

Changed paths:
M books/build/jenkins/build-multi.sh
M books/build/jenkins/build-single.sh

Log Message:
-----------
[jenkins] Simplify scripts.

Remove unused var ACL2DIR.

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.

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

Changed paths:
M books/build/jenkins/build-multi.sh
M books/build/jenkins/build-single.sh

Log Message:
-----------
Merge pull request #1878 from acl2/jenkins-scripts-acl2dir

[jenkins] Simplify scripts.

Compare: https://github.com/acl2/acl2/compare/5fa98e9414a0...74ec5de661b8

[Eric W. Smith]

Branch: refs/heads/testing