# Install smlnj Compiler and programming system for Standard ML. Version 2026.1 via Homebrew; verified 2026-05-06. ## Install ```sh sudo av install brew:smlnj ``` Additional install commands: ### macOS - Homebrew (100%): ```sh brew install smlnj ``` Evidence: local Homebrew formula metadata - MacPorts (94%): ```sh sudo port install smlnj ``` Evidence: MacPorts ports tree: lang/smlnj/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1 ### Linux - Nix (92%): ```sh nix profile install nixpkgs#smlnj ``` Evidence: nixpkgs package indexes: smlnj from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix - pacman (92%): ```sh sudo pacman -S smlnj ``` Evidence: Arch Linux sync databases: smlnj from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz - Ubuntu apt (92%): ```sh sudo apt install libckit-smlnj ``` Evidence: Ubuntu 24.04 LTS package indexes: libckit-smlnj from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz - zypper (92%): ```sh sudo zypper install smlnj ``` Evidence: openSUSE Tumbleweed package metadata: smlnj from https://download.opensuse.org/tumbleweed/repo/oss/repodata/155b97171d05e27afd950b6fe0d55513ff38f4597110664535bceedc680bbe6fd459f0733718dcc21dcf0efc7c8250fd1390c73d4790b42e62fb2c16a87242e5-primary.xml.zst ## Package Facts - **Package key:** brew:smlnj - **Package manager:** Homebrew - **Package manager URL:** - **Version:** 2026.1 - **Source summary:** Compiler and programming system for Standard ML - **Homepage:** - **Repository:** - **Upstream docs:** - **License:** BSD-3-Clause - **Source archive:** - **Last updated:** 2026-05-06T15:28:01Z - **Generated:** 2026-06-10T07:18:26+00:00 ## Executables - asdlgen (cli) - heap2exec (cli) - ml-antlr (cli) - ml-build (cli) - ml-burg (cli) - ml-makedepend (cli) - ml-ulex (cli) - ml-yacc (cli) - sml (cli) - asdlgen (alias) - heap2exec (alias) - ml-antlr (alias) - ml-build (alias) - ml-burg (alias) - ml-makedepend (alias) - ml-ulex (alias) - ml-yacc (alias) - sml (alias) ## Build Dependencies - autoconf - cmake - python@3.14 ## macOS Provided Libraries - zlib ## Install Behavior - Post-install hook: not defined - Bottle: available on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux ## Freshness - Page generated: 2026-06-10 - Package-manager version: 2026.1 - Package-manager updated: 2026-05-06 - Local data status: ok - Upstream repository: https://www.smlnj.org/ - info: Release/tag comparison is only available for GitHub repositories. ## Notes de sécurité 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:** smlnj - **Version Scheme:** 0 - **Revision:** 0 - **Head Version:** HEAD - **Bottle Stable Root URL:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** head, stable ## Other Package-Manager Records - Nix - smlnj: normalized package name match | nixpkgs package indexes: smlnj from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix - Ubuntu apt - libckit-smlnj - 110.79-8build1: normalized package name match | Ubuntu 24.04 LTS package indexes: libckit-smlnj from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | SML library for parsing and type-checking C programs | https://www.smlnj.org/ - Ubuntu apt - libcml-smlnj - 110.79-8build1: normalized package name match | Ubuntu 24.04 LTS package indexes: libcml-smlnj from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Concurrent ML extension of SML | https://www.smlnj.org/ - Ubuntu apt - libcmlutil-smlnj - 110.79-8build1: normalized package name match | Ubuntu 24.04 LTS package indexes: libcmlutil-smlnj from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Concurrent ML utility library | https://www.smlnj.org/ - Ubuntu apt - libexene-smlnj - 110.79-8build1: normalized package name match | Ubuntu 24.04 LTS package indexes: libexene-smlnj from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Concurrent ML library for the X Window System | https://www.smlnj.org/ - Ubuntu apt - libmlnlffi-smlnj - 110.79-8build1: normalized package name match | Ubuntu 24.04 LTS package indexes: libmlnlffi-smlnj from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | No Longer Foreign Function Interface | https://www.smlnj.org/ - Ubuntu apt - libmlrisctools-smlnj - 110.79-8build1: normalized package name match | Ubuntu 24.04 LTS package indexes: libmlrisctools-smlnj from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Library for generating MLRISC modules | https://www.smlnj.org/ - Ubuntu apt - libpgraphutil-smlnj - 110.79-8build1: normalized package name match | Ubuntu 24.04 LTS package indexes: libpgraphutil-smlnj from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Portable graph utility library for SML Compilation Manager | https://www.smlnj.org/ - Ubuntu apt - libsmlnj-smlnj - 110.79-8build1: normalized package name match | Ubuntu 24.04 LTS package indexes: libsmlnj-smlnj from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Useful libraries for Standard ML of New Jersey | https://www.smlnj.org/ - Ubuntu apt - ml-burg - 110.79-8build1: normalized package name match | Ubuntu 24.04 LTS package indexes: ml-burg from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Code generator for Standard ML | https://www.smlnj.org/ - Ubuntu apt - ml-lex - 110.79-8build1: normalized package name match | Ubuntu 24.04 LTS package indexes: ml-lex from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Lexical analyzer generator for Standard ML | https://www.smlnj.org/ - Ubuntu apt - ml-lpt - 110.79-8build1: normalized package name match | Ubuntu 24.04 LTS package indexes: ml-lpt from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | SML/NJ language processing tools | https://www.smlnj.org/ - Ubuntu apt - ml-nlffigen - 110.79-8build1: normalized package name match | Ubuntu 24.04 LTS package indexes: ml-nlffigen from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | ML generator for C glue code | https://www.smlnj.org/ - Ubuntu apt - ml-yacc - 110.79-8build1: normalized package name match | Ubuntu 24.04 LTS package indexes: ml-yacc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Parser generator for Standard ML | https://www.smlnj.org/ - Ubuntu apt - nowhere - 110.79-8build1: normalized package name match | Ubuntu 24.04 LTS package indexes: nowhere from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Translates programs from an extended Standard ML to Standard ML | https://www.smlnj.org/ - Ubuntu apt - smlnj - 110.79-8build1: normalized package name match | Ubuntu 24.04 LTS package indexes: smlnj from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Standard ML of New Jersey interactive compiler | https://www.smlnj.org/ ## Related Links - [Terminal utility packages](https://www.automicvault.com/fr/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Developer build packages](https://www.automicvault.com/fr/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [Language runtime packages](https://www.automicvault.com/fr/pkg/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata. - [Networking and protocol packages](https://www.automicvault.com/fr/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata. - [python@3.14](https://www.automicvault.com/fr/pkg/brew/python-3-14/) - Build dependency declared by Homebrew. - [cmake](https://www.automicvault.com/fr/pkg/brew/cmake/) - Build dependency declared by Homebrew. - [autoconf](https://www.automicvault.com/fr/pkg/brew/autoconf/) - Build dependency declared by Homebrew. - [mlkit](https://www.automicvault.com/fr/pkg/brew/mlkit/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language, standard-ml. - [orc](https://www.automicvault.com/fr/pkg/brew/orc/) - Shares av.db curated category or tags: cli, compiler, language-runtime, runtime. - [vala](https://www.automicvault.com/fr/pkg/brew/vala/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [c3c](https://www.automicvault.com/fr/pkg/brew/c3c/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [idris2](https://www.automicvault.com/fr/pkg/brew/idris2/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [dmd](https://www.automicvault.com/fr/pkg/brew/dmd/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [lisette](https://www.automicvault.com/fr/pkg/brew/lisette/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [inform6](https://www.automicvault.com/fr/pkg/brew/inform6/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [mosml](https://www.automicvault.com/fr/pkg/brew/mosml/) - Local package facts share a topical domain. Shared terms: cli, compiler, language, language-runtime, ml. - [polyml](https://www.automicvault.com/fr/pkg/brew/polyml/) - Local package facts share a topical domain. Shared terms: cli, compiler, language, language-runtime, ml. ## 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