Metta Prebuilt Binary

This repository is intended to provide a quick and easy way to install and run Metta on your system.

Quick Setup

To quickly set up and run the Metta binary, run the following command in your terminal:

curl -fsSL https://raw.githubusercontent.com/iCog-Labs-Dev/metta-prebuilt-binary/main/install.sh | bash

Usage

After running the setup script, you can start using Metta directly from the terminal.

Linux

• metta-run: Run Metta with the Python environment automatically activated.
• metta: Run Metta without activating the Python environment automatically but you need to activate it manually.

Running Metta

• To format any output you get from metta-run:

  metta-run example.metta f

• To run a Metta file:

  metta-run example.metta

• To format binary tree:

  metta-run example.metta fbt

• To format constraint tree:

  metta-run example.metta fct

• To run Metta without automatically activating the Python environment (you need to activate it manually first):

  source $HOME/metta-bin/venv/bin/activate
  metta example.metta

Update

To update the Metta binary and its environment, run the following command:

curl -fsSL https://raw.githubusercontent.com/iCog-Labs-Dev/metta-prebuilt-binary/main/update.sh | bash

Uninstall

To uninstall the Metta binary and remove its environment, manually delete the installation directory and binaries:

curl -fsSL https://raw.githubusercontent.com/iCog-Labs-Dev/metta-prebuilt-binary/main/uninstall.sh | bash

Windows

Unfortunately, this setup script is designed for Unix-like systems. We recommend using Linux for a seamless experience. However, if you're on Windows, you can use the Windows Subsystem for Linux (WSL) to install and run the Metta binary. Follow these steps:

1. Install WSL by following Microsoft's official guide.
2. Set up a Linux distribution of your choice.
3. Run the setup script inside your WSL terminal:

curl -fsSL https://raw.githubusercontent.com/iCog-Labs-Dev/metta-prebuilt-binary/main/install.sh | bash

Come, join us in the world of Linux for a smoother and more powerful development experience!

Troubleshooting

If you encounter any issues during installation or usage, please open an issue on the GitHub repository.