Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.
And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.
TLA+ Toolbox can't locate pdflatex
See original GitHub issueOn macOS 10.12.5 and Version 1.5.3 of TLA Toolbox.
$ which pdflatex
/usr/local/bin/pdflatex
But when attempting to pretty print a module from TLA+ Toolbox, I get the following PDF Production error:
TLATeX unrecoverable error: —Trying to run the command
pdflatex SimpleProgram.texproduced the following error Cannot run program “pdflatex” (in directory “/Users/samhavens/tla test/ SimpleProgram.toolbox”): error=2, No such file or directory.
I have LaTex installed via MacTex and Texmaker. I have verified that from the command line I can run pdflatex on .tex files to produce pdfs.
Issue Analytics
- State:
- Created 6 years ago
- Reactions:3
- Comments:10 (4 by maintainers)
Top Results From Across the Web
Top Related Medium Post
Top Related StackOverflow Question
Troubleshoot Live Code
Top Related Reddit Thread
Top Related Hackernoon Post
Top Related Tweet
Top Related Dev.to Post
Top Related Hashnode Post
Hi,
did you try with the pdflatex command set to the complete path “/usr/local/bin/pdflatex” in the Toolbox’s preference?
For those who encounter this error on Mac, might not have pdflatex installed in the directory in @lemmy’s reply, use
where pdflatexto paste your path into the editor. And then worked a treat, thanks a lot @lemmy!