## Some configuration variables
number_of_processes="-j4"
-comp_type=-debug-and-release
-# particular_options=-no-framework
+comp_type=-debug
+platform=`uname`
+particular_options=""
+if [ "$platform" == "Darwin" ]; then
+ particular_options=-no-framework
+fi
## Check input parameters and process inputs (if needed)
if [ "$#" -eq 1 ]; then