macOS
brew install bsclocal Homebrew formula metadata
sudo port install bscMacPorts ports tree · archivers/bsc/Portfile · ソース: api.github.com
brew / 順位 7070
bsc のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
brew install bsclocal Homebrew formula metadata
sudo port install bscMacPorts ports tree · archivers/bsc/Portfile · ソース: api.github.com
nix profile install nixpkgs#bscnixpkgs package indexes · pkgs/by-name/bs/bsc/package.nix · ソース: api.github.com
概要
Bluespec Compiler (BSC)
履歴
The Bluespec Compiler, usually packaged as `bsc`, is the open-source compiler and toolchain for Bluespec Hardware Description Languages. It turns Bluespec SystemVerilog and Bluespec Haskell into Verilog and includes simulation, libraries, and Tcl tooling, making it a specialist but important package for hardware-language users.
The BSC README says the toolchain was developed by Bluespec Inc. for almost 20 years before becoming the community-maintained open-source compiler under the B-Lang organization. That history matters because Bluespec is not a toy HDL: the README points to production designs such as Flute, Piccolo, and Shakti as evidence of prior industrial and academic use.
BSC supports two interchangeable syntactic flavors, Bluespec SystemVerilog and Bluespec Haskell/Classic. Its core language feature, Guarded Atomic Actions, lets designers describe modular rules and leaves scheduling work to the compiler. The packaged executable `bsc` emits standard Verilog, while `bluetcl` exposes Tcl scripting around the toolchain.
The upstream README lists distribution packaging for Arch AUR, Fedora via Terra, Gentoo GURU/LiGurOS, Homebrew, and Nix/NixOS. The provided package facts also show Homebrew, MacPorts, and Nix packaging, so the compiler has escaped source-only installation despite its niche hardware-design audience.
BSC adoption is concentrated in hardware language, RISC-V, and research communities rather than general software development. Its packaging is valuable because HDL compilers are often difficult to build reproducibly, and a package-manager formula lowers the cost of trying existing Bluespec designs.
Users compile BSV or BH source with `bsc`, use the bundled Bluesim simulator for execution, use standard libraries documented in the BSC library guide, and can automate workflows through `bluetcl`.
Because BSC emits standard Verilog, it fits into existing synthesis and simulation flows rather than requiring a wholly separate downstream hardware ecosystem.
BSC is package-nerd significant because it packages a full hardware-description-language compiler, simulator, standard library, and documentation set into ordinary developer package managers. That is much rarer than another linter or HTTP client.
It also represents a long-lived proprietary/research toolchain becoming open infrastructure. For maintainers, the interesting parts are large binary/source builds, generated documentation, and keeping a specialized compiler available across general-purpose package ecosystems.
セキュリティ状態
narrow executable package without higher-risk signals.
リスク グリーン · 信頼度 低 · appliance
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
bluetcl | cli | グローバル実行可能ファイル | |
bsc | cli | グローバル実行可能ファイル |
鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
https://github.com/B-Lang-org/bsc
インストールメタデータ
| パッケージキー | brew:bsc |
|---|---|
| バージョン | 2026.01 |
| パッケージマネージャ | Homebrew |
| パッケージマネージャページ | https://formulae.brew.sh/formula/bsc |
| ホームページ | https://github.com/B-Lang-org/bsc |
| リポジトリ | https://github.com/B-Lang-org/bsc |
| ライセンス | BSD-3-Clause |
| ソースアーカイブ | https://github.com/B-Lang-org/bsc/archive/refs/tags/2026.01.tar.gz |
| 依存関係 | gmp, icarus-verilog, tcl-tk |
| ビルド依存関係 | autoconf, cabal-install, ghc, pkgconf |
| macOS 提供ライブラリ | libffi |
| Bottle | 利用可能 (対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | 未定義 |
| サービス | 宣言なし |
レジストリ情報
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | bsc |
| Version Scheme | 0 |
| Revision | 0 |
| Head Version | HEAD |
| Conflicts With |
|
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
ソースデータベース一致
一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。
bsc
nix profile install nixpkgs#bscbsc
sudo port install bscソース経路
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
View the package source record on GitHub.