.PHONY: list-licenses

list-licenses:
	mkdir -p licenses
	cd licenses && ../opam-licenses.sh hyperkit
	./list-licenses.sh licenses > OCAML-LICENSES
