Author Name: Lawrence Sunnyvale
Original Redmine Message: 3191 from https://www.veripool.org

I can use verilog-auto in batch mode when input/output have .sv extension.
How do I get verilog-auto to accept a different file extension, such as .svp?
For instance, the following command line works with I use .sv instead of .svp. Is there an additional flag for .svp to be recognized as systemverilog?

% emacs --batch raid.auto.svp -f verilog-auto --eval '(write-file "raid.svp")'

Symbol?s function definition is void: verilog-auto