diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-19 12:05:44 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-22 16:18:06 +0000 |
| commit | 27fea2fe14a81f4e73e0e3e53ec5ac5db07a5d82 (patch) | |
| tree | 4c474f1426a0f84f131300eff3c70f43cf7f77bc /benchmarks/polybench-syn-div/setup-syn-vericert.sh | |
| parent | 23fe30f8c23ecb743880cb9239410eb51bf1abab (diff) | |
| download | vericert-27fea2fe14a81f4e73e0e3e53ec5ac5db07a5d82.tar.gz vericert-27fea2fe14a81f4e73e0e3e53ec5ac5db07a5d82.zip | |
Delete extra data files and scripts
Diffstat (limited to 'benchmarks/polybench-syn-div/setup-syn-vericert.sh')
| -rwxr-xr-x | benchmarks/polybench-syn-div/setup-syn-vericert.sh | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/benchmarks/polybench-syn-div/setup-syn-vericert.sh b/benchmarks/polybench-syn-div/setup-syn-vericert.sh deleted file mode 100755 index 22356f7..0000000 --- a/benchmarks/polybench-syn-div/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 |