commit 93043d05d71a3ca665ec9fc8da95477cb60b9aff
author Tobias Wölfel <tobias.woelfel@mailbox.org> Tue Oct 22 14:53:29 2019 +0200
committer Tobias Woelfel <towoe@users.noreply.github.com> Wed Oct 23 20:54:54 2019 +0200
tree cf0564f14c99053fe5ff2206046ed40133da007e
parent d839d8180a018acc9d30c58d988bd6ccd8704055

Upgrade FuseSoC command

FuseSoC commands `sim` and `build` are deprecated, use `run` instead.
https://github.com/olofk/fusesoc/commit/b838e89e5093aa0c87620314e95d319a87b64b24

hw/formal/rtl_diff

diff --git a/hw/formal/rtl_diff b/hw/formal/rtl_diff
index c669aa4..6989f3b 100755
--- a/hw/formal/rtl_diff
+++ b/hw/formal/rtl_diff
@@ -19,7 +19,7 @@
 # use fusesoc to generate file list
 #-------------------------------------------------------------------------
 \rm -Rf build rtl_diff.log
-fusesoc --cores-root .. sim --build-only formal > /dev/null 2>&1
+fusesoc --cores-root .. run --target=sim --setup --build formal > /dev/null 2>&1
 
 #-------------------------------------------------------------------------
 # run Conformal LEC