From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 8 Feb 2015 14:13:51 +0000 (+0100)
Subject: Minor "make vgtest" changes
X-Git-Tag: yosys-0.5~10
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0fcc8c14674aecf6cf327740e6081bf722d806f6;p=yosys.git

Minor "make vgtest" changes
---

diff --git a/CodingReadme b/CodingReadme
index c509f6962..5769c85f9 100644
--- a/CodingReadme
+++ b/CodingReadme
@@ -286,7 +286,8 @@ Run all tests with "make config-{clang,gcc,gcc-4.6}":
 
 	cd ~yosys
 	make clean
-	make test vloghtb
+	make test
+	make vloghtb
 	make install
 
 	cd ~yosys-bigsim
@@ -301,6 +302,9 @@ Run all tests with "make config-{clang,gcc,gcc-4.6}":
 
 Then with default config setting:
 
+	cd ~yosys
+	make vgtest
+
 	cd ~yosys
 	./yosys -p 'proc; show' tests/simple/fiedler-cooley.v
 	./yosys -p 'proc; opt; show' tests/simple/fiedler-cooley.v
diff --git a/Makefile b/Makefile
index fcd166a1c..05f18695a 100644
--- a/Makefile
+++ b/Makefile
@@ -320,7 +320,7 @@ test: $(TARGETS) $(EXTRA_TARGETS)
 VALGRIND ?= valgrind --error-exitcode=1 --leak-check=full --show-reachable=yes --errors-for-leak-kinds=all
 
 vgtest: $(TARGETS) $(EXTRA_TARGETS)
-	$(VALGRIND) ./yosys -p 'setattr -mod -unset top; hierarchy; proc; opt; memory -nomap; opt -fine; techmap; opt' $$( ls tests/simple/*.v | grep -v repwhile.v )
+	$(VALGRIND) ./yosys -p 'setattr -mod -unset top; synth' $$( ls tests/simple/*.v | grep -v repwhile.v )
 	@echo ""
 	@echo "  Passed \"make vgtest\"."
 	@echo ""