Toolbox not finding pdflatex -- Mac

[Kevin Sullivan]

Subject pretty much says it. Up-to-date Mac. Running tools ok. TexShop installed. TLA+ Toolbox fails to run pdflatex in correct directory, but I can run it there fine using terminal/console/command line. pdflatex is on my path. I looked for a setting in the toolbox to program a path to pdflatex. What am I missing? Sorry for the uninteresting question. Regards, --Kevin

[TLA Plus]

There is a preference that might help you.  Go to File > Preferences > TLA+ Preferences > PDF Viewer.  In the "Specify pdflatex command" field, try adding the path to the command.

 

Leslie Lamport

On Wed, Oct 23, 2013 at 8:13 PM, Kevin Sullivan <sulliva...@gmail.com> wrote:

Subject pretty much says it. Up-to-date Mac. Running tools ok.  TexShop installed. TLA+ Toolbox fails to run pdflatex in correct directory, but I can run it there fine using terminal/console/command line. pdflatex is on my path. I looked for a setting in the toolbox to program a path to pdflatex. What am I missing? Sorry for the uninteresting question. Regards, --Kevin

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@googlegroups.com.
To post to this group, send email to tla...@googlegroups.com.
Visit this group at http://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/groups/opt_out.

[Stephan Merz]

Here's an idea: on a Mac, the environment (and in particular the PATH) that's passed to an application depends on how the application was launched. In particular, Eclipse appears to get the system-wide default path, not the one that you defined in your .bashrc file or similar.

See http://danielsmedegaardbuus.dk/2012-12-12/getting-something-like-a-global-path-in-mac-os-x/ for a fairly detailed explanation of the mess. I did something simpler than what's proposed there by just putting

setenv PATH …

in file /etc/launchd.conf, and my PATH worries with the Toolbox were gone.

Hope this helps,

Stephan

On 24 Oct 2013, at 05:13, Kevin Sullivan <sulliva...@gmail.com> wrote:

> Subject pretty much says it. Up-to-date Mac. Running tools ok. TexShop installed. TLA+ Toolbox fails to run pdflatex in correct directory, but I can run it there fine using terminal/console/command line. pdflatex is on my path. I looked for a setting in the toolbox to program a path to pdflatex. What am I missing? Sorry for the uninteresting question. Regards, --Kevin
>

[Kevin Sullivan]

Thanks, guys. I guess I didn't think to dig down into the "pdf viewer" preference to find the option for the "pdf generator." Should have just unfolded all the options. In any case, hardwiring the path to pdflatex there worked as expected. Thanks again. --Kevin

[Brian Beckman]

Doing this also fixed for me a problem wherein box-comments did not typeset.