		Search-engine friendly clone of the ACL2 documentation.

Vl-lintconfig-p

Change-vl-lintconfig

A copying macro that lets you create new vl-lintconfig-p structures, based on existing structures.

Syntax:

(change-vl-lintconfig x 
                      [: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 a sometimes useful alternative to make-vl-lintconfig. It constructs a new vl-lintconfig-p structure that is a copy of x, except that you can explicitly change some particular fields. Any fields you don't mention just keep their values from x.

Definition

This is an ordinary change- macro introduced by defaggregate.

Macro: change-vl-lintconfig

(defmacro change-vl-lintconfig (x &rest args)
  (std::change-aggregate
       'vl-lintconfig
       x args
       '((:start-files . vl-lintconfig->start-files)
         (:plusargs . vl-lintconfig->plusargs)
         (:help . vl-lintconfig->help)
         (:readme . vl-lintconfig->readme)
         (:search-path . vl-lintconfig->search-path)
         (:search-exts . vl-lintconfig->search-exts)
         (:include-dirs . vl-lintconfig->include-dirs)
         (:topmods . vl-lintconfig->topmods)
         (:quiet . vl-lintconfig->quiet)
         (:dropmods . vl-lintconfig->dropmods)
         (:ignore . vl-lintconfig->ignore)
         (:ignore-files . vl-lintconfig->ignore-files)
         (:defines . vl-lintconfig->defines)
         (:cclimit . vl-lintconfig->cclimit)
         (:global-packages . vl-lintconfig->global-packages)
         (:elab-limit . vl-lintconfig->elab-limit)
         (:stmt-limit . vl-lintconfig->stmt-limit)
         (:no-typo . vl-lintconfig->no-typo)
         (:no-html . vl-lintconfig->no-html)
         (:no-sv-use-set . vl-lintconfig->no-sv-use-set)
         (:edition . vl-lintconfig->edition)
         (:strict . vl-lintconfig->strict)
         (:mem . vl-lintconfig->mem)
         (:debug . vl-lintconfig->debug)
         (:shell . vl-lintconfig->shell)
         (:post-shell . vl-lintconfig->post-shell))
       'change-vl-lintconfig
       'remake-vl-lintconfig))