diff --git a/CMakeLists.txt b/CMakeLists.txt index 116c59cf5..903d4d482 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -243,9 +243,10 @@ add_custom_target( add_custom_target( yosys-plugins ALL - COMMAND $(MAKE) - COMMAND $(MAKE) install + COMMAND $(MAKE) clean YOSYS_PATH=${CMAKE_CURRENT_SOURCE_DIR}/yosys/install + COMMAND $(MAKE) install YOSYS_PATH=${CMAKE_CURRENT_SOURCE_DIR}/yosys/install WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/yosys-plugins + DEPENDS ${CMAKE_CURRENT_SOURCE_DIR}/yosys/install/bin/yosys COMMENT "Compile Yosys-plugins with given Makefile" ) diff --git a/yosys-plugins b/yosys-plugins index 9fad20e35..7dbd4e461 160000 --- a/yosys-plugins +++ b/yosys-plugins @@ -1 +1 @@ -Subproject commit 9fad20e359c678ebc4674e0442afd5f7b1a4fe19 +Subproject commit 7dbd4e461d758c164f001efb349918659b75d694