result: etc/nixos/configuration.nix
	nix-build '<nixpkgs/nixos>' -A vm -k -I nixos-config=$^

tlaternet.qcow2:
	nix-shell -p qemu --run 'qemu-img create -f qcow2 $@ 10G'

run: result tlaternet.qcow2
	QEMU_OPTS="-m 4096 -nographic" QEMU_NET_OPTS="hostfwd=tcp::2222-:2222,hostfwd=tcp::8000-:80" ./result/bin/run-tlaternet-vm

format: $(wildcard etc/nixos/**/*.nix)
	nix-shell -p nixpkgs-fmt --run 'nixpkgs-fmt $^'