		Search-engine friendly clone of the ACL2 documentation.

Vl-lintconfig-p

Make-honsed-vl-lintconfig

Constructor macro for honsed vl-lintconfig-p structures.

Syntax:

(make-honsed-vl-lintconfig [:start-files <start-files>] 
                           [:help <help>] 
                           [:readme <readme>] 
                           [:search-path <search-path>] 
                           [:search-exts <search-exts>] 
                           [:include-dirs <include-dirs>] 
                           [:topmods <topmods>] 
                           [:quiet <quiet>] 
                           [:dropmods <dropmods>] 
                           [:ignore <ignore>] 
                           [:cclimit <cclimit>] 
                           [:edition <edition>] 
                           [:strict <strict>] 
                           [:mem <mem>] 
                           [:debug <debug>])

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

Definition

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

Macro: make-honsed-vl-lintconfig

(defmacro make-honsed-vl-lintconfig (&rest args)
  (std::make-aggregate 'vl-lintconfig
                       args
                       '((:start-files)
                         (:help)
                         (:readme)
                         (:search-path)
                         (:search-exts quote ("v"))
                         (:include-dirs quote ("."))
                         (:topmods)
                         (:quiet)
                         (:dropmods)
                         (:ignore)
                         (:cclimit . 0)
                         (:edition . :system-verilog-2012)
                         (:strict)
                         (:mem . 4)
                         (:debug))
                       'make-honsed-vl-lintconfig
                       t))