Example #1
0
#----------------------------------------------------------------------------------------------------------------------*

import sys, os, json

#----------------------------------------------------------------------------------------------------------------------*

#----------------------------------------------------------------- Get script absolute path
scriptDir = os.path.dirname(os.path.abspath(sys.argv[0]))
os.chdir(scriptDir)
#----------------------------------------------------------------- Get goal as first argument
goal = "all"  # Default goal
if len(sys.argv) > 1:
    goal = sys.argv[1]
#----------------------------------------------------------------- Get max parallel jobs as second argument
maxParallelJobs = 0  # 0 means use host processor count
if len(sys.argv) > 2:
    maxParallelJobs = int(sys.argv[2])
#----------------------------------------------------------------- Get json description dictionary
jsonFilePath = os.path.normpath(scriptDir + "/../build/output/file-list.json")
with open(jsonFilePath) as f:
    dictionary = json.loads(f.read())
LIBPM_DIRECTORY_PATH = dictionary["LIBPM_DIRECTORY_PATH"]
#----------------------------------------------------------------- Import builder
sys.path.append(os.path.abspath(LIBPM_DIRECTORY_PATH + "/python-makefiles"))
from x86linux_on_macosx_gcc_tools_32 import buildForLinux32OnMacOSX
#----------------------------------------------------------------- Build
buildForLinux32OnMacOSX(dictionary, jsonFilePath, "gtl", goal, maxParallelJobs,
                        maxParallelJobs == 1)

#----------------------------------------------------------------------------------------------------------------------*
Example #2
0
#----------------------------------------------------------------------------------------------------------------------*

import sys, os, json

#----------------------------------------------------------------------------------------------------------------------*

#----------------------------------------------------------------- Get script absolute path
scriptDir = os.path.dirname(os.path.abspath(sys.argv[0]))
os.chdir(scriptDir)
#----------------------------------------------------------------- Get goal as first argument
goal = "all"  # Default goal
if len(sys.argv) > 1:
    goal = sys.argv[1]
#----------------------------------------------------------------- Get max parallel jobs as second argument
maxParallelJobs = 0  # 0 means use host processor count
if len(sys.argv) > 2:
    maxParallelJobs = int(sys.argv[2])
#----------------------------------------------------------------- Get json description dictionary
jsonFilePath = os.path.normpath(scriptDir + "/../build/output/file-list.json")
with open(jsonFilePath) as f:
    dictionary = json.loads(f.read())
LIBPM_DIRECTORY_PATH = dictionary["LIBPM_DIRECTORY_PATH"]
#----------------------------------------------------------------- Import builder
sys.path.append(os.path.abspath(LIBPM_DIRECTORY_PATH + "/python-makefiles"))
from x86linux_on_macosx_gcc_tools_32 import buildForLinux32OnMacOSX
#----------------------------------------------------------------- Build
buildForLinux32OnMacOSX(dictionary, "goil", goal, maxParallelJobs,
                        maxParallelJobs == 1)

#----------------------------------------------------------------------------------------------------------------------*
Example #3
0
#-----------------------------------------------------------------------------------------------------------------------

import sys, os, json

#-----------------------------------------------------------------------------------------------------------------------

#----------------------------------------------------------------- Get script absolute path
scriptDir = os.path.dirname(os.path.abspath(sys.argv[0]))
os.chdir(scriptDir)
#----------------------------------------------------------------- Get goal as first argument
goal = "all"  # Default goal
if len(sys.argv) > 1:
    goal = sys.argv[1]
#----------------------------------------------------------------- Get max parallel jobs as second argument
maxParallelJobs = 0  # 0 means use host processor count
if len(sys.argv) > 2:
    maxParallelJobs = int(sys.argv[2])
#----------------------------------------------------------------- Get json description dictionary
jsonFilePath = os.path.normpath(scriptDir + "/../build/output/file-list.json")
with open(jsonFilePath) as f:
    dictionary = json.loads(f.read())
LIBPM_DIRECTORY_PATH = dictionary["LIBPM_DIRECTORY_PATH"]
#----------------------------------------------------------------- Import builder
sys.path.append(os.path.abspath(LIBPM_DIRECTORY_PATH + "/python-makefiles"))
from x86linux_on_macosx_gcc_tools_32 import buildForLinux32OnMacOSX
#----------------------------------------------------------------- Build
buildForLinux32OnMacOSX(dictionary, jsonFilePath, "logicchecker", goal,
                        maxParallelJobs, maxParallelJobs == 1)

#-----------------------------------------------------------------------------------------------------------------------
Example #4
0
#----------------------------------------------------------------------------------------------------------------------*

import sys, os, json

#----------------------------------------------------------------------------------------------------------------------*

#----------------------------------------------------------------- Get script absolute path
scriptDir = os.path.dirname (os.path.abspath (sys.argv [0]))
os.chdir (scriptDir)
#----------------------------------------------------------------- Get goal as first argument
goal = "all" # Default goal
if len (sys.argv) > 1 :
  goal = sys.argv [1]
#----------------------------------------------------------------- Get max parallel jobs as second argument
maxParallelJobs = 0 # 0 means use host processor count
if len (sys.argv) > 2 :
  maxParallelJobs = int (sys.argv [2])
#----------------------------------------------------------------- Get json description dictionary
jsonFilePath = os.path.normpath (scriptDir + "/../build/output/file-list.json")
with open (jsonFilePath) as f:
  dictionary = json.loads (f.read ())
LIBPM_DIRECTORY_PATH = dictionary ["LIBPM_DIRECTORY_PATH"]
#----------------------------------------------------------------- Import builder
sys.path.append (os.path.abspath (LIBPM_DIRECTORY_PATH + "/python-makefiles"))
from x86linux_on_macosx_gcc_tools_32 import buildForLinux32OnMacOSX
#----------------------------------------------------------------- Build
buildForLinux32OnMacOSX (dictionary, "goil", goal, maxParallelJobs, maxParallelJobs == 1)

#----------------------------------------------------------------------------------------------------------------------*