PARALLELISM-BUILD

building an ACL2 executable with parallel evaluation enabled
Major Section:  PARALLELISM

See compiling-acl2p.