default: system image

NIXPKGS := channel:nixos-20.09

system: configuration.nix helios64.nix
	nix-build '<nixpkgs/nixos>' \
		--arg configuration ./configuration.nix \
		-A config.system.build.toplevel \
		-I nixpkgs=$(NIXPKGS) \
		-o $@ \
		$(EXTRA_OPTIONS)

image: emmc-image.nix configuration.nix helios64.nix
	nix-build '<nixpkgs/nixos>' \
		--arg configuration ./emmc-image.nix \
		-A config.system.build.sdImage \
		-I nixpkgs=$(NIXPKGS) \
		-o $@ \
		$(EXTRA_OPTIONS)