diff --git a/reactics b/reactics
index 14711a3..4cc8de4 100755
--- a/reactics
+++ b/reactics
@@ -57,11 +57,19 @@ then
   
 elif [[ "$mode" == "setup" ]]
 then
- 
-  git pull 
+
+  which -s gmake
+  if [[ $? -eq 0 ]]
+  then
+    MAKE="gmake"
+  else
+    MAKE="make"
+  fi
+
+  git pull
   cd $REACTICS_BDD
   ./build_cudd.sh
-  make
+  $MAKE
 
 else