tests: use optional ABCEXTERNAL when specified
authorGabriel L. Somlo <gsomlo@gmail.com>
Fri, 28 Jun 2019 02:54:09 +0000 (22:54 -0400)
committerGabriel L. Somlo <gsomlo@gmail.com>
Fri, 28 Jun 2019 03:00:13 +0000 (23:00 -0400)
commit6f1c1379891651b0d110e35fb2c73fd78fde3f69
treeca74714f5a19cf58b5ce66a6fc753d14b0b84efb
parentc4c39e98146b6837c35c425ef7987b2be45c0451
tests: use optional ABCEXTERNAL when specified

Commits 65924fd1abc40924, and ebe29b66 hard-code the invocation
of yosys-abc, which fails if ABCEXTERNAL was specified during the
build. Allow tests to utilize an optional, externally specified
abc binary.

Signed-off-by: Gabriel Somlo <gsomlo@gmail.com>
Makefile
tests/aiger/run-test.sh
tests/memories/run-test.sh
tests/tools/autotest.sh