# Installer eiffelstudio avec Homebrew, MacPorts, pacman Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de eiffelstudio pour les workflows d'agents IA. ## installation ```sh sudo av install brew:eiffelstudio ``` Commandes d'installation supplémentaires: ### macOS - Homebrew (100%): ```sh brew install eiffelstudio ``` Preuve: local Homebrew formula metadata - MacPorts (94%): ```sh sudo port install eiffelstudio ``` Preuve: MacPorts ports tree: lang/eiffelstudio/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1 ### Linux - pacman (92%): ```sh sudo pacman -S ecb ``` Preuve: Arch Linux sync databases: ecb from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz ## Faits du paquet - **Clé du paquet:** brew:eiffelstudio - **Gestionnaire de paquets:** Homebrew - **Page du gestionnaire de paquets:** - **Version:** 25.02.98732 - **Résumé source:** Development environment for the Eiffel language - **Page d'accueil:** - **Dépôt:** - **Docs amont:** - **Licence:** GPL-2.0-only - **Archive source:** - **Généré:** 2026-07-08T18:08:21+00:00 ## exécutables - compile_all (cli) - ecb (cli) - estudio (cli) - finish_freezing (cli) - iron (cli) - syntax_updater (cli) - vision2_demo (cli) - compile_all (alias) - ecb (alias) - estudio (alias) - finish_freezing (alias) - iron (alias) - syntax_updater (alias) - vision2_demo (alias) ## Dépendances - at-spi2-core - cairo - gdk-pixbuf - gettext - glib - gtk+3 - harfbuzz - libx11 - pango ## Dépendances de compilation - pkgconf ## Comportement d'installation - hook post-installation: non défini - Bouteille: disponible sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, sonoma, ventura, x86_64_linux ## Version et fraîcheur - page générée: 2026-07-08 - version du gestionnaire: 25.02.98732 - données locales: OK - dépôt amont: https://www.eiffel.com - info: No package-manager update timestamp was available. - info: Release/tag comparison is only available for GitHub repositories. ## Historique du projet et usages 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. ### Historique du projet 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. ### Historique d'adoption 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. ### Modes d'utilisation 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. ### Pourquoi les passionnés de paquets s'y intéressent 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. ### Chronologie - 1985: Eiffel Software traces its recognition in Eiffel tooling and methods to this period. - 2000s: EiffelStudio 5.x and 6.x release-note histories appear in the official documentation tree. - 2010s: The documentation records EiffelStudio 7.x and year-based releases such as 13.11, 14.05, 15.x, and later. - 2016-06-12: The official GitHub mirror is created. - 2026-01-20: Eiffel.org documentation metadata shows the EiffelStudio documentation page updated. ### Related projects - The Eiffel programming language and Design by Contract method are the central context for EiffelStudio. - ISE Eiffel is the historical naming lineage visible in compiler-history pages. - The Eiffel libraries and Iron package tooling are related parts of the broader Eiffel ecosystem. ### Sources - - - - ## Notes de sécurité narrow executable package without higher-risk signals. - **Risque Geiger:** vert / faible - narrow executable package without higher-risk signals ## Configuration and credential file locations 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. ## Configuration files - Unix: *.ecf ## Détails de la base source - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** eiffelstudio - **Version Scheme:** 0 - **Revision:** 0 - **Bottle Stable Root URL:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** stable ## Autres enregistrements de gestionnaires de paquets - MacPorts - eiffelstudio: normalized package name match | MacPorts ports tree: lang/eiffelstudio/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1 - MacPorts - ecb: installed executable or alias match | MacPorts ports tree: editors/ecb/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1 - pacman - ecb - 2.52-1: installed executable or alias match | Arch Linux sync databases: ecb from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz | Emacs Code Browser | https://github.com/ecb-home/ecb ## Liens liés - [Terminal utility packages](https://www.automicvault.com/fr/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Text processing packages](https://www.automicvault.com/fr/pkg/text-processing-tools/) - Matched text, document, or structured-data processing 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. - [cairo](https://www.automicvault.com/fr/pkg/brew/cairo/) - Runtime dependency declared by Homebrew. - [gdk-pixbuf](https://www.automicvault.com/fr/pkg/brew/gdk-pixbuf/) - Runtime dependency declared by Homebrew. - [gettext](https://www.automicvault.com/fr/pkg/brew/gettext/) - Runtime dependency declared by Homebrew. - [glib](https://www.automicvault.com/fr/pkg/brew/glib/) - Runtime dependency declared by Homebrew. - [gtk+3](https://www.automicvault.com/fr/pkg/brew/gtk-3/) - Runtime dependency declared by Homebrew. - [harfbuzz](https://www.automicvault.com/fr/pkg/brew/harfbuzz/) - Runtime dependency declared by Homebrew. - [pkgconf](https://www.automicvault.com/fr/pkg/brew/pkgconf/) - Build dependency declared by Homebrew. - [gnome-builder](https://www.automicvault.com/fr/pkg/brew/gnome-builder/) - Shares av.db curated category or tags: cli, developer-tools, ide. - [aarch64-elf-gcc](https://www.automicvault.com/fr/pkg/brew/aarch64-elf-gcc/) - Shares av.db curated category or tags: cli, compiler, developer-tools. - [adaptivecpp](https://www.automicvault.com/fr/pkg/brew/adaptivecpp/) - Shares av.db curated category or tags: cli, compiler, developer-tools. - [aiken](https://www.automicvault.com/fr/pkg/brew/aiken/) - Shares av.db curated category or tags: cli, developer-tools, programming-language. - [alive2](https://www.automicvault.com/fr/pkg/brew/alive2/) - Shares av.db curated category or tags: cli, compiler, developer-tools. - [arm-none-eabi-gcc](https://www.automicvault.com/fr/pkg/brew/arm-none-eabi-gcc/) - Shares av.db curated category or tags: cli, compiler, developer-tools. - [asn1c](https://www.automicvault.com/fr/pkg/brew/asn1c/) - Shares av.db curated category or tags: cli, compiler, developer-tools. - [aspectj](https://www.automicvault.com/fr/pkg/brew/aspectj/) - Shares av.db curated category or tags: cli, compiler, developer-tools. - [gerbv](https://www.automicvault.com/fr/pkg/brew/gerbv/) - Local package facts share a topical domain. Shared terms: at-spi2-core, cairo, cli, core, developer. - [pcb](https://www.automicvault.com/fr/pkg/brew/pcb/) - Local package facts share a topical domain. Shared terms: at-spi2-core, cairo, cli, core, developer. - [webkitgtk](https://www.automicvault.com/fr/pkg/brew/webkitgtk/) - Local package facts share a topical domain. Shared terms: at-spi2-core, cairo, cli, core, developer. ## Combined YAML source View the package source record on GitHub. [combined/eiffelstudio.yml](https://github.com/automic-vault/db/blob/main/combined/eiffelstudio.yml) ## Sources - Nucleus package database - Geiger risk classifier - package-page enrichment - curated configuration and credential file locations - curated package history - package version freshness - av.db category and tag curation - package relationship graph - external package-manager database matches - cross-ecosystem install command graph