diff --git a/local_run.sh b/local_run.sh new file mode 100755 index 00000000..b57a8b0c --- /dev/null +++ b/local_run.sh @@ -0,0 +1,21 @@ +#!/usr/bin/env bash + +set -e + +impure=0 + +while getopts "h:i" opt; do + case "$opt" in + \?) exit 0 + ;; + i) impure=1 + ;; + esac +done + +cd openocd +if [ $impure -eq 1 ]; then + openocd -f zc706.cfg -c 'pld load 0 ../build/gateware/top.bit; load_image ../build/firmware/armv7-none-eabihf/release/szl; resume 0; exit' +else + openocd -f zc706.cfg -c 'pld load 0 ../result/top.bit; load_image ../result/szl.elf; resume 0; exit' +fi diff --git a/shell.nix b/shell.nix index 7c37820a..6505c18c 100644 --- a/shell.nix +++ b/shell.nix @@ -16,6 +16,7 @@ in pkgs.cacert pkgs.cargo-xbuild + pkgs.openocd pkgs.openssh pkgs.rsync (pkgs.python3.withPackages(ps: (with artiqpkgs; [ migen migen-axi misoc artiq ])))