PREFIX ?= /usr/local

install: kern
	install -D -m 755 -t '${DESTDIR}${PREFIX}/bin' kern

.PHONY: install