diff options
author | Ruben Undheim <ruben.undheim@gmail.com> | 2019-10-18 20:49:35 +0000 |
---|---|---|
committer | Ruben Undheim <ruben.undheim@gmail.com> | 2019-10-18 23:27:34 +0200 |
commit | d3ec83e451d45cb0fed831831fc74c05915126bc (patch) | |
tree | 1f0ba77b2cdf6aa40154ede13664cfdc2a322670 /tests | |
parent | fa504d7385202f3bcc393569690116a080012f71 (diff) |
Set path to berkeley-abc instead of relative path to yosys-abc
Gbp-Pq: Name 0014-Set-path-to-berkeley-abc-instead-of-relative-path-to.patch
Diffstat (limited to 'tests')
-rwxr-xr-x | tests/aiger/run-test.sh | 2 | ||||
-rwxr-xr-x | tests/tools/autotest.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tests/aiger/run-test.sh b/tests/aiger/run-test.sh index deaf48a3..4fbffcdc 100755 --- a/tests/aiger/run-test.sh +++ b/tests/aiger/run-test.sh @@ -3,7 +3,7 @@ set -e OPTIND=1 -abcprog="../../yosys-abc" # default to built-in version of abc +abcprog="berkeley-abc" # default to built-in version of abc while getopts "A:" opt do case "$opt" in diff --git a/tests/tools/autotest.sh b/tests/tools/autotest.sh index 4d347862..6bece9b3 100755 --- a/tests/tools/autotest.sh +++ b/tests/tools/autotest.sh @@ -23,7 +23,7 @@ warn_iverilog_git=false # The tests are skipped if firrtl2verilog is the empty string (the default). firrtl2verilog="" xfirrtl="../xfirrtl" -abcprog="$toolsdir/../../yosys-abc" +abcprog="berkeley-abc" if [ ! -f $toolsdir/cmp_tbdata -o $toolsdir/cmp_tbdata.c -nt $toolsdir/cmp_tbdata ]; then ( set -ex; ${CC:-gcc} -Wall -o $toolsdir/cmp_tbdata $toolsdir/cmp_tbdata.c; ) || exit 1 |