PARALLELISM-BUILD
building an ACL2 executable with parallel execution enabled
Major Section:
MISCELLANEOUS
See
compiling-acl2p
.
