diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-08-10 11:17:19 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-08-11 17:15:39 +0100 |
| commit | 6ad3f69cf04d0055b7987e6e4c858a64d3b1693c (patch) | |
| tree | c686b80ee30c1280f005c27d60a6344bbee8d646 /scripts/synth.sh | |
| parent | 05afcff334725e885522e9859b9ab735a404014c (diff) | |
| download | vericert-6ad3f69cf04d0055b7987e6e4c858a64d3b1693c.tar.gz vericert-6ad3f69cf04d0055b7987e6e4c858a64d3b1693c.zip | |
Fix backend hardware generation and scheduling
Diffstat (limited to 'scripts/synth.sh')
| -rwxr-xr-x | scripts/synth.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/synth.sh b/scripts/synth.sh index b1c2696..d459dd3 100755 --- a/scripts/synth.sh +++ b/scripts/synth.sh @@ -1,4 +1,4 @@ -#!/usr/bin/bash +#!/usr/bin/env bash set -x @@ -24,9 +24,9 @@ fi echo "copying directory structure from $source to $output" mkdir -p $output -rsync -am --include '*/' --include '*.v' --exclude '*' $source/ $output/ +rsync -am --include '*/' --include '*.sv' --exclude '*' $source/ $output/ echo "executing $parallel runs in parallel" -cat $scriptsdir/../benchmarks/polybench-syn/benchmark-list-master | \ +cat ./benchmark-list-master | \ xargs --max-procs=$parallel --replace=% \ $scriptsdir/synth-ssh.sh 0 % $output |