From 1888638dd52bb165ff754d98f4dca805aa4f438f Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Sun, 5 Jul 2020 00:02:22 +0800
Subject: [PATCH] zynq: fix nix store permission problems

---
 zynq.nix | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/zynq.nix b/zynq.nix
index d826d8d..4838118 100644
--- a/zynq.nix
+++ b/zynq.nix
@@ -35,14 +35,15 @@ in
 
       buildPhase =
         ''
-        cd ${<artiq-zynq>}
         export USER=hydra
+        pushd ${<artiq-zynq>}
         bash ${<artiq-zynq>}/remote_run.sh -h rpi-4 -o "-F /dev/null -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null -o LogLevel=ERROR -i /opt/hydra_id_rsa" -d ${artiq-zynq.zc706-simple-jtag}
+        popd
 
         sleep 15
 
         cd examples
-        artiq_run mandelbrot.py
+        artiq_run --device-db ${<artiq-zynq>}/examples/device_db.py ${<artiq-zynq>}/examples/mandelbrot.py
 
         touch $out
         '';