Add "make ystests"

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/.gitignore b/.gitignore
index 4fce690eca9b81a9ce937c2bad0f621a69de85e3..48ce458c72a577c89b387583a744618112f9efaf 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -34,3 +34,4 @@
 /libyosys.so
 /tests/unit/bintest/
 /tests/unit/objtest/
+/tests/ystests

diff --git a/CodingReadme b/CodingReadme
index 4ab132a63e931d8f8263e1e6d0ec728b1d4c8973..b64e79178c6df48844cb656ce8d784eb11909df2 100644 (file)
--- a/CodingReadme
+++ b/CodingReadme
@@ -373,6 +373,7 @@ Finally run all tests with "make config-{clang,gcc,gcc-4.8}":
        cd ~yosys
        make clean
        make test
+       make ystests
        make vloghtb
        make install
 

diff --git a/Makefile b/Makefile
index 39a361a5f95ae52466d1917d47282c5a1746eac1..7698047ecac4a044c6f29412cba92e289c345700 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -585,6 +585,14 @@ vloghtb: $(TARGETS) $(EXTRA_TARGETS)
        @echo "  Passed \"make vloghtb\"."
        @echo ""
 
+ystests: $(TARGETS) $(EXTRA_TARGETS)
+       rm -rf tests/ystests
+       git clone https://github.com/YosysHQ/yosys-tests.git tests/ystests
+       +PATH="$$PWD:$$PATH" cd tests/ystests && $(MAKE)
+       @echo ""
+       @echo "  Finished \"make ystests\"."
+       @echo ""
+
 # Unit test
 unit-test: libyosys.so
        @$(MAKE) -C $(UNITESTPATH) CXX="$(CXX)" CPPFLAGS="$(CPPFLAGS)" \