From f4c491fce28223a09900aafeb6e1e83994df2bbd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nguy=E1=BB=85n=20Gia=20Phong?= <cnx@loang.net>
Date: Fri, 17 Oct 2025 16:27:57 +0900
Subject: Support constants and arithmetic operations in predicates

---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'Makefile')

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)%: %
-- 
cgit v1.2.3