[tlaplus] Re: Error Producing PDF Version

It's because Eclipse (on which the Toolbox is based) does not handle inheriting a user's PATH setting well, and so if a user's pdflatex is installed anywhere except for the most basic of places (like "/bin" on a *NIX based OS), pdflatex won't be found (and so the full path to it must be specified.)

On Friday, March 13, 2020 at 12:21:07 AM UTC-7, burt wrote:

that's right, even if I don't understand why.

Am Donnerstag, 12. März 2020 22:15:48 UTC+1 schrieb loki der quaeler:
If you specify a full path to pdflatex, you could be "one and done" as opposed to updating the preferences.

On Thursday, March 12, 2020 at 1:14:39 AM UTC-7, burt wrote:
I had the same problem. The toolbox generates a tex-file in the folder spec.toolbox, in your case DieHard.toolbox. But it seems that the pdflatex command is run in the current folder, the parent of DieHard.toolbox.

A work around that worked for me:
I changed the command in preferences to "cd DieHard.toolbox; pdflatex"

Not quite convenient, because it must be changed for every new spec. But it works for me.

Am Mittwoch, 12. Februar 2020 06:09:52 UTC+1 schrieb Ryan Mortensen:
I try to run the PDF producer on the toolbox that I just downloaded, but I get the following error:

TLATeX unrecoverable error: Tring to run command `pdflatex DieHard.tex` produced the following error- Cannot run program 'pdflatex' in directory /my/dir/DieHard.toolbox.
error=2
The system cannot find the file specified.

Is this because of a faulty installation on my part?
I read the other messages from 2013, which makes me wonder if I need to install Latex separately?