# Generated by mirage.v4.10.3

-include Makefile.user
BUILD_DIR = unikernel/
MIRAGE_DIR = unikernel/mirage
UNIKERNEL_NAME = mte-unix
OPAM = opam

all::
	@$(MAKE) --no-print-directory depends
	@$(MAKE) --no-print-directory build

.PHONY: all lock install-switch pull clean depend depends build repo-add repo-rm depext-lockfile

repo-add:
	@printf "\033[2musing overlay repository mirage: [opam-overlays, mirage-overlays] \033[0m\n"
	$(OPAM) repo add opam-overlays https://github.com/dune-universe/opam-overlays.git || $(OPAM) repo set-url opam-overlays https://github.com/dune-universe/opam-overlays.git
	$(OPAM) repo add mirage-overlays https://github.com/dune-universe/mirage-opam-overlays.git || $(OPAM) repo set-url mirage-overlays https://github.com/dune-universe/mirage-opam-overlays.git


repo-rm:
	@printf "\033[2mremoving overlay repository [opam-overlays, mirage-overlays]\033[0m\n"
	$(OPAM) repo remove opam-overlays https://github.com/dune-universe/opam-overlays.git
	$(OPAM) repo remove mirage-overlays https://github.com/dune-universe/mirage-opam-overlays.git



depext-lockfile: $(MIRAGE_DIR)/$(UNIKERNEL_NAME).opam.locked
	echo " ↳ install external dependencies for monorepo"
	env OPAMVAR_monorepo="opam-monorepo" $(OPAM) monorepo depext -y -l $<


$(MIRAGE_DIR)/$(UNIKERNEL_NAME).opam.locked: $(MIRAGE_DIR)/$(UNIKERNEL_NAME).opam
	@$(MAKE) -s repo-add
	@echo " ↳ generate lockfile for monorepo dependencies"
	@env OPAMVAR_monorepo="opam-monorepo" $(OPAM) monorepo lock --require-cross-compile --build-only $(UNIKERNEL_NAME) -l $@ --ocaml-version $(shell ocamlc --version); (ret=$$?; $(MAKE) -s repo-rm && exit $$ret)

lock::
	@$(MAKE) -B $(MIRAGE_DIR)/$(UNIKERNEL_NAME).opam.locked
	@echo "The lock file has been generated. Run 'make pull' to retrieve the sources, or 'make install-switch' to install the host dependencies."

pull:: $(MIRAGE_DIR)/$(UNIKERNEL_NAME).opam.locked
	@echo " ↳ fetch monorepo dependencies in the duniverse folder"
	@env OPAMVAR_monorepo="opam-monorepo" $(OPAM) monorepo pull -l $< -r $(abspath $(BUILD_DIR))
	@echo "The sources have been pulled to the duniverse folder. Run 'make build' to build the unikernel."

install-switch:: $(MIRAGE_DIR)/$(UNIKERNEL_NAME).opam
	@echo " ↳ opam install switch dependencies"
	@$(OPAM) install $< --deps-only --yes
	@$(MAKE) -s depext-lockfile
	@echo "The dependencies have been installed. Run 'make build' to build the unikernel."

depends depend::
	@$(MAKE) --no-print-directory lock
	@$(MAKE) --no-print-directory install-switch
	@$(MAKE) --no-print-directory pull

build::
	dune build --profile release --root . $(BUILD_DIR)dist
	@echo "Your unikernel binary is now ready in $(BUILD_DIR)dist/mte"
	@echo "Execute the binary using solo5-hvt, solo5-spt, xl, ..."

clean::
	mirage clean