diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-06-28 10:30:31 +0200 |
|---|---|---|
| committer | David Shah <dave@ds0.me> | 2019-07-09 18:44:57 +0100 |
| commit | ef0823690c386c405fdd0ca2a3f45af8788a19aa (patch) | |
| tree | a23c0f4cc916a688aace6d36aefb3a13193e6fb2 /Makefile | |
| parent | 43069e9eb91bf76164e80d6ea65443bd05567d64 (diff) | |
| download | yosys-ef0823690c386c405fdd0ca2a3f45af8788a19aa.tar.gz yosys-ef0823690c386c405fdd0ca2a3f45af8788a19aa.tar.bz2 yosys-ef0823690c386c405fdd0ca2a3f45af8788a19aa.zip | |
Merge pull request #1146 from gsomlo/gls-test-abc-ext
tests: use optional ABCEXTERNAL when specified
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\"." |