kevm-pyk/dist: parallelize plugin build

runtimeverification · Sep 29, 2023 · 67b752e · 67b752e
1 parent b4d78fa
commit 67b752e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kevm-pyk/src/kevm_pyk/dist.py b/kevm-pyk/src/kevm_pyk/dist.py
@@ -163,7 +163,7 @@ def _do_build_plugin(*, verbose: bool) -> None:
 
     with _plugin_build_env() as build_dir:
         try:
-            run_process(['make', 'libcryptopp', 'libff', 'libsecp256k1'], cwd=build_dir, pipe_stdout=not verbose)
+            run_process(['make', 'libcryptopp', 'libff', 'libsecp256k1', '-j3'], cwd=build_dir, pipe_stdout=not verbose)
         except CalledProcessError:
             clean_plugin()
             raise