33 lines
668 B
Makefile
33 lines
668 B
Makefile
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
|