Skip to content

Commit

Permalink
chore: add additional path for libseccomp lib
Browse files Browse the repository at this point in the history
Kani on x86 for some reason cannot find libseccomp by default,
so we add additional path to the build.rs

Signed-off-by: Egor Lazarchuk <[email protected]>
  • Loading branch information
ShadowCurse authored and roypat committed Dec 17, 2024
1 parent b74c85d commit 96c905e
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/seccompiler/build.rs
Original file line number Diff line number Diff line change
Expand Up @@ -2,5 +2,6 @@
// SPDX-License-Identifier: Apache-2.0

fn main() {
println!("cargo::rustc-link-search=/usr/local/lib");
println!("cargo::rustc-link-lib=seccomp");
}

0 comments on commit 96c905e

Please sign in to comment.