swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Browse source
This commit is contained in:
swrup 2026-03-11 16:35:37 +01:00
parent 4b09b4a3c5
commit e1cf77bdc8
1 changed files with 10 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

10
GNUmakefile
View file

@ -1,9 +1,19 @@
install_list := solo5 ocaml-solo5 mkernel mnet
pin_list := "git+https://github.com/mirage/Zarith.git#zarith-1.14" pin_list := "git+https://github.com/mirage/Zarith.git#zarith-1.14"
vendor_list := mkernel miou zarith vendor_list := mkernel miou zarith
secmod_fat=secrets/secmod.fat secmod_fat=secrets/secmod.fat
tap_device=tap-mte tap_device=tap-mte
check-kvm:
$(if $(wildcard /dev/kvm),,$(error KVM support not enabled))
installs:
@for v in $(install_list); do \
opam install $v
done
pins: pins:
@for v in $(pin_list); do \ @for v in $(pin_list); do \
opam pin $v opam pin $v