aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--build.zig9
1 files changed, 9 insertions, 0 deletions
diff --git a/build.zig b/build.zig
index 5de182b..4d0017c 100644
--- a/build.zig
+++ b/build.zig
@@ -16,6 +16,9 @@ pub fn build(b: *zbs.Builder) !void {
const target = b.standardTargetOptions(.{});
const mode = b.standardReleaseOptions();
+ const strip = b.option(bool, "strip", "Omit debug information") orelse false;
+ const pie = b.option(bool, "pie", "Build a Position Independent Executable") orelse false;
+
const man_pages = b.option(
bool,
"man-pages",
@@ -123,6 +126,8 @@ pub fn build(b: *zbs.Builder) !void {
addServerDeps(river, scanner);
+ river.strip = strip;
+ river.pie = pie;
river.install();
}
@@ -143,6 +148,8 @@ pub fn build(b: *zbs.Builder) !void {
scanner.addCSource(riverctl);
+ riverctl.strip = strip;
+ riverctl.pie = pie;
riverctl.install();
}
@@ -163,6 +170,8 @@ pub fn build(b: *zbs.Builder) !void {
scanner.addCSource(rivertile);
+ rivertile.strip = strip;
+ rivertile.pie = pie;
rivertile.install();
}