problems getting Verilog-batch-auto to work with library file

[veripoolbot]

---

Author Name: David Rogoff Original Redmine Issue: 1416 from https://www.veripool.org

Original Assignee: Wilson Snyder (@wsnyder)

---

Hi.

My autos work fine interactively but I'm having trouble getting it to work in batch. It seems to be that my main file (main.sv) uses modules (e.g. mod1, mod2) in a library file that defines many modules (lib.sv).

I tried adding

 // verilog-library-directories:("."). 
 // verilog-library-flags: ("-v lib.sv")

But get the error

 %Error: main.sv:100: Can t locate mod1 module definition
     Check the verilog-library-directories variable.
     I looked in (if not listed, doesn t exist):
    main.sv

This -v works correctly with my simulator but not with Verilog-mode autos.

Help!

[veripoolbot]

---

Original Redmine Comment Author Name: Wilson Snyder (@wsnyder) Original Date: 2019-04-09T19:32:58Z

---

I would suggest adding an appropriate debug message near line 10130 where that error is printed to also print verilog-library-files. This message is saying either that isn't set or it can't find the files you have in verilog-library-files.

If you can otherwise create a standalone test I can take a look - but suspect in that process of simplifying you might find the problem.

[veripoolbot]

---

Original Redmine Comment Author Name: David Rogoff Original Date: 2019-04-09T20:01:54Z

---

Wilson Snyder wrote:

I would suggest adding an appropriate debug message near line 10130 where that error is printed to also print verilog-library-files. This message is saying either that isn't set or it can't find the files you have in verilog-library-files.

Thanks for the quick reply. I'm attempting to do this but realized that from batch it's using the old Verilog-mode that came with emacs and not my updated copy in ~/.emacs.d/lisp. How can I get -batch to use my copy so I can put in the debugging you suggested?

[veripoolbot]

---

Original Redmine Comment Author Name: Wilson Snyder (@wsnyder) Original Date: 2019-04-09T20:05:28Z

---

-l path/to/verilog-mode.el

[veripoolbot]

---

Original Redmine Comment Author Name: David Rogoff Original Date: 2019-04-09T20:17:11Z

---

Wilson Snyder wrote:

-l path/to/verilog-mode.el

Ack - now it works. It looks like the whole problem was the ancient Verilog-mode that came with emacs 25.3.

[veripoolbot]

---

Original Redmine Comment Author Name: Wilson Snyder (@wsnyder) Original Date: 2019-04-09T20:23:23Z

---

Good to hear.