Automic VaultAutomic Vault

brew

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

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%
brew install eiffelstudio

local Homebrew formula metadata

MacPortsvérifié · 94%
sudo port install eiffelstudio

MacPorts ports tree · lang/eiffelstudio/Portfile · Source: api.github.com

aperçu

Résumé du paquet

Development environment for the Eiffel language

Commandes et alias

  • compile_all
  • ecb
  • estudio
  • finish_freezing
  • iron
  • syntax_updater
  • vision2_demo

historique

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.

posture de sécurité

Niveau de risque : vert

narrow executable package without higher-risk signals.

Classificateur de risque

risque vert · confiance faible · appliance

Pourquoi

  • narrow executable package without higher-risk signals

Signaux

  • metadata:no-higher-risk-signals

Comportement d'installation

  • Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
  • Les métadonnées de bottle Homebrew sont disponibles pour 8 plateformes.
  • S’installe avec 9 dépendances d’exécution.
  • Les métadonnées de compilation listent 1 dépendances de compilation.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

local files

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

Config paths the tool may read or write during local use.

Unix
*.ecf

exécutables

Exécutables installés

CommandeTypeExpositionNote
compile_allcliexécutable global
ecbcliexécutable global
estudiocliexécutable global
finish_freezingcliexécutable global
ironcliexécutable global
syntax_updatercliexécutable global
vision2_democliexécutable global

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-07-08
version du gestionnaire25.02.98732
gestionnaire mis à jour
données localesOK
amontnot checked
dernière version détectéenon détecté

https://www.eiffel.com

  • infoNo package-manager update timestamp was available.confiance faible
  • infoRelease/tag comparison is only available for GitHub repositories.https://www.eiffel.comconfiance none

métadonnées d'installation

Métadonnées du paquet

Clé du paquetbrew:eiffelstudio
Version25.02.98732
Gestionnaire de paquetsHomebrew
Page du gestionnaire de paquetshttps://formulae.brew.sh/formula/eiffelstudio
Page d'accueilhttps://www.eiffel.com
Dépôthttps://github.com/EiffelSoftware/EiffelStudio
Docs amonthttps://dev.eiffel.com/Main_Page
LicenceGPL-2.0-only
Archive sourcehttps://ftp.eiffel.com/pub/download/25.02/pp/PorterPackage_25.02_rev_98732.tar
Dépendancesat-spi2-core, cairo, gdk-pixbuf, gettext, glib, gtk+3, harfbuzz, libx11, pango
Dépendances de compilationpkgconf
Bouteilledisponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, sonoma, ventura, x86_64_linux)
post-install Homebrewnon défini
Serviceaucun déclaré

faits du registre

Détails de la base source

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Nameeiffelstudio
Version Scheme0
Revision0
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • stable

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

MacPorts95%

eiffelstudio

sudo port install eiffelstudio
  • normalized package name match
  • Correspondance par : Eiffelstudio
MacPorts ports tree · api.github.com · MacPorts ports tree: lang/eiffelstudio/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1
MacPorts94%

ecb

sudo port install ecb
  • installed executable or alias match
  • Correspondance par : Ecb
MacPorts ports tree · api.github.com · MacPorts ports tree: editors/ecb/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1
pacman92%

ecb 2.52-1

Emacs Code Browser

https://github.com/ecb-home/ecb

sudo pacman -S ecb
  • License: GPL
  • Architecture: any
  • 1 Dépendances
  • installed executable or alias match
  • Correspondance par : Ecb
Arch Linux sync databases · geo.mirror.pkgbuild.com · Arch Linux sync databases: ecb from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Sources utilisées

  • Geiger risk classifier
  • Nucleus package database
  • av.db category and tag curation
  • cross-ecosystem install command graph
  • curated configuration and credential file locations
  • curated package history
  • external package-manager database matches
  • package relationship graph
  • package version freshness
  • package-page enrichment