From f52c818c816bf8d5d77357b44a3c421518586f5f Mon Sep 17 00:00:00 2001 From: Philipp Gackstatter Date: Mon, 20 Jan 2025 13:36:44 +0100 Subject: [PATCH] chore: Add shared modules before adding kernel lib --- miden-lib/build.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/miden-lib/build.rs b/miden-lib/build.rs index 3239008d9..e28bd5d30 100644 --- a/miden-lib/build.rs +++ b/miden-lib/build.rs @@ -126,9 +126,9 @@ fn compile_tx_kernel(source_dir: &Path, target_dir: &Path) -> Result // assemble the kernel program and write it the "tx_kernel.masb" file let mut main_assembler = assembler.clone(); - main_assembler.add_modules_from_dir(kernel_namespace.clone(), &source_dir.join("lib"))?; // add the shared modules to the kernel lib under the kernel::util namespace - main_assembler.add_modules_from_dir(kernel_namespace, &shared_path)?; + main_assembler.add_modules_from_dir(kernel_namespace.clone(), &shared_path)?; + main_assembler.add_modules_from_dir(kernel_namespace, &source_dir.join("lib"))?; let main_file_path = source_dir.join("main.masm").clone(); let kernel_main = main_assembler.assemble_program(main_file_path)?;