Get num cores correctly

runtimeverification · Nov 3, 2023 · d03df81 · d03df81
1 parent b1b22ea
commit d03df81
Showing 1 changed file with 14 additions and 1 deletion.
diff --git a/k-distribution/pom.xml b/k-distribution/pom.xml
@@ -46,6 +46,19 @@
 
   <build>
     <plugins>
+      <plugin>
+        <groupId>org.codehaus.mojo</groupId>
+        <artifactId>build-helper-maven-plugin</artifactId>
+        <version>3.4.0</version>
+        <executions>
+          <execution>
+            <id>get-cpu-count</id>
+            <goals>
+              <goal>cpu-count</goal>
+            </goals>
+          </execution>
+        </executions>
+      </plugin>
       <plugin>
         <groupId>net.alchim31.maven</groupId>
         <artifactId>scala-maven-plugin</artifactId>
@@ -108,7 +121,7 @@
             <configuration>
               <target>
                 <exec dir="${ktestDir}" executable="make" failonerror="true">
-                  <arg value="-j12" />
+                  <arg value="-j${cpu.count}" />
                   <arg line="${make.args}" />
                 </exec>
               </target>