fix(build): install headers

This commit is contained in:
phaneron 2024-07-03 14:40:59 -04:00
parent 9cdfc106b3
commit f8544e9fe4
2 changed files with 4 additions and 2 deletions

View file

@ -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",