From 42787fa6f97d43ff7da3ddb8861d34c4e545dfe7 Mon Sep 17 00:00:00 2001 From: Egor Lazarchuk <yegorlz@amazon.co.uk> Date: Wed, 11 Dec 2024 16:04:26 +0000 Subject: [PATCH] chore: add additional path for libseccomp lib 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 <yegorlz@amazon.co.uk> --- src/seccompiler/build.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/seccompiler/build.rs b/src/seccompiler/build.rs index 69878f1f31b..d0d2a30e39e 100644 --- a/src/seccompiler/build.rs +++ b/src/seccompiler/build.rs @@ -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"); }