diff options
Diffstat (limited to 'mk/tools.mk')
| -rw-r--r-- | mk/tools.mk | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/mk/tools.mk b/mk/tools.mk new file mode 100644 index 0000000..9f3734e --- /dev/null +++ b/mk/tools.mk @@ -0,0 +1,10 @@ +define find_tools_lazy + $(call find_command_lazy,cocotb-config,COCOTB_CONFIG) + $(call find_command_lazy,genhtml,GENHTML) + $(call find_command_lazy,pkg-config,PKG_CONFIG) + $(call find_command_lazy,verilator,VERILATOR) + + $(call shell_defer,cocotb_share,$$(COCOTB_CONFIG) --share) + $(call shell_defer,cocotb_libdir,$$(COCOTB_CONFIG) --lib-dir) + $(call shell_defer,cocotb_libpython,$$(COCOTB_CONFIG) --libpython) +endef |