Automic VaultAutomic Vault

brew

eiffelstudio を Homebrew, MacPorts, pacman でインストール

eiffelstudio のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

インストール

追加のインストールコマンド

macOS

Homebrew確認済み · 100%
brew install eiffelstudio

local Homebrew formula metadata

MacPorts確認済み · 94%
sudo port install eiffelstudio

MacPorts ports tree · lang/eiffelstudio/Portfile · ソース: api.github.com

概要

パッケージ概要

Development environment for the Eiffel language

コマンドとエイリアス

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

履歴

プロジェクトの歴史と使われ方

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.

タイムライン

  • 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.

セキュリティ状態

リスクレベル: グリーン

narrow executable package without higher-risk signals.

リスク分類器

リスク グリーン · 信頼度 低 · appliance

理由

  • narrow executable package without higher-risk signals

信号

  • metadata:no-higher-risk-signals

インストール挙動

  • formula メタデータに Homebrew post-install フックは記録されていません。
  • Homebrew bottle メタデータは 8 個のプラットフォームターゲットで利用できます。
  • 9 件の実行時依存関係とともにインストールされます。
  • ビルドメタデータには 1 件のビルド依存関係があります。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

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

実行可能ファイル

インストールされる実行可能ファイル

コマンド種類公開範囲メモ
compile_allcliグローバル実行可能ファイル
ecbcliグローバル実行可能ファイル
estudiocliグローバル実行可能ファイル
finish_freezingcliグローバル実行可能ファイル
ironcliグローバル実行可能ファイル
syntax_updatercliグローバル実行可能ファイル
vision2_democliグローバル実行可能ファイル

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-07-08
マネージャ版25.02.98732
マネージャ更新日
ローカルデータOK
上流not checked
検出された最新未検出

https://www.eiffel.com

  • 情報No package-manager update timestamp was available.信頼度 低
  • 情報Release/tag comparison is only available for GitHub repositories.https://www.eiffel.com信頼度 none

インストールメタデータ

パッケージメタデータ

パッケージキーbrew:eiffelstudio
バージョン25.02.98732
パッケージマネージャHomebrew
パッケージマネージャページhttps://formulae.brew.sh/formula/eiffelstudio
ホームページhttps://www.eiffel.com
リポジトリhttps://github.com/EiffelSoftware/EiffelStudio
上流ドキュメントhttps://dev.eiffel.com/Main_Page
ライセンスGPL-2.0-only
ソースアーカイブhttps://ftp.eiffel.com/pub/download/25.02/pp/PorterPackage_25.02_rev_98732.tar
依存関係at-spi2-core, cairo, gdk-pixbuf, gettext, glib, gtk+3, harfbuzz, libx11, pango
ビルド依存関係pkgconf
Bottle利用可能 (対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, sonoma, ventura, x86_64_linux)
Homebrew post-install未定義
サービス宣言なし

レジストリ情報

ソースデータベース詳細

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

ソースデータベース一致

他のパッケージマネージャ記録

一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。

MacPorts95%

eiffelstudio

sudo port install eiffelstudio
  • normalized package name match
  • 一致条件: 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
  • 一致条件: 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 依存関係
  • installed executable or alias match
  • 一致条件: 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

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

使用ソース

  • 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