		Search-engine friendly clone of the ACL2 documentation.

Vl-zip-opts-p

Change-vl-zip-opts

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

Syntax:

(change-vl-zip-opts x 
                    [:help <help>] 
                    [:readme <readme>] 
                    [:name <name>] 
                    [:output <output>] 
                    [:start-files <start-files>] 
                    [:plusargs <plusargs>] 
                    [: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-zip-opts. It constructs a new vl-zip-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-zip-opts

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