Start an ACL2 Bridge server.
Warning: don't even think about starting an ACL2 Bridge until you have read about security.
Unix Domain Socket Examples (recommended):
(bridge::start "./my-socket") (bridge::start "/tmp/my-socket")
TCP/IP Socket Examples (very scary -- see security!!!):
(bridge::start nil) ;; Listen on TCP/IP port 55432 (bridge::start 12345) ;; Listen on TCP/IP port 12345
Additional keyword options:
(defun start-fn (socket-name-or-port-number stack-size tstack-size vstack-size) (declare (xargs :guard t) (ignorable socket-name-or-port-number stack-size tstack-size vstack-size)) (cw "Under-the-hood definition of bridge::start-fn not installed?~%"))