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

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
Labels

Comments

@veripoolbot
Copy link
Collaborator

@veripoolbot veripoolbot commented Apr 9, 2019


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

This comment has been minimized.

Copy link
Collaborator Author

@veripoolbot veripoolbot commented Apr 9, 2019


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

This comment has been minimized.

Copy link
Collaborator Author

@veripoolbot veripoolbot commented Apr 9, 2019


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

This comment has been minimized.

Copy link
Collaborator Author

@veripoolbot veripoolbot commented Apr 9, 2019


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


-l path/to/verilog-mode.el

@veripoolbot

This comment has been minimized.

Copy link
Collaborator Author

@veripoolbot veripoolbot commented Apr 9, 2019


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

This comment has been minimized.

Copy link
Collaborator Author

@veripoolbot veripoolbot commented Apr 9, 2019


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
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
2 participants
You can’t perform that action at this time.