		Search-engine friendly clone of the ACL2 documentation.

Vl-server-opts-p

Make-honsed-vl-server-opts

Constructor macro for honsed vl-server-opts-p structures.

Syntax:

(make-honsed-vl-server-opts [:help <help>] 
                            [:readme <readme>] 
                            [:mem <mem>] 
                            [:port <port>] 
                            [:root <root>] 
                            [:public <public>])

This is identical to make-vl-server-opts, except that we hons the structure we are creating.

Definition

This is an ordinary honsing make- macro introduced by defaggregate.

Macro: make-honsed-vl-server-opts

(defmacro make-honsed-vl-server-opts (&rest args)
 (std::make-aggregate
  'vl-server-opts
  args
  '((:help)
    (:readme)
    (:mem . 6)
    (:port . 9999)
    (:root . "./translations")
    (:public
     .
     "/var/lib/jenkins/workspace/acl2-master/books/centaur/vl2014/server/public"))
  'make-honsed-vl-server-opts
  t))