From 96821bce89183c1752031dd8f58057bcc4e7ebe1 Mon Sep 17 00:00:00 2001
From: Agustin Borgna <agustin.borgna@quantinuum.com>
Date: Fri, 17 May 2024 11:48:08 +0100
Subject: [PATCH] chore: Declare ci_run flag in build.rs

---
 hugr/build.rs | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 hugr/build.rs

diff --git a/hugr/build.rs b/hugr/build.rs
new file mode 100644
index 000000000..385ec3d50
--- /dev/null
+++ b/hugr/build.rs
@@ -0,0 +1,7 @@
+//! Build script for the `hugr` crate.
+
+fn main() {
+    // We use a `ci_run` RUSTFLAG to indicate that we are running a CI check,
+    // so we can reject debug code using some tools defined in `utils.rs`.
+    println!("cargo:rustc-check-cfg=cfg(ci_run)");
+}