diff --git a/.gitignore b/.gitignore index cc5d410c..fa709a16 100644 --- a/.gitignore +++ b/.gitignore @@ -41,6 +41,8 @@ confdefs.h config.* configure configure.lineno +conftest.c +conftest.err coverage.info depcomp INSTALL diff --git a/build.zig b/build.zig index 5fbcae5e..baa158e3 100644 --- a/build.zig +++ b/build.zig @@ -356,7 +356,7 @@ pub fn build(b: *std.Build) !void { } } - if (build_tests) { + { const offline = b.option(bool, "offline", "Skip downloading test vectors; use cached files only") orelse false; const tv_options = b.addOptions(); tv_options.addOption(bool, "offline", offline); @@ -376,7 +376,6 @@ pub fn build(b: *std.Build) !void { .name = "test-vectors", .root_module = tv_mod, }); - b.installArtifact(tv_exe); const run_tv = b.addRunArtifact(tv_exe); const tv_step = b.step("test-vectors", "Run external test vectors (Rooterberg)"); tv_step.dependOn(&run_tv.step);