From 4e93ba0424a95fabb30e9f25e9d59227bc4a880e Mon Sep 17 00:00:00 2001
From: Jesse Cirimelli-Low <jcirimel@ucsc.edu>
Date: Mon, 4 May 2026 13:01:52 -0700
Subject: [PATCH] add ciel to nix flake for pdk managementment

---
 flake.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/flake.nix b/flake.nix
index 1c0f0038..4f7a6e43 100644
--- a/flake.nix
+++ b/flake.nix
@@ -18,6 +18,9 @@
         {
           default = pkgs.mkShell {
             packages = [
+              # PDK management — ciel: install/switch open PDK revisions (e.g. sky130, gf180)
+              pkgs.ciel
+
               # EDA / verification tools
               pkgs.klayout
               pkgs.magic-vlsi