37 lines
672 B
Text
37 lines
672 B
Text
|
pin_list := "git+https://github.com/mirage/Zarith.git#zarith-1.14"
|
||
|
|
vendor_list := mkernel miou zarith
|
||
|
|
|
||
|
|
secmod_fat=secrets/secmod.fat
|
||
|
|
tap_device=tap-mte
|
||
|
|
|
||
|
|
pins:
|
||
|
|
@for v in $(pin_list); do \
|
||
|
|
opam pin $v
|
||
|
|
done
|
||
|
|
|
||
|
|
vendors:
|
||
|
|
mkdir -p 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)
|
||
|
|
|
||
|
|
assets:
|
||
|
|
cp default/assets ./
|
||
|
|
|
||
|
|
manifest:
|
||
|
|
dune exec src/mte.exe > manifest.json
|
||
|
|
|
||
|
|
build:
|
||
|
|
dune build src/mte.exe
|
||
|
|
|
||
|
|
run:
|
||
|
|
solo5-hvt --block:storage=$(secmod_fat) --net:service=$(tap_device) -- _build/solo5/main.exe --solo5:quiet
|