aboutsummaryrefslogtreecommitdiffstats
path: root/benchmarks/polybench-syn/setup-syn-vivado.sh
diff options
context:
space:
mode:
authorMichalis Pardalos <m.pardalos@gmail.com>2021-03-01 20:09:24 +0000
committerMichalis Pardalos <m.pardalos@gmail.com>2021-03-01 20:09:24 +0000
commitf48c9113280b1dbe73121e5cd998e632ff19637c (patch)
treefe93170bf6e647b655819d0d4da35ce32483024c /benchmarks/polybench-syn/setup-syn-vivado.sh
parent890f8d7619364b725417bf1694e6192312052f74 (diff)
downloadvericert-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-xbenchmarks/polybench-syn/setup-syn-vivado.sh25
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"