diff options
| author | Nguyễn Gia Phong <cnx@loang.net> | 2025-10-17 16:27:57 +0900 |
|---|---|---|
| committer | Nguyễn Gia Phong <cnx@loang.net> | 2025-10-17 17:57:44 +0900 |
| commit | f4c491fce28223a09900aafeb6e1e83994df2bbd (patch) | |
| tree | a382e169120eea5e4728348c3e9252fbae724176 /Makefile | |
| parent | 3a2e8fd0b06ebb738d9d4677659249e05b09e7cb (diff) | |
| download | taosc-f4c491fce28223a09900aafeb6e1e83994df2bbd.tar.gz | |
Support constants and arithmetic operations in predicates
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
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)%: % |