aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2018-08-30 12:26:26 +0200
committerClifford Wolf <clifford@clifford.at>2018-08-30 12:26:26 +0200
commit0b7a18470bbd35214fdeff204f9c20964e69b5c5 (patch)
tree7bed18c526bd94917fa2f08e3df12209863698a1
parentd36d11936f6725b9fc0702e9406bc55533d8e273 (diff)
downloadyosys-0b7a18470bbd35214fdeff204f9c20964e69b5c5.tar.gz
yosys-0b7a18470bbd35214fdeff204f9c20964e69b5c5.tar.bz2
yosys-0b7a18470bbd35214fdeff204f9c20964e69b5c5.zip
Add "make ystests"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
-rw-r--r--.gitignore1
-rw-r--r--CodingReadme1
-rw-r--r--Makefile8
3 files changed, 10 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 4fce690ec..48ce458c7 100644
--- 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 4ab132a63..b64e79178 100644
--- 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 39a361a5f..7698047ec 100644
--- 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)" \