COMMAND-LINE.html -- ACL2 Version 6.3

COMMAND-LINE

handling of command-line arguments when ACL2 is invoked

Major Section:  OTHER

You may provide command-line arguments when invoking ACL2, which are passed to the host Lisp. For more information on this topic, along with a discussion of how to save an ACL2 executable that avoids passing command-line arguments to the host Lisp, see save-exec.

Some Related Topics

SAVE-EXEC -- save an executable image and a wrapper script

COMMAND-LINE

Some Related Topics

SAVE-EXEC -- save an executable image and a wrapper script