diff options
| author | Gabriel L. Somlo <gsomlo@gmail.com> | 2019-06-27 22:54:09 -0400 |
|---|---|---|
| committer | Gabriel L. Somlo <gsomlo@gmail.com> | 2019-06-27 23:00:13 -0400 |
| commit | 6f1c1379891651b0d110e35fb2c73fd78fde3f69 (patch) | |
| tree | ca74714f5a19cf58b5ce66a6fc753d14b0b84efb /Makefile | |
| parent | c4c39e98146b6837c35c425ef7987b2be45c0451 (diff) | |
| download | yosys-6f1c1379891651b0d110e35fb2c73fd78fde3f69.tar.gz yosys-6f1c1379891651b0d110e35fb2c73fd78fde3f69.tar.bz2 yosys-6f1c1379891651b0d110e35fb2c73fd78fde3f69.zip | |
tests: use optional ABCEXTERNAL when specified
Commits 65924fd1, abc40924, 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>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -666,6 +666,12 @@ else SEEDOPT="" endif +ifneq ($(ABCEXTERNAL),) +ABCOPT="-A $(ABCEXTERNAL)" +else +ABCOPT="" +endif + test: $(TARGETS) $(EXTRA_TARGETS) +cd tests/simple && bash run-test.sh $(SEEDOPT) +cd tests/hana && bash run-test.sh $(SEEDOPT) @@ -674,13 +680,13 @@ test: $(TARGETS) $(EXTRA_TARGETS) +cd tests/share && bash run-test.sh $(SEEDOPT) +cd tests/fsm && bash run-test.sh $(SEEDOPT) +cd tests/techmap && bash run-test.sh - +cd tests/memories && bash run-test.sh $(SEEDOPT) + +cd tests/memories && bash run-test.sh $(ABCOPT) $(SEEDOPT) +cd tests/bram && bash run-test.sh $(SEEDOPT) +cd tests/various && bash run-test.sh +cd tests/sat && bash run-test.sh +cd tests/svinterfaces && bash run-test.sh $(SEEDOPT) +cd tests/opt && bash run-test.sh - +cd tests/aiger && bash run-test.sh + +cd tests/aiger && bash run-test.sh $(ABCOPT) +cd tests/arch && bash run-test.sh @echo "" @echo " Passed \"make test\"." |