		Search-engine friendly clone of the ACL2 documentation.

Vl-pp-opts-p

Make-honsed-vl-pp-opts

Constructor macro for honsed vl-pp-opts-p structures.

Syntax:

(make-honsed-vl-pp-opts [:help <help>] 
                        [:readme <readme>] 
                        [:output <output>] 
                        [:outdefs <outdefs>] 
                        [:start-files <start-files>] 
                        [:include-dirs <include-dirs>] 
                        [:defines <defines>] 
                        [:edition <edition>] 
                        [:strict <strict>] 
                        [:mem <mem>])

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

Definition

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

Macro: make-honsed-vl-pp-opts

(defmacro make-honsed-vl-pp-opts (&rest args)
  (std::make-aggregate 'vl-pp-opts
                       args
                       '((:help)
                         (:readme)
                         (:output . "vl-pp.out")
                         (:outdefs . "vl-pp.defs")
                         (:start-files)
                         (:include-dirs)
                         (:defines)
                         (:edition . :system-verilog-2012)
                         (:strict)
                         (:mem . 4))
                       'make-honsed-vl-pp-opts
                       t))