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 committed Dec 11, 2024
1 parent 1b9eb6a commit 1fc051b
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 1fc051b

Please sign in to comment.