secrets_dir=./secrets
secmod_fat=$(secrets_dir)/secmod.fat

pin_list := "git+https://github.com/mirage/Zarith.git#zarith-1.14"
vendor_list := mkernel miou zarith

pins:
	@for v in $(pin_list); do \
	  opam pin $v
	done

vendors:
	[ ! -d vendors ] && mkdir vendors
	@for v in $(vendor_list); do \
	  [ ! -d vendors/$v ] && opam source $v --dir vendors/$v
	done

.PHONY: clean
clean:
	rm -rf _build/
	rm -rf vendors/

secmod-storage:
	mfat make --sectors=2048 $(secmod_fat)

manifest:
	dune exec ./src/mte.exe > manifest.json

build:
	dune build ./src/mte.exe

run:
	solo5-hvt --block:secmod.fat=$(secmod_fat) --net:network=tap0 -- ./_build/solo5/main.exe --solo5:quiet
