# Installer bsc avec Homebrew, MacPorts, Nix

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de bsc pour les workflows d'agents IA.

## installation

```sh
sudo av install brew:bsc
```

Commandes d'installation supplémentaires:

### macOS

- Homebrew (100%):

```sh
brew install bsc
```

  Preuve: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install bsc
```

  Preuve: MacPorts ports tree: archivers/bsc/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

### Linux

- Nix (92%):

```sh
nix profile install nixpkgs#bsc
```

  Preuve: nixpkgs package indexes: pkgs/by-name/bs/bsc/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

## Faits du paquet

- **Clé du paquet:** brew:bsc
- **Gestionnaire de paquets:** Homebrew
- **Version:** 2026.01
- **Résumé source:** Bluespec Compiler (BSC)
- **Page d'accueil:** <https://github.com/B-Lang-org/bsc>
- **Dépôt:** <https://github.com/B-Lang-org/bsc>
- **Généré:** 2026-08-03T19:37:03+00:00

## exécutables

- bluetcl (alias)
- bsc (alias)

## Comportement d'installation

- Bouteille: non disponible

## Version et fraîcheur

- page générée: 2026-08-03
- version du gestionnaire: 2026.01
## Historique du projet et usages

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.

### Historique du projet

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.

### Historique d'adoption

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.

### Modes d'utilisation

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.

### Pourquoi les passionnés de paquets s'y intéressent

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.

### Chronologie

- 2000s-2010s: Bluespec Inc. develops the toolchain for almost 20 years before the current open-source community phase.
- 2020: BSC is available through Nix/NixOS according to the upstream README's package list.
- 2020s: The B-Lang organization maintains the open-source compiler, documentation PDFs, test suite, and release artifacts on GitHub.
- 2026: The README badge points at release 2026.01 and the provided package facts show Homebrew, MacPorts, and Nix packaging.

### Related projects

- bsc-contrib is the companion repository for libraries and utilities that do not belong in the core compiler.
- BDW, the BSC Development Workstation, provides a graphical environment and source-level waveform viewing.
- Flute, Piccolo, and Shakti are cited by upstream as production or serious Bluespec designs.
- Verilog/SystemVerilog synthesis tools are downstream consumers of BSC output.

### Sources

- <https://github.com/B-Lang-org/bsc>
- <https://github.com/B-Lang-org/bsc/releases/latest/download/bsc_user_guide.pdf>
- <https://raw.githubusercontent.com/B-Lang-org/bsc/main/README.md>
- source_facts.package-manager


## Notes de sécurité

narrow executable package without higher-risk signals.

- **Risque Geiger:** vert / faible
- narrow executable package without higher-risk signals

## Autres enregistrements de gestionnaires de paquets

- Nix - bsc: normalized package name match | nixpkgs package indexes: pkgs/by-name/bs/bsc/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
- MacPorts - bsc: normalized package name match | MacPorts ports tree: archivers/bsc/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1


## Combined YAML source

View the package source record on GitHub. [combined/bsc.yml](https://github.com/mxcl/pkgdb/blob/main/combined/bsc.yml)


## Sources

- pkg.so package database
- Geiger risk classifier
- curated package history
- pkgdb category and tag curation
- external package-manager database matches
- cross-ecosystem install command graph
