mix maude.install (ExMaude v0.3.0)

View Source

Installs or updates the Maude interpreter binary.

The hex package does not ship Maude itself (Maude is GPL-licensed and ~5 MB per platform) — run this task once after adding the dependency, or point config :ex_maude, :maude_path at an existing installation.

The binary installs into ExMaude's priv/maude/bin/ by default, where ExMaude.Binary.find/0 discovers it without any configuration.

Usage

mix maude.install [--version VERSION] [--path PATH] [--force] [--list] [--check]

Options

  • --version - Maude version to install (default: latest)
  • --path - Installation path (default: ExMaude's priv/maude/bin); custom paths need config :ex_maude, :maude_path afterwards
  • --force - Force reinstall even if already installed
  • --list - List available versions and exit
  • --check - Check current Maude availability and exit

Supported Platforms

  • macOS ARM64 (Apple Silicon)
  • macOS x86_64 (Intel)
  • Linux x86_64
  • Linux ARM64

Examples

# Check if Maude is available
mix maude.install --check

# Install latest version (only if needed)
mix maude.install

# List available versions
mix maude.install --list

# Install specific version
mix maude.install --version 3.5.1

# Install to custom path
mix maude.install --path /usr/local/bin

# Force reinstall
mix maude.install --force

Binary Resolution

At runtime the binary resolution follows this priority:

  1. config :ex_maude, :maude_path - Explicit configuration
  2. Binary in ExMaude's priv/maude/bin/ (installed by this task; the git checkout also carries platform binaries there for development)
  3. System PATH (maude command)

Troubleshooting

If installation fails:

  • Network errors - Check your internet connection and proxy settings
  • Permission denied - Ensure you have write access to the installation path
  • Platform not supported - Check if your OS/architecture is in the supported list
  • Verification failed - The binary may require additional system libraries

For macOS, you may need to allow the binary in System Preferences > Security & Privacy if you see a "cannot be opened because the developer cannot be verified" error.