diff --git a/CMakeLists.txt b/CMakeLists.txt index f39b8ac48..585b4b911 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -229,7 +229,7 @@ include(CheckCXXCompilerFlag) # run makefile provided, we pass-on the options to the local make file add_custom_target( - OUTPUT ${CMAKE_CURRENT_SOURCE_DIR}/yosys/install/bin/yosys + yosys ALL COMMAND $(MAKE) config-gcc COMMAND make clean COMMAND $(MAKE) install -j10 PREFIX=${CMAKE_CURRENT_SOURCE_DIR}/yosys/install @@ -243,7 +243,7 @@ add_custom_target( # yosys-plugins compilation starts add_custom_target( - yosys-plugins ${CMAKE_CURRENT_SOURCE_DIR}/yosys/install/share/yosys/plugins/ql-qlf.so + yosys-plugins ALL 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 @@ -251,7 +251,7 @@ add_custom_target( COMMENT "Compile Yosys-plugins with given Makefile" ) -add_dependencies(yosys-plugins DEPENDS ${CMAKE_CURRENT_SOURCE_DIR}/yosys/install/share/yosys/plugins/ql-qlf.so) +add_dependencies(yosys-plugins DEPENDS yosys) # yosys-plugins compilation ends