Fix yarn install parallelization issue

When you have multiple yarn processes running at once they fall over themselves (and the cache) in a hilariously bad fashion. Only way to fix this is via file or network mutex. I've decided to use the former.

Author: JohnDumbell

CMakeLists.txt

@@ -90,6 +90,7 @@ install(DIRECTORY "${boost_lib_dir}" DESTINATION "${CMAKE_INSTALL_PREFIX}")
 
 set(CMAKE_INSTALL_RPATH "${CMAKE_INSTALL_PREFIX}/lib")
 SET(CMAKE_INSTALL_RPATH_USE_LINK_PATH TRUE)
+set(yarn_mutex_file ${CMAKE_CURRENT_SOURCE_DIR}/.yarn-mutex)
 
 add_subdirectory(cbmc)
 

env-model-generator/CMakeLists.txt

@@ -14,6 +14,6 @@ add_custom_command(
     OUTPUT ${javascript_files}
     DEPENDS ${typescript_files};package.json
     WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
-    COMMAND yarn install
+    COMMAND yarn install --mutex file:${yarn_mutex_file}
     COMMAND yarn run build
 )

trace-transformer/CMakeLists.txt

@@ -13,6 +13,6 @@ add_custom_command(
     OUTPUT ${javascript_files}
     DEPENDS ${typescript_files};package.json
     WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
-    COMMAND yarn install
+    COMMAND yarn install --mutex file:${yarn_mutex_file}
     COMMAND yarn run build
 )