# Install mlton

Whole-program, optimizing compiler for Standard ML. Version 20241230 via Homebrew; verified from local package data.

## Install

```sh
sudo av install brew:mlton
```

Additional install commands:

### macOS

- Homebrew (100%):

```sh
brew install mlton
```

  Evidence: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install mlton
```

  Evidence: MacPorts ports tree: lang/mlton/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

### Linux

- dnf (92%):

```sh
sudo dnf install mlton
```

  Evidence: Fedora Rawhide package metadata: mlton from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst

- Nix (92%):

```sh
nix profile install nixpkgs#mlton
```

  Evidence: nixpkgs package indexes: mlton from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix

- pacman (92%):

```sh
sudo pacman -S mlton
```

  Evidence: Arch Linux sync databases: mlton from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

- Ubuntu apt (92%):

```sh
sudo apt install mlton
```

  Evidence: Ubuntu 24.04 LTS package indexes: mlton from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

## Package Facts

- **Package key:** brew:mlton
- **Package manager:** Homebrew
- **Package manager URL:** <https://formulae.brew.sh/formula/mlton>
- **Version:** 20241230
- **Source summary:** Whole-program, optimizing compiler for Standard ML
- **Homepage:** <http://mlton.org>
- **Repository:** <https://github.com/MLton/mlton>
- **Upstream docs:** <https://www.mlton.org/Documentation>
- **License:** HPND
- **Source archive:** <https://downloads.sourceforge.net/project/mlton/mlton/20241230/mlton-20241230.src.tgz>
- **Generated:** 2026-06-10T07:18:26+00:00

## Executables

- mllex (cli)
- mlnlffigen (cli)
- mlprof (cli)
- mlton (cli)
- mlyacc (cli)
- mllex (alias)
- mlnlffigen (alias)
- mlprof (alias)
- mlton (alias)
- mlyacc (alias)

## Dependencies

- gmp

## Build Dependencies

- autoconf
- automake

## Install Behavior

- Post-install hook: not defined
- Bottle: available on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, sonoma, ventura, x86_64_linux

## Freshness

- Page generated: 2026-06-10
- Package-manager version: 20241230
- Local data status: ok
- Upstream repository: http://mlton.org
- info: No package-manager update timestamp was available.
- info: Release/tag comparison is only available for GitHub repositories.

## Sicherheitshinweise

narrow executable package without higher-risk signals.

- **Geiger risk:** green / low
- narrow executable package without higher-risk signals

## Source Database Details

- **Source Database:** Homebrew formula API
- **Tap:** homebrew/core
- **Full Name:** mlton
- **Version Scheme:** 1
- **Revision:** 0
- **Head Version:** HEAD
- **Bottle Stable Root URL:** <https://ghcr.io/v2/homebrew/core>
- **Deprecated:** no
- **Disabled:** no
- **Keg Only:** no
- **URL Keys:** head, stable

## Other Package-Manager Records

- Nix - mlton: normalized package name match | nixpkgs package indexes: mlton from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix
- Ubuntu apt - mlton - 20210117+dfsg-3: normalized package name match | Ubuntu 24.04 LTS package indexes: mlton from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Optimizing compiler for Standard ML | http://mlton.org/
- Ubuntu apt - mlton-basis - 20210117+dfsg-3: normalized package name match | Ubuntu 24.04 LTS package indexes: mlton-basis from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Optimizing compiler for Standard ML - basis library | http://mlton.org/
- Ubuntu apt - mlton-compiler - 20210117+dfsg-3: normalized package name match | Ubuntu 24.04 LTS package indexes: mlton-compiler from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Optimizing compiler for Standard ML - compiler | http://mlton.org/
- Ubuntu apt - mlton-doc - 20210117+dfsg-3: normalized package name match | Ubuntu 24.04 LTS package indexes: mlton-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Optimizing compiler for Standard ML - documentation | http://mlton.org/
- Ubuntu apt - mlton-runtime-native - 20210117+dfsg-3: normalized package name match | Ubuntu 24.04 LTS package indexes: mlton-runtime-native from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Optimizing compiler for Standard ML - native runtime libraries | http://mlton.org/
- Ubuntu apt - mlton-runtime-x86-64-linux-gnu - 20210117+dfsg-3: normalized package name match | Ubuntu 24.04 LTS package indexes: mlton-runtime-x86-64-linux-gnu from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Optimizing compiler for Standard ML - amd64 runtime libraries | http://mlton.org/
- Ubuntu apt - mlton-tools - 20210117+dfsg-3: normalized package name match | Ubuntu 24.04 LTS package indexes: mlton-tools from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Optimizing compiler for Standard ML - tools | http://mlton.org/
- dnf - mlton - 20210117-12.fc44: normalized package name match | Fedora Rawhide package metadata: mlton from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst | Optimizing compiler for Standard ML | http://mlton.org/
- pacman - mlton - 20241230-1: normalized package name match | Arch Linux sync databases: mlton from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz | Whole-program optimizing Standard ML compiler | http://mlton.org/
- MacPorts - mlton: normalized package name match | MacPorts ports tree: lang/mlton/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1


## Related Links

- [Terminal utility packages](https://www.automicvault.com/de/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Text processing packages](https://www.automicvault.com/de/pkg/text-processing-tools/) - Matched text, document, or structured-data processing metadata.
- [Developer build packages](https://www.automicvault.com/de/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata.
- [Language runtime packages](https://www.automicvault.com/de/pkg/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata.
- [autoconf](https://www.automicvault.com/de/pkg/brew/autoconf/) - Build dependency declared by Homebrew.
- [automake](https://www.automicvault.com/de/pkg/brew/automake/) - Build dependency declared by Homebrew.
- [smlfmt](https://www.automicvault.com/de/pkg/brew/smlfmt/) - Shares av.db curated category or tags: cli, developer-tools, sml, standard-ml.
- [smlpkg](https://www.automicvault.com/de/pkg/brew/smlpkg/) - Shares av.db curated category or tags: cli, developer-tools, sml, standard-ml.
- [dtc](https://www.automicvault.com/de/pkg/brew/dtc/) - Shares av.db curated category or tags: cli, compiler, compilers, developer-tools.
- [arm-none-eabi-gcc](https://www.automicvault.com/de/pkg/brew/arm-none-eabi-gcc/) - Shares av.db curated category or tags: cli, compiler, compilers, developer-tools.
- [aarch64-elf-gcc](https://www.automicvault.com/de/pkg/brew/aarch64-elf-gcc/) - Shares av.db curated category or tags: cli, compiler, compilers, developer-tools.
- [i686-elf-gcc](https://www.automicvault.com/de/pkg/brew/i686-elf-gcc/) - Shares av.db curated category or tags: cli, compiler, compilers, developer-tools.
- [nuitka](https://www.automicvault.com/de/pkg/brew/nuitka/) - Shares av.db curated category or tags: cli, compiler, compilers, developer-tools.
- [nvc](https://www.automicvault.com/de/pkg/brew/nvc/) - Shares av.db curated category or tags: cli, compiler, compilers, developer-tools.
- [cloog](https://www.automicvault.com/de/pkg/brew/cloog/) - Local package facts share a topical domain. Shared terms: cli, code, compiler, compilers, developer.

## Sources

- Nucleus package database
- Geiger risk classifier
- package-page enrichment
- package version freshness
- av.db category and tag curation
- package relationship graph
- external package-manager database matches
- cross-ecosystem install command graph
