[acl2/acl2] 4a9722: [build] Add MAKEACL2OPTS option to Jenkins scripts.

[Eric W. Smith]

Branch: refs/heads/jenkins-makeacl2opts
Home: https://github.com/acl2/acl2
Commit: 4a97222418b3043b09e492a70568f601c37015ad
https://github.com/acl2/acl2/commit/4a97222418b3043b09e492a70568f601c37015ad
Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-08 (Thu, 08 Jan 2026)

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

Log Message:
-----------
[build] Add MAKEACL2OPTS option to Jenkins scripts.

Unlike MAKEOPTS, which only applies to books, MAKEACL2OPTS applies to building ACL2 itself.



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

[Eric W. Smith]

Branch: refs/heads/testing

Home: https://github.com/acl2/acl2
Commit: 4a97222418b3043b09e492a70568f601c37015ad
https://github.com/acl2/acl2/commit/4a97222418b3043b09e492a70568f601c37015ad
Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-08 (Thu, 08 Jan 2026)

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

Log Message:
-----------
[build] Add MAKEACL2OPTS option to Jenkins scripts.

Unlike MAKEOPTS, which only applies to books, MAKEACL2OPTS applies to building ACL2 itself.

Commit: f4be7f84b31222b67c4dddd52dcbecf8de5497c8
https://github.com/acl2/acl2/commit/f4be7f84b31222b67c4dddd52dcbecf8de5497c8

Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-08 (Thu, 08 Jan 2026)

Changed paths:
M books/build/jenkins/Makefile

Log Message:
-----------
[build] Try to fix syntax.


Commit: 4de378350400f7c7487feaf747168458f3846771
https://github.com/acl2/acl2/commit/4de378350400f7c7487feaf747168458f3846771

Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-08 (Thu, 08 Jan 2026)

Changed paths:
M books/build/jenkins/Makefile

Log Message:
-----------
[build] Fix tabs in Jenkins Makefile.


Commit: 7d791aa11c28256665c140249f9d70417e01c212
https://github.com/acl2/acl2/commit/7d791aa11c28256665c140249f9d70417e01c212

Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-08 (Thu, 08 Jan 2026)

Changed paths:
M books/build/jenkins/Makefile

Log Message:
-----------
[build] Fix printing in Jenkins Makefile.


Commit: db1d5d66264ad0cab20610f1c9cfb55d8099cf99
https://github.com/acl2/acl2/commit/db1d5d66264ad0cab20610f1c9cfb55d8099cf99

Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-08 (Thu, 08 Jan 2026)

Changed paths:

M books/build/jenkins/build-multi.sh
M books/build/jenkins/build-single.sh

Log Message:
-----------

[build] Add some documentation.

This was suggested by a comment in Matt Kaufmann's review of the PR.


Commit: 89078791d2e9aad30f76fb85b7244a303c36b5f2
https://github.com/acl2/acl2/commit/89078791d2e9aad30f76fb85b7244a303c36b5f2
Author: Eric W. Smith <48038799+eri...@users.noreply.github.com>

Date: 2026-01-08 (Thu, 08 Jan 2026)

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

Log Message:
-----------

Merge pull request #1892 from acl2/jenkins-makeacl2opts

Add option in Jenkins scripts to pass make options for ACL2 itself


Compare: https://github.com/acl2/acl2/compare/761ed1a5c96d...89078791d2e9

[Eric W. Smith]

Branch: refs/heads/master