commit c604cc8e778d002d541f1f4e192db774070feabb
author Maciej Kurc <mkurc@antmicro.com> Thu Sep 24 11:21:42 2020 +0200
committer Tomasz Michalak <tmichalak@antmicro.com> Fri Sep 25 15:39:48 2020 +0200
tree 1222208f00f471ce771e723bbcd9f9e42fdd345b
parent 15e7b1e43dbdbf639869c79b62e1f4643de08b7f

Fixes to build get_count for newer Yosys versions

Signed-off-by: Maciej Kurc <mkurc@antmicro.com>

get_count-plugin/get_count.cc

diff --git a/get_count-plugin/get_count.cc b/get_count-plugin/get_count.cc
index 8a4a0ee..1e68973 100644
--- a/get_count-plugin/get_count.cc
+++ b/get_count-plugin/get_count.cc
@@ -21,6 +21,10 @@
 #include "kernel/register.h"
 #include "kernel/rtlil.h"
 
+#ifndef YS_OVERRIDE
+#define YS_OVERRIDE override
+#endif
+
 USING_YOSYS_NAMESPACE
 PRIVATE_NAMESPACE_BEGIN
 

get_count-plugin/tests/Makefile

diff --git a/get_count-plugin/tests/Makefile b/get_count-plugin/tests/Makefile
index 487e07e..80cdc79 100644
--- a/get_count-plugin/tests/Makefile
+++ b/get_count-plugin/tests/Makefile
@@ -1,6 +1,6 @@
 TESTS = $(subst /, ,$(wildcard */))
 
-all: $(addsuffix /ok,$(TESTS))
+all: clean $(addsuffix /ok,$(TESTS))
 
 clean:
 	@find . -name "ok" | xargs rm -rf