Teach ConcreteTest.py to use `gmake` instead of `make` on FreeBSD

1 files changed, 8 insertions, 2 deletions

diff --git a/test/Concrete/ConcreteTest.py b/test/Concrete/ConcreteTest.py
index 22ce92ef..0de481b3 100755
--- a/test/Concrete/ConcreteTest.py
+++ b/test/Concrete/ConcreteTest.py
@@ -3,6 +3,7 @@
 from __future__ import print_function
 import argparse
 import os
+import platform
 import subprocess
 import sys
 import shutil
@@ -12,12 +13,17 @@ def testFile(name, klee_path, lli_path):
     baseName,ext = os.path.splitext(name)
     exeFile = 'Output/linked_%s.bc'%baseName
 
+    if platform.system() == 'FreeBSD':
+        make_prog = 'gmake'
+    else:
+        make_prog = 'make'
+
     print('-- building test bitcode --')
     if os.path.exists("Makefile.cmake.test"):
         # Prefer CMake generated make file
-        make_cmd = 'make -f Makefile.cmake.test %s 2>&1' % (exeFile,)
+        make_cmd = '%s -f Makefile.cmake.test %s 2>&1' % (make_prog, exeFile,)
     else:
-        make_cmd = 'make %s 2>&1' % (exeFile,)
+        make_cmd = '%s %s 2>&1' % (make_prog, exeFile,)
     print("EXECUTING: %s" % (make_cmd,))
     sys.stdout.flush()
     if os.system(make_cmd):