Makefile

.PHONY: all
all: help

DEVTOOL="tools/devtool.sh"

##@ General

# The help target prints out all targets with their descriptions organized
# beneath their categories. The categories are represented by '##@' and the
# target descriptions by '##'. The awk commands is responsible for reading the
# entire set of makefiles included in this invocation, looking for lines of the
# file as xyz: ## something, and then pretty-format the target and help. Then,
# if there's a line with ##@ something, that gets pretty-printed as a category.
# More info on the usage of ANSI control characters for terminal formatting:
# https://en.wikipedia.org/wiki/ANSI_escape_code#SGR_parameters
# More info on the awk command:
# http://linuxcommand.org/lc3_adv_awk.php

.PHONY: help
help: ## Display this help.
	@awk 'BEGIN {FS = ":.*##"; printf "\nUsage:\n  make \033[36m<target>\033[0m\n"} /^[a-zA-Z_0-9-]+:.*?##/ { printf "  \033[36m%-15s\033[0m %s\n", $$1, $$2 } /^##@/ { printf "\n\033[1m%s\033[0m\n", substr($$0, 5) } ' $(MAKEFILE_LIST)

##@ Development

.PHONY: setfacl
	@sudo setfacl -m u:${USER}:rw /dev/kvm

.PHONY: setfacl test-no-priv
test-no-priv:
	@eval $(DEVTOOL) test-no-priv

.PHONY: test-priv
test-priv:
	@eval $(DEVTOOL) test-priv

.PHONY: test
test: setfacl ## Test toyvmm
	@eval $(DEVTOOL) test-all

##@ Build

.PHONY: lint
lint: ## Lint
	@cargo clippy

.PHONY: fmt
fmt: ## Format
	@cargo fmt --all -- --check

.PHONY: build
build: lint fmt ## Build toyvmm
	@cargo build