Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Closed
veripoolbot opened this issue Apr 9, 2019 · 5 comments
Closed

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

veripoolbot opened this issue Apr 9, 2019 · 5 comments
Assignees
@wsnyder
Labels
autos

Comments

@veripoolbot
Copy link
Collaborator

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
Copy link
Collaborator Author

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
Copy link
Collaborator Author

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
Copy link
Collaborator Author

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

-l path/to/verilog-mode.el

@veripoolbot
Copy link
Collaborator Author

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
Copy link
Collaborator Author

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

Good to hear.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@wsnyder wsnyder

Labels
autos
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@wsnyder @veripoolbot