From 1b8851d95c737cf8ebc92977bc96d4bb838568f6 Mon Sep 17 00:00:00 2001
From: _ov4 <ov4@ov4.org>
Date: Sat, 17 Oct 2026 15:10:34 +0000
Subject: feat(driver): link INCLUDE_OBJ objects and check EXTERN symbols

Each EXTERN symbol must be defined by an INCLUDE_OBJ object file or by
the embedded C library selected with INCLUDE_OBJ "__libc". Objects are
linked natively, loaded by the embedded JIT and passed to lli.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 tools/driver/EmbeddedRunner.h | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'tools/driver/EmbeddedRunner.h')

diff --git a/tools/driver/EmbeddedRunner.h b/tools/driver/EmbeddedRunner.h
index 1651f4d..adb7d58 100644
--- a/tools/driver/EmbeddedRunner.h
+++ b/tools/driver/EmbeddedRunner.h
@@ -2,4 +2,8 @@
 
 namespace cps { class CodeGen; }
 
-int runEmbedded(const cps::CodeGen &CG);
+#include <string>
+#include <vector>
+
+// Objects named by INCLUDE_OBJ are loaded into the JIT beside the program.
+int runEmbedded(const cps::CodeGen &CG, const std::vector<std::string> &Objects);
-- 
cgit v1.3.1-4-g156e