From: David Shah <dave@ds0.me>
Date: Wed, 26 Jun 2019 17:17:52 +0000 (+0100)
Subject: tests: Check that Icarus can parse arch sim models
X-Git-Tag: yosys-0.9~30^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=71b046d63996a1813375e56f44543e58eb7e1b5e;p=yosys.git

tests: Check that Icarus can parse arch sim models

Signed-off-by: David Shah <dave@ds0.me>
---

diff --git a/Makefile b/Makefile
index 76dac48a5..67bcb3d15 100644
--- a/Makefile
+++ b/Makefile
@@ -681,6 +681,7 @@ test: $(TARGETS) $(EXTRA_TARGETS)
 	+cd tests/svinterfaces && bash run-test.sh $(SEEDOPT)
 	+cd tests/opt && bash run-test.sh
 	+cd tests/aiger && bash run-test.sh
+	+cd tests/arch && bash run-test.sh
 	@echo ""
 	@echo "  Passed \"make test\"."
 	@echo ""
diff --git a/tests/arch/run-test.sh b/tests/arch/run-test.sh
new file mode 100755
index 000000000..fc4175be8
--- /dev/null
+++ b/tests/arch/run-test.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+set -e
+
+echo "Running syntax check on arch sim models"
+for arch in ../../techlibs/*; do
+	find $arch -name cells_sim.v -print0 | xargs -0 -n1 -r iverilog -t null -I$arch
+done