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 pb8o committed Dec 16, 2024
1 parent bf92e48 commit 42787fa
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 42787fa

Please sign in to comment.