diff options
| author | Michael Williamson <mike@zwobble.org> | 2025-01-25 17:35:10 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2025-01-25 17:35:10 +0000 |
| commit | 7d76b7679d0b70b0e38ff08aeeeb78acde14aac3 (patch) | |
| tree | 834d177f97c549e46fbea63524fa29015160ce1f /makefile | |
| parent | 63c7aed6104192418ca8f44a1f8c039b5360ad99 (diff) | |
Use generated C headers in runtime
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 13 |
1 files changed, 12 insertions, 1 deletions
@@ -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 |