vendor_list := mkernel miou zarith

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