diff options
author | Clifford Wolf <clifford@clifford.at> | 2013-07-07 13:01:15 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2013-07-07 13:01:15 +0200 |
commit | 52d21a63ca7eaf153ed0ee24e3aa355e8deb48cc (patch) | |
tree | ffd76dbdf202a84867a6a06f1cbc58bd9f082a72 /tests/xsthammer/run-quartus.sh | |
parent | cf885c4a28590d79f9c1bdcf47d40846cce68488 (diff) | |
download | yosys-52d21a63ca7eaf153ed0ee24e3aa355e8deb48cc.tar.gz yosys-52d21a63ca7eaf153ed0ee24e3aa355e8deb48cc.tar.bz2 yosys-52d21a63ca7eaf153ed0ee24e3aa355e8deb48cc.zip |
Removed tests/xsthammer
This test is now available as 'vloghammer' in a seperate repository:
https://github.com/cliffordwolf/VlogHammer
Diffstat (limited to 'tests/xsthammer/run-quartus.sh')
-rw-r--r-- | tests/xsthammer/run-quartus.sh | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/tests/xsthammer/run-quartus.sh b/tests/xsthammer/run-quartus.sh deleted file mode 100644 index 1f5b0dbf4..000000000 --- a/tests/xsthammer/run-quartus.sh +++ /dev/null @@ -1,24 +0,0 @@ -#!/bin/bash - -if [ $# -eq 0 ]; then - echo "Usage: $0 <job_id>" >&2 - exit 1 -fi - -job="$1" -set -- - -set -e -mkdir -p quartus quartus_temp/$job -cd quartus_temp/$job - -rm -rf * -cp ../../rtl/$job.v . -/opt/altera/13.0/quartus/bin/quartus_map $job --source=$job.v --family="Cyclone III" -/opt/altera/13.0/quartus/bin/quartus_fit $job -/opt/altera/13.0/quartus/bin/quartus_eda $job --formal_verification --tool=conformal -cp -v fv/conformal/$job.vo ../../quartus/$job.v - -sync -exit 0 - |