mix maude.install (ExMaude v0.2.0)

View Source

Installs or updates Maude system binary.

ExMaude bundles Maude binaries for common platforms, so this task is typically only needed when:

  • The bundled binary doesn't exist for your platform
  • You want to install a different Maude version
  • You want to install to a custom location

Usage

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

Options

  • --version - Maude version to install (default: latest)
  • --path - Installation path (default: ./priv/maude/bin)
  • --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

Bundled Binaries

ExMaude includes platform-specific Maude binaries in priv/maude/bin/:

priv/maude/bin/
├── maude-darwin-arm64    # macOS Apple Silicon
├── maude-darwin-x64      # macOS Intel
├── maude-linux-x64       # Linux x86_64
└── maude-linux-arm64     # Linux ARM64

The binary resolution follows this priority:

  1. config :ex_maude, :maude_path - Explicit configuration
  2. Bundled binary for current platform
  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.