From fbf48c3b67cd207a66b152b5d032068bb161682b Mon Sep 17 00:00:00 2001
From: Craig Gidney <craiggidney@google.com>
Date: Mon, 20 Nov 2023 21:24:09 -0800
Subject: [PATCH] Add `stim.pyi` to bazel dev build

---
 BUILD | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/BUILD b/BUILD
index 3ba201c5e..3438c4462 100644
--- a/BUILD
+++ b/BUILD
@@ -102,10 +102,20 @@ cc_binary(
     deps = ["@pybind11"],
 )
 
+genrule(
+    name = "stim_wheel_files",
+    srcs = ["doc/stim.pyi"],
+    outs = ["stim.pyi"],
+    cmd = "cp $(location doc/stim.pyi) $@",
+)
+
 py_wheel(
     name = "stim_dev_wheel",
     distribution = "stim",
     requires = ["numpy"],
     version = "0.0.dev0",
-    deps = [":stim.so"],
+    deps = [
+        ":stim.so",
+        ":stim_wheel_files",
+    ],
 )