diff options
Diffstat (limited to 'benchmarks/polybench-syn/setup-syn-vericert.sh')
-rwxr-xr-x | benchmarks/polybench-syn/setup-syn-vericert.sh | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/benchmarks/polybench-syn/setup-syn-vericert.sh b/benchmarks/polybench-syn/setup-syn-vericert.sh deleted file mode 100755 index 22356f7..0000000 --- a/benchmarks/polybench-syn/setup-syn-vericert.sh +++ /dev/null @@ -1,24 +0,0 @@ -#! /bin/bash - -top=$(pwd) - #set up - basedir=poly-syn - sshhost=$1 - ssh $sshhost "cd ~; rm -r $basedir" - ssh $sshhost "cd ~; mkdir $basedir" - scp quartus_synth.tcl $sshhost:$basedir - scp syn-remote.sh $sshhost:$basedir - rm syn-list - - while read benchmark ; - do - echo "Copying "$benchmark" over" - name=$(echo $benchmark | awk -v FS="/" '{print $NF}') - echo "Name: "$name - benchdir="~/$basedir/$name" - scp $benchmark.v $sshhost:~/$basedir - echo $name >> syn-list - done < benchmark-list-master - - # copy list over - scp syn-list $sshhost:$basedir |