From 33ca0fd6e98e0f8945c805bc1af2bdebe0af14bd Mon Sep 17 00:00:00 2001
From: Artur Meski <artur@cifrid.net>
Date: Fri, 28 Oct 2022 21:07:46 +0100
Subject: [PATCH] build

---
 reactics | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

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