diff options
Diffstat (limited to 'test')
| -rwxr-xr-x | test/Concrete/ConcreteTest.py | 10 |
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): |