		Search-engine friendly clone of the ACL2 documentation.

Vl-server-opts-p

Make-vl-server-opts

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

Syntax:

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

This is our preferred way to construct vl-server-opts-p structures. It simply conses together a structure with the specified fields.

This macro generates a new vl-server-opts-p structure from scratch. See also change-vl-server-opts, which can "change" an existing structure, instead.

The vl-server-opts-p structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see make-honsed-vl-server-opts instead.

Definition

This is an ordinary make- macro introduced by defaggregate.

Macro: make-vl-server-opts

(defmacro make-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-vl-server-opts
  nil))