This repository is intended to provide a quick and easy way to install and run Metta on your system.
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
After running the setup script, you can start using Metta directly from the terminal.
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.
-
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 format any output you get from metta-run:
metta-run example.metta f
-
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
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
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
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:
- Install WSL by following Microsoft's official guide.
- Set up a Linux distribution of your choice.
- 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!
If you encounter any issues during installation or usage, please open an issue on the GitHub repository.