		Search-engine friendly clone of the ACL2 documentation.

Vl-gather-opts-p

Change-vl-gather-opts

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

Syntax:

(change-vl-gather-opts x 
                       [:help <help>] 
                       [:readme <readme>] 
                       [:output <output>] 
                       [:start-files <start-files>] 
                       [:search-path <search-path>] 
                       [:include-dirs <include-dirs>] 
                       [:search-exts <search-exts>] 
                       [:defines <defines>] 
                       [:edition <edition>] 
                       [:strict <strict>] 
                       [:mem <mem>])

This is a sometimes useful alternative to make-vl-gather-opts. It constructs a new vl-gather-opts-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-gather-opts

(defmacro change-vl-gather-opts (x &rest args)
  (std::change-aggregate
       'vl-gather-opts
       x args
       '((:help . vl-gather-opts->help)
         (:readme . vl-gather-opts->readme)
         (:output . vl-gather-opts->output)
         (:start-files . vl-gather-opts->start-files)
         (:search-path . vl-gather-opts->search-path)
         (:include-dirs . vl-gather-opts->include-dirs)
         (:search-exts . vl-gather-opts->search-exts)
         (:defines . vl-gather-opts->defines)
         (:edition . vl-gather-opts->edition)
         (:strict . vl-gather-opts->strict)
         (:mem . vl-gather-opts->mem))
       'change-vl-gather-opts
       'nil))