From 7d76b7679d0b70b0e38ff08aeeeb78acde14aac3 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sat, 25 Jan 2025 17:35:10 +0000
Subject: Use generated C headers in runtime

---
 makefile | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

(limited to 'makefile')

diff --git a/makefile b/makefile
index 8dec62bf..e3a90ade 100644
--- a/makefile
+++ b/makefile
@@ -3,7 +3,18 @@
 package:
 	mvn package -Dmaven.test.skip=true
 
+.PHONY: native-headers
+
+native-headers: package
+	java -jar target/shedc-1.0-SNAPSHOT.jar \
+	    compile \
+	    --target patio-native-c-headers \
+	    projects/std
+	cp -r projects/std/target/patio-native-c-headers/dev/namespaces \
+	    --target-directory runtime/src/shed/
+
+
 .PHONY: runtime
 
-runtime:
+runtime: native-headers
 	python3 runtime/build.py standard
-- 
cgit v1.2.3