From dc9a1cc700e00e56aee30ac433db4f2ed8519d43 Mon Sep 17 00:00:00 2001
From: Gleb Popov <6yearold@gmail.com>
Date: Sun, 31 Mar 2019 13:19:20 +0400
Subject: Teach ConcreteTest.py to use `gmake` instead of `make` on FreeBSD

---
 test/Concrete/ConcreteTest.py | 10 ++++++++--
 1 file 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):
-- 
cgit 1.4.1