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]>
Signed-off-by: Pablo Barbáchano <[email protected]>
  • Loading branch information
ShadowCurse authored and pb8o committed Dec 16, 2024
1 parent 53a5c3f commit 93cc0a2
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 93cc0a2

Please sign in to comment.