Plato Version 3.5
This page describes how to install the Plato suite, including the simulator and
simtalk applications, on your Linux system. The installation process is simple and requires
only a few steps.
Plato can be installed automatically in two ways if you have psq and simd installed
on your
system. First, before it launches simulator, simd checks the latest version of plato on the
plato server website. If there is a newer version available, it will download and install it before
it starts simulator. It makes this check every time it starts simulator. So, if your computer is running
simulations submitted by psq, then it will automatically install plato for you. If your machine
is idle and you still want the latest version installed, then you can run psq and issue the
install-plato command or its abbreviation ip which signals simd to
do the installation immediately.
wget http://216.16.195.147/downloads/plato.3.3-20240828T230656.linux.x86_64.tar.gz
or
curl -O http://216.16.195.147/downloads/plato.3.3-20240828T230656.linux.x86_64.tar.gz
tar xzvf plato.3.3-20240828T230656.linux.x86_64.tar.gz
cd plato
sudo ./linuxinstall.sh
This will create the following directory structure:
/usr/local/plato//usr/local/plato/bin//usr/local/plato/share/man/man1/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 linuxinstall.sh you can use the following
command:
sudo ./linuxinstall.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: