feat(kframework_ffi): Marshaller for moving rust kore types to the llvm-backend

.github/actions/with-docker/Dockerfile

@@ -2,6 +2,8 @@ FROM rust:1.85.0
 
 RUN rustup component add clippy rustfmt
 
+RUN apt-get update && apt-get install --yes libclang-dev
+
 ARG USER=user
 ARG GROUP=$USER
 ARG USER_ID=1000

.github/actions/with-docker/Dockerfile.fuzz

@@ -10,7 +10,7 @@ RUN kompile --llvm-kompile-type c fuzz.k
 FROM rust:${RUST_TOOLCHAIN}
 
 COPY --from=semantics /opt/imp-semantics/fuzz-kompiled/interpreter.so /usr/lib
-RUN apt-get update && apt-get install --yes build-essential binutils-dev libunwind-dev libblocksruntime-dev liblzma-dev
+RUN apt-get update && apt-get install --yes build-essential binutils-dev libclang-dev libunwind-dev libblocksruntime-dev liblzma-dev
 RUN cargo install honggfuzz
 
 ARG USER=user

examples/fuzzer/build.rs

@@ -6,12 +6,9 @@ fn main() {
 
     // Add the location of interpreter.so to your LD_LIBRARY_PATH variable
     // You will also need this variable set when you run the program
-    match env::var_os("LD_LIBRARY_PATH") {
-        Some(paths) => {
+    if let Some(paths) = env::var_os("LD_LIBRARY_PATH") {
             for lib_path in env::split_paths(&paths) {
                 println!("cargo:rustc-link-search={}", lib_path.display());
             }
-        }
-        None => (),
     };
 }