From 4f49117173eea889924f3cd402dae360a5c9606d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tam=C3=A1s=20T=C3=B3th?=
 <tothtamas28@users.noreply.github.com>
Date: Wed, 21 Aug 2024 09:29:51 +0000
Subject: [PATCH] Set start method to spawn

---
 pyk/src/pyk/kdist/_kdist.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pyk/src/pyk/kdist/_kdist.py b/pyk/src/pyk/kdist/_kdist.py
index bae040f77c..f2da8b1be8 100644
--- a/pyk/src/pyk/kdist/_kdist.py
+++ b/pyk/src/pyk/kdist/_kdist.py
@@ -3,6 +3,7 @@
 import concurrent.futures
 import json
 import logging
+import multiprocessing
 import os
 import shutil
 from concurrent.futures import ProcessPoolExecutor
@@ -99,7 +100,7 @@ def build(
         deps_fqns = [target_id.full_name for target_id in dep_ids]
         _LOGGER.info(f"Building targets: {', '.join(deps_fqns)}")
 
-        with ProcessPoolExecutor(max_workers=jobs) as pool:
+        with ProcessPoolExecutor(max_workers=jobs, mp_context=multiprocessing.get_context('spawn')) as pool:
             pending: dict[Future[Path], TargetId] = {}
 
             def submit(target_id: TargetId) -> None: