6 lines
143 B
Makefile
6 lines
143 B
Makefile
vendor_list := mkernel miou zarith
|
|
|
|
vendors:
|
|
@for v in $(vendor_list); do \
|
|
[ ! -d "vendors/$v" ] && opam source $v --dir vendors/$v
|
|
done
|