19 lines
225 B
Makefile
19 lines
225 B
Makefile
.PHONY: all check guest xen clean
|
|
|
|
all:
|
|
dune build @all
|
|
|
|
check:
|
|
dune runtest
|
|
$(MAKE) -C guest check
|
|
|
|
guest: all
|
|
$(MAKE) -C guest check
|
|
|
|
xen:
|
|
python3 test/xen.py $(XEN_INCLUDE)
|
|
|
|
clean:
|
|
dune clean
|
|
$(MAKE) -C guest clean
|