From dffbab27072d54f5904db722ced4566c205b7f5d Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Fri, 1 May 2020 10:48:23 +0800
Subject: [PATCH] default.nix: fix szl filenames

---
 default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/default.nix b/default.nix
index 35c83190..b3a42373 100644
--- a/default.nix
+++ b/default.nix
@@ -33,7 +33,7 @@ in
 
       installPhase = ''
         mkdir -p $out $out/nix-support
-        cp target/armv7-none-eabihf/release/szl $out/$szl.elf
+        cp target/armv7-none-eabihf/release/szl $out/szl.elf
         echo file binary-dist $out/szl.elf >> $out/nix-support/hydra-build-products
       '';
 
@@ -56,7 +56,7 @@ in
     zc706-jtag = pkgs.runCommand "zc706-jtag" {}
       ''
         mkdir $out
-        ln -s ${zc706-szl}/szl $out
+        ln -s ${zc706-szl}/szl.elf $out
         ln -s ${zc706-gateware}/top.bit $out
       '';
   }