CC ?= cc
CFLAGS ?= -O2 -g -std=c11 -Wall -Wextra -Werror
.PHONY: all check clean
all: probe pocketdb
probe: probe.c
	$(CC) $(CFLAGS) -pthread $< -o $@
pocketdb: pocketdb.rs
	rustc --edition=2021 -D warnings -g -O $< -o $@
check: all
	python3 verify.py
clean:
	rm -f probe pocketdb
