about summary refs log tree commit diff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index d707904..85f634e 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
 .POSIX:
-.PHONY: all clean install uninstall
+.PHONY: all clean check install uninstall
 
 CXXFLAGS += -g -std=c++23 -Wextra -Werror
 LDLIBS += -lcommon -ldyninstAPI -linstructionAPI -lparseAPI # dyninst
@@ -34,6 +34,9 @@ trace-call: trace-call.o helpers.o
 %: %.c
 	e9compile $<
 
+check: synth.zig
+	zig test $<
+
 install: $(BIN:%=$(BIN_PREFIX)%) $(DATA:%=$(DATA_DIR)/%)
 
 $(BIN_PREFIX)%: %