- if [ "$build_mode" = "DynamicAnalysis" ]
- then
- cmake -G "MSYS Makefiles" -Denable_lua=OFF -Denable_java=ON -Denable_tracing=ON -Denable_smpi=ON -Denable_compile_optimizations=OFF -Denable_compile_warnings=OFF -Denable_lib_static=OFF -Denable_model-checking=OFF -Denable_latency_bound_tracking=OFF -Denable_gtnets=OFF -Denable_jedule=OFF -Denable_mallocators=OFF -Denable_memcheck=ON .
- fi
-
- if [ $? -ne 0 ] ; then
- echo "Failed to perform the Cmake for $build_mode - Halting"
- exit 5
- fi
-
- make
-
- if [ $? -ne 0 ] ; then
- echo "Build failure - Halting"
- exit 5
- fi
+else
+ # Linux:
+ cpuinfo_file="/proc/cpuinfo"
+ NUMBER_OF_PROCESSORS=$(lscpu -p 2>/dev/null | grep -c '^[^#]') || \
+ NUMBER_OF_PROCESSORS=$(grep -c "^processor[[:space:]]*:" ${cpuinfo_file} 2>/dev/null)
+ [ "0$NUMBER_OF_PROCESSORS" -gt 0 ] || NUMBER_OF_PROCESSORS=1