Merge pull request #20 from formalsec/opam-jobs

Build with opam's number of jobs

dune

@@ -14,8 +14,9 @@
     (chdir
      vendor/cadical
      (progn
-      (run ./configure)
-      (run make -j 1)))
+      (bash "./configure")
+      (bash "make -j $(opam var jobs)")))
+
     (copy vendor/cadical/build/libcadical.a libcadical.a)
     (chdir
      vendor/libpoly
@@ -28,15 +29,15 @@
        -DCMAKE_INSTALL_PREFIX=$prefix)
       (chdir
        build
-       (run make -j 1))
+       (bash "make -j $(opam var jobs)"))
       (run mv include poly)))
     (copy vendor/libpoly/build/src/libpicpoly.a libpicpoly.a)
     (copy vendor/libpoly/build/src/libpicpolyxx.a libpicpolyxx.a)
     (chdir
      vendor/cvc5
      (progn
-      (run ./configure.sh --static)
-      (run make -C build -j 1)))
+      (bash "./configure.sh --static")
+      (bash "make -C build -j $(opam var jobs)")))
     (copy vendor/cvc5/build/src/libcvc5.a libcvc5.a)
     (copy vendor/cvc5/build/include/cvc5/cvc5_export.h cvc5_export.h)))))