[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Installing TLA+ Toolbox 1.5.2 on MacOS

Dear Murali,

could you please be a bit more explicit in describing what kinds of errors you encounter when trying to install the prover? I am running TLAPS on Mac OS 10.12.2 (Sierra) and Toolbox 1.5.2 and am not aware of specific installation problems – of course, developers tend to be blind to such issues because their system is set up in a way that it works. Also, I do not know what you mean by "Launching toolbox from any other user directory".

One problem (as for any application not launched from a terminal) is to control the setting of your search PATH, needed for finding the proof manager and the various backend provers. The recommended way to set the search path globally (independently from your login shell) in newer versions of OS X / MacOS is to list necessary paths in text files in /etc/paths.d/.


On 12 Jan 2017, at 22:33, Murali Kaundinya <murali.k...@xxxxxxxxx> wrote:

Hi there!

Can someone update this website  http://tla.msr-inria.inria.fr/tlaps/content/Download/Binaries/MacOS.html with the installation of TLA+ Proof System Toolbox 1.5.2 ?

Launching toolbox from any other user directory gives all kinds of errors - previously documented.

Thanks in advance,


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...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.