ocaml: parallelize build

cryspen · Nov 7, 2023 · 205f216 · 205f216
1 parent 09d121e
commit 205f216
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ocaml/hacl-star-raw.opam b/ocaml/hacl-star-raw.opam
@@ -29,8 +29,8 @@ available: [
   (os = "freebsd" | os-family != "bsd")
 ]
 build: [
-  [make "-C" "hacl-star-raw" "build-c"]
-  [make "-C" "hacl-star-raw" "build-bindings"]
+  [make "-C" "hacl-star-raw" "build-c" "-j" jobs]
+  [make "-C" "hacl-star-raw" "build-bindings" "-j" jobs]
 ]
 install: [
   [make "-C" "hacl-star-raw" "install"]