From f8544e9fe422d291e4017ae7592ee06c1bbb3239 Mon Sep 17 00:00:00 2001
From: superp00t <superp00t@tutanota.com>
Date: Wed, 3 Jul 2024 14:40:59 -0400
Subject: [PATCH] fix(build): install headers

---
 build.zig     | 2 ++
 build.zig.zon | 4 ++--
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/build.zig b/build.zig
index 740144d..d2af30c 100644
--- a/build.zig
+++ b/build.zig
@@ -115,6 +115,8 @@ pub fn build(b: *std.Build) void {
     }
   }
 
+  storm.installHeadersDirectory(b.path("storm"), "storm", .{ .include_extensions = &.{"hpp"} });
+
   // StormTest executable
   const storm_test_exe = b.addExecutable(.{
     .name = "StormTest",
diff --git a/build.zig.zon b/build.zig.zon
index 11f792f..fabdd8f 100644
--- a/build.zig.zon
+++ b/build.zig.zon
@@ -9,11 +9,11 @@
         },
         .bc = .{
             .url = "https://github.com/thunderbrewhq/bc/archive/refs/heads/master.zip",
-            .hash = "12202ac82de86543714d79a8c055b7357fd8c4c6ba3bf73ec4f1cdd5771885c728ad",
+            .hash = "122095e77b9c52e9a317b57474d9735e82973bb46e011b36107b2a9d55bb62a7704b",
         },
         .mem = .{
             .url = "https://github.com/thunderbrewhq/mem/archive/refs/heads/master.zip",
-            .hash = "122037f90f957dec643fe16e0092c8b971b7dd0a0f8096d00fa134e254053fbced87",
+            .hash = "12205739d6afa86c264dde5ff94fdf7f14df68122054ce899934faf972d0b11d7ac5",
         },
     },
 }