		Search-engine friendly clone of the ACL2 documentation.

Vl-lintconfig-p

Make-vl-lintconfig

Constructor macro for vl-lintconfig-p structures.

Syntax:

(make-vl-lintconfig [:start-files <start-files>] 
                    [:plusargs <plusargs>] 
                    [:help <help>] 
                    [:readme <readme>] 
                    [:search-path <search-path>] 
                    [:search-exts <search-exts>] 
                    [:include-dirs <include-dirs>] 
                    [:topmods <topmods>] 
                    [:quiet <quiet>] 
                    [:dropmods <dropmods>] 
                    [:ignore <ignore>] 
                    [:ignore-files <ignore-files>] 
                    [:defines <defines>] 
                    [:cclimit <cclimit>] 
                    [:global-packages <global-packages>] 
                    [:elab-limit <elab-limit>] 
                    [:stmt-limit <stmt-limit>] 
                    [:no-typo <no-typo>] 
                    [:no-html <no-html>] 
                    [:no-sv-use-set <no-sv-use-set>] 
                    [:edition <edition>] 
                    [:strict <strict>] 
                    [:mem <mem>] 
                    [:debug <debug>] 
                    [:shell <shell>] 
                    [:post-shell <post-shell>])

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

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

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

Definition

This is an ordinary make- macro introduced by defaggregate.

Macro: make-vl-lintconfig

(defmacro make-vl-lintconfig (&rest args)
  (std::make-aggregate 'vl-lintconfig
                       args
                       '((:start-files)
                         (:plusargs)
                         (:help)
                         (:readme)
                         (:search-path)
                         (:search-exts quote ("v"))
                         (:include-dirs quote ("."))
                         (:topmods)
                         (:quiet)
                         (:dropmods)
                         (:ignore)
                         (:ignore-files)
                         (:defines)
                         (:cclimit . 0)
                         (:global-packages)
                         (:elab-limit . 10000)
                         (:stmt-limit . 80)
                         (:no-typo)
                         (:no-html)
                         (:no-sv-use-set)
                         (:edition . :system-verilog-2012)
                         (:strict)
                         (:mem . 4)
                         (:debug)
                         (:shell)
                         (:post-shell))
                       'make-vl-lintconfig
                       nil))