summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRuben Undheim <ruben.undheim@gmail.com>2019-10-18 20:49:35 +0000
committerRuben Undheim <ruben.undheim@gmail.com>2019-10-20 11:01:06 +0200
commit76f882e8e92b8a44e7ba0fd85fa4649a6c37c8bb (patch)
treebaa57f8abf8351f1611e59c87bf117790aabab0f
parent9d480edefa99f4493808b63a55a7e88ca53905f0 (diff)
Set path to berkeley-abc instead of relative path to yosys-abcarchive/debian/0.9-1_bpo10+1
Gbp-Pq: Name 0014-Set-path-to-berkeley-abc-instead-of-relative-path-to.patch
-rwxr-xr-xtests/aiger/run-test.sh2
-rwxr-xr-xtests/tools/autotest.sh2
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