		Search-engine friendly clone of the ACL2 documentation.

Vl-loadconfig

Change-vl-loadconfig

Modifying constructor for vl-loadconfig structures.

Syntax

(change-vl-loadconfig x 
                      [:edition <edition>] 
                      [:strictp <strictp>] 
                      [:start-files <start-files>] 
                      [:start-names <start-names>] 
                      [:search-path <search-path>] 
                      [:search-exts <search-exts>] 
                      [:include-dirs <include-dirs>] 
                      [:defines <defines>] 
                      [:filemapp <filemapp>] 
                      [:flush-tries <flush-tries>] 
                      [:mintime <mintime>])

This is an often useful alternative to make-vl-loadconfig.

We construct a new vl-loadconfig 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 defprod.

Macro: change-vl-loadconfig

(defmacro change-vl-loadconfig (x &rest args)
  (std::change-aggregate
       'vl-loadconfig
       x args
       '((:edition . vl-loadconfig->edition)
         (:strictp . vl-loadconfig->strictp)
         (:start-files . vl-loadconfig->start-files)
         (:start-names . vl-loadconfig->start-names)
         (:search-path . vl-loadconfig->search-path)
         (:search-exts . vl-loadconfig->search-exts)
         (:include-dirs . vl-loadconfig->include-dirs)
         (:defines . vl-loadconfig->defines)
         (:filemapp . vl-loadconfig->filemapp)
         (:flush-tries . vl-loadconfig->flush-tries)
         (:mintime . vl-loadconfig->mintime))
       'change-vl-loadconfig
       'nil))