macOS
brew install eiffelstudiolocal Homebrew formula metadata
sudo port install eiffelstudioMacPorts ports tree · lang/eiffelstudio/Portfile · source: api.github.com
brew
Development environment for the Eiffel language. Version 25.02.98732 via Homebrew; verified from local package data.
install
brew install eiffelstudiolocal Homebrew formula metadata
sudo port install eiffelstudioMacPorts ports tree · lang/eiffelstudio/Portfile · source: api.github.com
sudo pacman -S ecbArch Linux sync databases · ecb · source: geo.mirror.pkgbuild.com
overview
Development environment for the Eiffel language
history
EiffelStudio is the IDE, compiler, debugger, and command-line toolchain for the Eiffel programming language. It is historically important because it carries Eiffel's Design by Contract culture from the commercial ISE Eiffel era into a still-packaged open source development environment.
Eiffel Software describes itself as recognized since 1985 for making software projects predictable and controllable, with EiffelStudio as its flagship IDE. The EiffelStudio documentation presents the tool as the interactive development environment for Eiffel, including an IDE, compiler, debugger, project settings, command-line compiler, and release notes.
The public source history is unusual by modern GitHub standards. The EiffelStudio README states that the main public source repository is an official Subversion repository at svn.eiffel.com, while the GitHub repository is a mirror of trunk. That makes EiffelStudio a packaged survivor of an older vendor-hosted source-control era rather than a GitHub-native project.
The documentation tree preserves long release-note and compiler-history chains, including EiffelStudio 5.x, 6.x, 7.x, and year-based releases through the 2010s and 2020s. This gives packagers a rare long-lived IDE/compiler stack with decades of compatibility decisions embedded in its release history.
EiffelStudio adoption is tied to Eiffel's niche but durable community: universities, long-lived industrial systems, and developers interested in Design by Contract, void-safety, and strongly specified object-oriented programming. It is not a mass-market compiler package, but it matters to users who need the canonical Eiffel implementation.
The input package metadata lists Homebrew, MacPorts, and Nix coverage, which reflects the practical need to keep the toolchain available on developer machines even as the wider programming-language ecosystem moved toward package managers and language servers.
Users create or open Eiffel projects, edit classes, compile through the graphical IDE or command-line compiler, debug applications, inspect metrics, and manage project settings stored in Eiffel configuration files. Homebrew exposes both GUI and CLI-oriented executables such as estudio, ec, ecb, iron, compile_all, and finish_freezing.
EiffelStudio also anchors Eiffel's project format. The `*.ecf` Eiffel Configuration File is package-relevant because it is the metadata file that tells the compiler how to build a system, much like a project file in other compiled-language toolchains.
EiffelStudio is package-nerd significant because it is a full language distribution rather than a single CLI: compiler, IDE, libraries, project metadata, code generation, and platform-specific integration all move together. That makes it a heavier formula than most modern Go or Rust binaries.
It also illustrates how package managers preserve minority programming-language ecosystems. Even if Eiffel is niche, Homebrew and peers keep a reproducible path to the canonical toolchain, and that is exactly the sort of long-tail utility package indexes are good at.
security posture
narrow executable package without higher-risk signals.
green risk · low confidence · appliance
Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.
local files
These source-backed paths show where this package keeps local settings or durable credentials. Automic Vault can use them as review targets for secret scanning, migration, and command approval.
Config paths the tool may read or write during local use.
*.ecfexecutables
| Command | Kind | Exposure | Note |
|---|---|---|---|
compile_all | cli | global executable | |
ecb | cli | global executable | |
estudio | cli | global executable | |
finish_freezing | cli | global executable | |
iron | cli | global executable | |
syntax_updater | cli | global executable | |
vision2_demo | cli | global executable |
freshness
These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.
install metadata
| Package key | brew:eiffelstudio |
|---|---|
| Version | 25.02.98732 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/eiffelstudio |
| Homepage | https://www.eiffel.com |
| Repository | https://github.com/EiffelSoftware/EiffelStudio |
| Upstream docs | https://dev.eiffel.com/Main_Page |
| License | GPL-2.0-only |
| Source archive | https://ftp.eiffel.com/pub/download/25.02/pp/PorterPackage_25.02_rev_98732.tar |
| Dependencies | at-spi2-core, cairo, gdk-pixbuf, gettext, glib, gtk+3, harfbuzz, libx11, pango |
| Build dependencies | pkgconf |
| Bottle | available (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, sonoma, ventura, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | eiffelstudio |
| Version Scheme | 0 |
| Revision | 0 |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
source database matches
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
eiffelstudio
sudo port install eiffelstudioecb
sudo port install ecbecb 2.52-1
Emacs Code Browser
https://github.com/ecb-home/ecb
sudo pacman -S ecbsource trail
This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.
View the package source record on GitHub.