Set dependency for yosys_plugins

This commit is contained in:
Kishor 2021-09-21 13:14:14 +05:30 committed by GitHub
parent 4a12e6f9bd
commit c00dadedf0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions

View File

@ -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