		Search-engine friendly clone of the ACL2 documentation.

Stv2c-opts-p

Make-stv2c-opts

Constructor macro for stv2c-opts-p structures.

Syntax:

(make-stv2c-opts [:help <help>] 
                 [:readme <readme>] 
                 [:stv <stv>] 
                 [:start-files <start-files>] 
                 [:search-path <search-path>] 
                 [:search-exts <search-exts>] 
                 [:defines <defines>] 
                 [:edition <edition>] 
                 [:strict <strict>] 
                 [:mem <mem>])

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

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

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

Definition

This is an ordinary make- macro introduced by std::defaggregate.

Macro: make-stv2c-opts

(defmacro make-stv2c-opts (&rest args)
          (std::make-aggregate 'stv2c-opts
                               args
                               '((:help)
                                 (:readme)
                                 (:stv . "")
                                 (:start-files)
                                 (:search-path)
                                 (:search-exts quote ("v"))
                                 (:defines)
                                 (:edition . :system-verilog-2012)
                                 (:strict)
                                 (:mem . 4))
                               'make-stv2c-opts
                               nil))