diff options
author | Matthew Sotoudeh <matthew@masot.net> | 2024-05-16 15:15:40 -0700 |
---|---|---|
committer | Matthew Sotoudeh <matthew@masot.net> | 2024-05-16 15:15:40 -0700 |
commit | 92996a3671732b6c883b325414a1e313786d48d6 (patch) | |
tree | 94b29907c5e167ca44ebd8e232ba9e3f44a7e58a /Makefile | |
parent | 54c09d54c0c170f1369751f8bf5a8a0b771a167c (diff) |
checker
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -5,11 +5,18 @@ CFLAGS += -O3 CFLAGS += -I./magic_buddy # CFLAGS += -fsanitize=address -all: build/examples/main +all: build/examples/main build/imc/checker build/examples/%: examples/%.c magic_buddy/magic_buddy.c @ mkdir -p $(dir $@) $(CC) $(CFLAGS) $^ -o $@ +IMCFLAGS += -I./imc/libimc +IMCFLAGS += -DN_WORKERS=32 +IMCFLAGS += -DREPORT_FREQ=5 +build/imc/%: imc/%.c magic_buddy/magic_buddy.c imc/libimc/master.c imc/libimc/worker.c + @ mkdir -p $(dir $@) + $(CC) $(CFLAGS) $(IMCFLAGS) $^ -o $@ + clean: rm -rf build |