1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18

.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