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

Running emacs batch mode on file with eval in Local Variables section fails #1398

Closed
veripoolbot opened this issue Feb 13, 2019 · 4 comments
Closed

Running emacs batch mode on file with eval in Local Variables section fails #1398

veripoolbot opened this issue Feb 13, 2019 · 4 comments
Assignees
@wsnyder
Labels
autos

Comments

@veripoolbot
Copy link
Collaborator

Author Name: Ed Carstens
Original Redmine Issue: 1398 from https://www.veripool.org

Original Assignee: Wilson Snyder (@wsnyder)

In trying to ignore some outputs, the FAQ says one way is to use the following lines of code:

/*
Local Variables:
verilog-auto-output-ignore-regex:""
eval:(setq verilog-auto-output-ignore-regexp (concat "^\\("
 "signal1"
 "\\|signal2"
"\\)"))
End:
*/

This does not work at all with emacs batch mode to compute AUTOs:

emacs --batch c.sv -f verilog-batch-auto

If I then bring up the file in emacs it says it contains dangerous code and I have to type 'y' to proceed. Then when I recompute AUTO's it asks the same question again. Then it actually works. Is there any way to force the compute AUTOs to work despite the "dangerous" code?
@veripoolbot
Copy link
Collaborator Author

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2019-02-13T22:53:28Z

Use in your .emacs:

(setq enable-local-eval t)

@veripoolbot
Copy link
Collaborator Author

Original Redmine Comment
Author Name: Ed Carstens
Original Date: 2019-02-13T23:28:40Z

Tried it, but it doesn't seem to make any difference.

@veripoolbot
Copy link
Collaborator Author

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2019-02-14T00:16:12Z

You're also missing a "p" at end of the -regexp line. I suspect with that it will work.

If not, there should be an interactive option to allow it forever, use that, then see what it added to your .emacs file.

@veripoolbot
Copy link
Collaborator Author

Original Redmine Comment
Author Name: Ed Carstens
Original Date: 2019-02-14T01:49:02Z

Yes, that was indeed the problem. Thanks!

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