Plato Version 3.5This page describes how to install the Plato suite, including the simulator and
simtalk applications, on your Mac OS system. The installation process is simple and requires
only a few steps.
wget http://216.16.195.147/downloads/plato.3.2-20240723T161608.macos.x86_64.tar.gz
or
curl -O http://216.16.195.147/downloads/plato.3.2-20240723T161608.macos.x86_64.tar.gz
tar xzvf plato.3.2-20240723T161608.macos.x86_64.tar.gz
cd plato
sudo ./macinstall.sh
This will create the following directory structure:
/usr/local/plato//usr/local/plato/bin//usr/local/plato/share/man/man1//usr/local/plato/etc/If you would like to install the man pages for simulator and simtalk, you can do so
by copying the files to the system man directory:
sudo cp /usr/local/plato/share/man/man1/simulator.1 /usr/local/share/man/man1/
sudo cp /usr/local/plato/share/man/man1/simtalk.1 /usr/local/share/man/man1/
This step is optional, as man pages are rarely used.
To make the simulator and simtalk commands available from any directory, add
/usr/local/plato/bin to your PATH:
echo 'export PATH=$PATH:/usr/local/plato/bin' >> ~/.bashrc
source ~/.bashrc
simulator is accessible:
simulator -v
This should display the version number of the simulator.
simtalk is accessible:
simtalk -v
This should display the version number of simtalk.
To remove Plato from your system, if you still have macinstall.sh you can use the following
command:
sudo ./macinstall.sh -U
Alternatively, you can follow these steps:
sudo rm -rf /usr/local/plato
sudo rm /usr/local/share/man/man1/simulator.1
sudo rm /usr/local/share/man/man1/simtalk.1
If you encounter any issues not covered in this guide or have questions about Plato:
1.0 - Initial release
2.0 - Selectable strategies
3.0 - Multi-processor support
3.2 - SimQ integration
3.3 - Updates: