let
	mozillaOverlay = import (builtins.fetchTarball https://github.com/mozilla/nixpkgs-mozilla/archive/master.tar.gz);
	pkgs = import <nixpkgs> {overlays = [mozillaOverlay];};
in with pkgs;
let
	migen			= callPackage ./nix/migen.nix {};
	openocd			= callPackage ./nix/openocd.nix {};
	rustPlatform	= callPackage ./nix/rustPlatform.nix {};
	itm				= callPackage ./nix/itm.nix {inherit rustPlatform;};

	runOpenOcd = writeShellScriptBin "run-openocd" ''
		openocd \
		-f board/st_nucleo_h743zi.cfg \
		-c init &
		sleep 1
	'';

	runOpenOcdBlock = writeShellScriptBin "run-openocd-block" ''
		openocd -f openocd/openocd.cfg
	'';

	setGDBConfigFile = writeShellScriptBin "set-gdb-config-file" ''
		if [[ $1 == "" ]]
		then
			sed -i "2s/.*/runner = \"gdb -q -x gdb_config\/openocd.gdb\"/" .cargo/config
			echo "GDB config file: openocd.gdb"
		else
			sed -i "2s/.*/runner = \"gdb -q -x gdb_config\/$1.gdb\"/" .cargo/config
			echo "GDB config file: $1.gdb"
		fi
	'';

	runEthernetServer = writeShellScriptBin "run-ethernet-server" ''
		set-gdb-config-file && cargo run --example ethernet
	'';

	compileMigenScript = writeShellScriptBin "compile-migen-script" ''
		python3 migen/fpga_config.py
		echo "Compiled fpga_config.py to top.bin"
	'';

	flashFPGAConfig = writeShellScriptBin "flash-fpga-config" ''
		openocd-flash fpga-config
	'';

	configureFPGA = writeShellScriptBin "configure-fpga" ''
		compile-migen-script 					\
		&& cargo build --example fpga_config	\
		&& flash-fpga-config
	'';

	verifyFPGAConfig = writeShellScriptBin "verify-fpga-config" ''
		gdb -x gdb_config/fpga_verify.gdb
		diff build/top.bin mem.bin
		rm mem.bin
	'';

	resetFlash = writeShellScriptBin "reset-flash" ''
		gdb -batch -x gdb_config/reset.gdb
		echo "Reset is complete, please reset the openocd server."
	'';

	openocdFlash = writeShellScriptBin "openocd-flash" ''
	    openocd -f openocd/openocd.cfg -f openocd/$1.cfg
	'';

in
	stdenv.mkDerivation {
		name = "nix-shell";		
		buildInputs = with rustPlatform.rust; [
			(pkgs.python3.withPackages(ps: [ migen ]))
			pkgs.yosys
			pkgs.nextpnr
			pkgs.icestorm
			pkgs.gdb
			pkgs.mosquitto
			openocd
			rustc
			cargo
			itm
			runOpenOcd
			runOpenOcdBlock
			setGDBConfigFile
			runEthernetServer
			compileMigenScript
			flashFPGAConfig
			configureFPGA
			verifyFPGAConfig
			resetFlash
			openocdFlash
		];
	}