HOME Downloads

Plato Version 3.5
Installation Instructions for Mac OS X

Table of Contents

Overview

This 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.

Step 1: Prepare Your Environment

  1. Open a terminal window.
  2. Navigate to the directory where you want to download the Plato package.
  3. Download the latest Plato release. You can find the latest version on the plato website. The version shown here is 3.2-20240723T161608, but you should use the latest version available.
    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

Step 2: Unpack and Install the Archive

  1. Unpack the archive: tar xzvf plato.3.2-20240723T161608.macos.x86_64.tar.gz cd plato sudo ./macinstall.sh

This will create the following directory structure:

Optional: Install Man Pages

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.

Step 3: Set Your PATH

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

Post-Installation Verification

  1. Verify that simulator is accessible:
    simulator -v
    This should display the version number of the simulator.
  2. Verify that simtalk is accessible:
    simtalk -v
    This should display the version number of simtalk.

Uninstallation

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:

  1. Delete the Plato directory: sudo rm -rf /usr/local/plato
  2. If you installed the man pages, remove them as well:

    sudo rm /usr/local/share/man/man1/simulator.1
    sudo rm /usr/local/share/man/man1/simtalk.1


Support and Contact Information

If you encounter any issues not covered in this guide or have questions about Plato:

Changelog

1.0 - Initial release
2.0 - Selectable strategies
3.0 - Multi-processor support
3.2 - SimQ integration
3.3 - Updates:

3.4 - Updates: 3.5 - Updates: