Skip to content

Add shell script for installing dependencies#269

Merged
ekiwi merged 3 commits into
mainfrom
installation_script
Jul 6, 2026
Merged

Add shell script for installing dependencies#269
ekiwi merged 3 commits into
mainfrom
installation_script

Conversation

@ngernest

@ngernest ngernest commented Jul 3, 2026

Copy link
Copy Markdown
Contributor

I recently set up this repo on a new machine and went through the process to manually install dependencies for local development.

To automate / document this process, I decided to create a script install.sh, in case we also need to install this repo again on a server (Gorgonzola / Havarti) in the future.

The script installs the following (via Homebrew on MacOS or apt-get on Linux):

  • uv (for Python dependencies)
  • just (to use Justfiles)
  • Install's Nikil's fork of Runt via cargo install --git https://github.com/Nikil-Shyamsunder/runt.git (as described in Migrate to Runt #252)
  • Installs Yosys
    • Note: this does brew install yosys, so it may end up installing a different version from Yosys from what is done in CI (CI runs the entire setup-oss-cad-suite, which takes much longer) -- hopefully doing brew install yosys is sufficient for this script
  • Runs uv sync to set up Python virtual env

I checked this script using the shellcheck tool and ran it locally on my machine to check the script works.

@ekiwi ekiwi merged commit 508251e into main Jul 6, 2026
18 checks passed
@ngernest ngernest deleted the installation_script branch July 6, 2026 14:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants