aboutsummaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2026-07-31 11:04:30 +0100
committerMichael Williamson <mike@zwobble.org>2026-07-31 11:04:30 +0100
commit8dce1c07e695c5fe098ecffc6ee9ff8c34725664 (patch)
tree032a9f608eef810a3cc02f2821beb83b076336b8 /makefile
parentc99d9dec1c89a09fd4ba6f7f73a94bf5b29ee7f0 (diff)
Add hobgoblin definitions for sources
Diffstat (limited to 'makefile')
-rw-r--r--makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/makefile b/makefile
index d2f4fcd5..858d9114 100644
--- a/makefile
+++ b/makefile
@@ -35,3 +35,8 @@ src/gen/java:
patio-to-cranelift:
flatc-25.12.19 -o patio-to-cranelift/src/gen --rust flatbuffers/*
cd patio-to-cranelift; cargo fmt && cargo build && cargo test
+
+.PHONY: hobgoblin
+
+hobgoblin:
+ hobgoblin compile hobgoblin