From 92996a3671732b6c883b325414a1e313786d48d6 Mon Sep 17 00:00:00 2001
From: Matthew Sotoudeh <matthew@masot.net>
Date: Thu, 16 May 2024 15:15:40 -0700
Subject: checker

---
 Makefile | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index e856534..29929fd 100644
--- a/Makefile
+++ b/Makefile
@@ -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
-- 
cgit v1.2.3