Merge pull request #623 from sosy-lab/opensmt-2.9.2-parallelBuild

OpenSMT: Fix parallel build

Author: kfriedberger

build/build-publish-solvers/solver-opensmt.xml

@@ -73,14 +73,14 @@ SPDX-License-Identifier: Apache-2.0
              It keeps old build commands and previous cmake-flags. -->
         <delete dir="${opensmt.path}/build" quiet="true"/>
         <exec executable="make" dir="${opensmt.path}" failonerror="false" resultproperty="build.returnCode">
+            <env key="CMAKE_BUILD_PARALLEL_LEVEL" value="8"/>
             <arg value="INSTALL_DIR=${opensmt.installPath}"/>
             <!-- The next arg is ONE large parameter. If executed manually outside of ant, please wrap it in quotes. -->
             <arg value="CMAKE_FLAGS=
               -DFORCE_STATIC_GMP=ON
               -DGMP_LIBRARY=${gmp-linux-x64.path}/lib/libgmp.a
               -DGMPXX_LIBRARY=${gmp-linux-x64.path}/lib/libgmpxx.a
               -DGMP_INCLUDE_DIR=${gmp-linux-x64.path}/include"/>
-            <arg value="-j8"/>
             <arg value="install"/>
         </exec>
 
@@ -121,6 +121,7 @@ SPDX-License-Identifier: Apache-2.0
              It keeps old build commands and previous cmake-flags. -->
         <delete dir="${opensmt.path}/build" quiet="true"/>
         <exec executable="make" dir="${opensmt.path}" failonerror="false" resultproperty="build.returnCode">
+            <env key="CMAKE_BUILD_PARALLEL_LEVEL" value="8"/>
             <arg value="INSTALL_DIR=${opensmt.installPath}"/>
             <!-- The next arg is ONE large parameter. If executed manually outside of ant, please wrap it in quotes. -->
             <arg value="CMAKE_FLAGS=
@@ -130,7 +131,6 @@ SPDX-License-Identifier: Apache-2.0
               -DGMP_LIBRARY=${gmp-linux-arm64.path}/lib/libgmp.a
               -DGMPXX_LIBRARY=${gmp-linux-arm64.path}/lib/libgmpxx.a
               -DGMP_INCLUDE_DIR=${gmp-linux-arm64.path}/include"/>
-            <arg value="-j8"/>
             <arg value="install"/>
         </exec>