File tree Expand file tree Collapse file tree 3 files changed +3
-2
lines changed Expand file tree Collapse file tree 3 files changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -90,6 +90,7 @@ install(DIRECTORY "${boost_lib_dir}" DESTINATION "${CMAKE_INSTALL_PREFIX}")
9090
9191set (CMAKE_INSTALL_RPATH "${CMAKE_INSTALL_PREFIX} /lib" )
9292SET (CMAKE_INSTALL_RPATH_USE_LINK_PATH TRUE )
93+ set (yarn_mutex_file ${CMAKE_CURRENT_SOURCE_DIR} /.yarn-mutex)
9394
9495add_subdirectory (cbmc)
9596
Original file line number Diff line number Diff line change @@ -14,6 +14,6 @@ add_custom_command(
1414 OUTPUT ${javascript_files}
1515 DEPENDS ${typescript_files} ;package.json
1616 WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
17- COMMAND yarn install
17+ COMMAND yarn install --mutex file: ${yarn_mutex_file}
1818 COMMAND yarn run build
1919)
Original file line number Diff line number Diff line change @@ -13,6 +13,6 @@ add_custom_command(
1313 OUTPUT ${javascript_files}
1414 DEPENDS ${typescript_files} ;package.json
1515 WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
16- COMMAND yarn install
16+ COMMAND yarn install --mutex file: ${yarn_mutex_file}
1717 COMMAND yarn run build
1818)
You can’t perform that action at this time.
0 commit comments