diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-03-01 20:09:24 +0000 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-03-01 20:09:24 +0000 |
commit | f48c9113280b1dbe73121e5cd998e632ff19637c (patch) | |
tree | fe93170bf6e647b655819d0d4da35ce32483024c /benchmarks/polybench-syn/setup-syn-vivado.sh | |
parent | 890f8d7619364b725417bf1694e6192312052f74 (diff) | |
download | vericert-f48c9113280b1dbe73121e5cd998e632ff19637c.tar.gz vericert-f48c9113280b1dbe73121e5cd998e632ff19637c.zip |
Add scripts for remote synthesis with vivado
Diffstat (limited to 'benchmarks/polybench-syn/setup-syn-vivado.sh')
-rwxr-xr-x | benchmarks/polybench-syn/setup-syn-vivado.sh | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/benchmarks/polybench-syn/setup-syn-vivado.sh b/benchmarks/polybench-syn/setup-syn-vivado.sh new file mode 100755 index 0000000..3441c0f --- /dev/null +++ b/benchmarks/polybench-syn/setup-syn-vivado.sh @@ -0,0 +1,25 @@ +#!/bin/bash + +#set up +sshhost="$1" +basedir=${2:-"poly-syn-vivado"} + +echo "Setting up in $sshhost:$basedir" + +echo "Creating directory" +ssh -q "$sshhost" "cd ~; rm -r $basedir; mkdir $basedir" + +echo "Copying scripts over" +scp -q syn-vivado.tcl "$sshhost:$basedir" +scp -q syn-vivado.sh "$sshhost:$basedir" +rm syn-list + +while read -r benchmark; do +echo "Copying $benchmark over" +name=$(echo "$benchmark" | awk -v FS="/" '{print $NF}') +scp -q "$benchmark.v" "$sshhost:~/$basedir" +echo "$name" >> syn-list +done < benchmark-list-master + +echo "Copying syn-list" +scp -q syn-list "$sshhost:$basedir" |