• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Community
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
      • Gl
      • Esim
      • Vl2014
        • Warnings
        • Primitives
        • Use-set
        • Syntax
        • Getting-started
        • Utilities
        • Loader
        • Transforms
        • Lint
        • Mlib
        • Server
        • Kit
          • Vl-model
          • Vl-json
          • Vl-gather
            • Vl-gather-opts-p
              • Parse-vl-gather-opts
              • Vl-gather-opts
              • Make-vl-gather-opts
              • Change-vl-gather-opts
              • Honsed-vl-gather-opts
              • Make-honsed-vl-gather-opts
              • *vl-gather-opts-usage*
                • Vl-gather-opts->strict
                • Vl-gather-opts->start-files
                • Vl-gather-opts->search-path
                • Vl-gather-opts->search-exts
                • Vl-gather-opts->readme
                • Vl-gather-opts->output
                • Vl-gather-opts->mem
                • Vl-gather-opts->include-dirs
                • Vl-gather-opts->help
                • Vl-gather-opts->edition
                • Vl-gather-opts->defines
            • Vl-server
            • Vl-pp
            • Vl-lint
            • Vl-main
            • Vl-toolkit-other-command
            • Vl-help
          • Printer
          • Esim-vl
          • Well-formedness
        • Sv
        • Fgl
        • Vwsim
        • Vl
        • X86isa
        • Svl
        • Rtl
      • Software-verification
      • Math
      • Testing-utilities
    • Vl-gather-opts-p

    *vl-gather-opts-usage*

    Automatically generated usage message.

        -h,--help             Show a brief usage message and exit. 
    --readme              Show a more elaborate README and exit. 
    -o,--output=FILE      Default is "vl_gather.v".  Where to write the 
                          collected up modules. 
    -s,--search=DIR       Control the search path for finding modules. 
                          You can give this switch multiple times, to 
                          set up multiple search paths in priority 
                          order. 
    -I,--incdir=DIR       Control the list of directories for `include 
                          files.  You can give this switch multiple 
                          times.  By default, we look only in the 
                          current directory. 
    --searchext=EXT       Control the search extensions for finding 
                          modules.  You can give this switch multiple 
                          times.  By default we just look for files 
                          named "foo.v" in the --search directories. 
                          But if you have Verilog files with different 
                          extensions, this won't work, so you can add 
                          these extensions here.  EXT should not 
                          include the period, e.g., use "--searchext 
                          vv" to consider files like "foo.vv", etc. 
    -D,--define=VAR       Set up definitions to use before parsing 
                          begins.  Equivalent to putting `define VAR 1 
                          at the top of your Verilog file.  You can 
                          give this option multiple times. 
    --edition=EDITION     Which edition of the Verilog standard to 
                          implement?  Default: "SystemVerilog" (IEEE 
                          1800-2012).  You can alternately use 
                          "Verilog" for IEEE 1364-2005, i.e., 
                          Verilog-2005. 
    --strict              Disable VL extensions to Verilog. 
    -m,--mem=GB           How much memory to try to use.  Default: 4 
                          GB.  Raising this may improve performance by 
                          avoiding garbage collection.  To avoid 
                          swapping, keep this below (physical_memory - 
                          2 GB).