Zander671/river
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

build: add -Dstrip and -Dpie build options

Browse Source
This commit is contained in:
Isaac Freund 2022-05-22 15:25:38 +02:00
parent ded490d3dd
commit 3cb6428da6
No known key found for this signature in database
GPG Key ID: 86DED400DDFD7A11
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
build.zig
View File

@ -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();
}