added explicit runtime/satman targets for makefile

default.nix

@@ -35,7 +35,7 @@ let
         export XARGO_RUST_SRC="${rustPlatform.rust.rustc}/lib/rustlib/src/rust/library"
         export CLANG_EXTRA_INCLUDE_DIR="${pkgs.llvmPackages_9.clang-unwrapped.lib}/lib/clang/9.0.1/include"
         export CARGO_HOME=$(mktemp -d cargo-home.XXX)
-        make TARGET=${target} GWARGS="${if json == null then "-V ${variant}" else json}" ../build/${fwtype}.bin
+        make TARGET=${target} GWARGS="${if json == null then "-V ${variant}" else json}" ${fwtype}_target
       '';
 
       installPhase = ''

src/Makefile

@@ -1,9 +1,13 @@
 TARGET := zc706
 GWARGS := -V simple
 
-all: ../build/runtime.bin
+all: runtime_target
 
-.PHONY: all
+runtime_target: ../build/runtime.bin
+
+satman_target: ../build/satman.bin
+
+.PHONY: all runtime_target satman_target
 
 ../build/pl.rs ../build/rustc-cfg ../build/mem.rs: gateware/* 
 	mkdir -p ../build