mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-07 14:45:18 +00:00
Code Activity

Merge pull request #115 from nakengelhardt/rename_test

Browse source 
rename make test to make ci
This commit is contained in:
Miodrag Milanović 2020-09-11 16:28:32 +02:00 committed by GitHub
parent 33b0bb7d83 9f77a4a5f1
commit 93d65cc865
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Makefile
View file

@ -39,7 +39,7 @@ else
chmod +x $(DESTDIR)$(PREFIX)/bin/sby chmod +x $(DESTDIR)$(PREFIX)/bin/sby
endif endif
test: \ ci: \
test_demo1 test_demo2 test_demo3 \ test_demo1 test_demo2 test_demo3 \
test_abstract_abstr test_abstract_props \ test_abstract_abstr test_abstract_props \
test_demos_fib_cover test_demos_fib_prove test_demos_fib_live \ test_demos_fib_cover test_demos_fib_prove test_demos_fib_live \
@ -49,7 +49,7 @@ test: \
test_quickstart_demo test_quickstart_cover test_quickstart_prove test_quickstart_memory \ test_quickstart_demo test_quickstart_cover test_quickstart_prove test_quickstart_memory \
run_tests run_tests
if yosys -qp 'read -verific' 2> /dev/null; then set -x; \ if yosys -qp 'read -verific' 2> /dev/null; then set -x; \
YOSYS_NOVERIFIC=1 $(MAKE) test; \ YOSYS_NOVERIFIC=1 $(MAKE) ci; \
fi fi
test_demo1: test_demo1: