73 lines
1.7 KiB
Python
73 lines
1.7 KiB
Python
|
import argparse
|
||
|
|
import os
|
||
|
|
import sys
|
||
|
|
|
||
|
|
from subprocess import call, check_call, CalledProcessError
|
||
|
|
from time import sleep
|
||
|
|
from typing import List, Tuple
|
||
|
|
|
||
|
|
|
||
|
|
def main():
|
||
|
|
settings, rest = parse_arguments()
|
||
|
|
if settings.wait:
|
||
|
|
wait()
|
||
|
|
if settings.build_llvm or settings.build_llvm_only:
|
||
|
|
build_llvm()
|
||
|
|
if settings.build_llvm_only:
|
||
|
|
return
|
||
|
|
sys.exit(test(rest))
|
||
|
|
|
||
|
|
|
||
|
|
def wait():
|
||
|
|
# It is an easy on CPU way of keeping the docker container running
|
||
|
|
# while the user has a terminal session in that container.
|
||
|
|
while True:
|
||
|
|
sleep(3600)
|
||
|
|
|
||
|
|
|
||
|
|
def parse_arguments() -> Tuple[argparse.Namespace, List[str]]:
|
||
|
|
parser = argparse.ArgumentParser()
|
||
|
|
parser.add_argument('--wait', action='store_true')
|
||
|
|
parser.add_argument('--build-llvm', action='store_true')
|
||
|
|
parser.add_argument('--build-llvm-only', action='store_true')
|
||
|
|
return parser.parse_known_args()
|
||
|
|
|
||
|
|
|
||
|
|
def build_llvm():
|
||
|
|
os.chdir('/build')
|
||
|
|
try:
|
||
|
|
if is_cmake_needed():
|
||
|
|
cmake()
|
||
|
|
ninja()
|
||
|
|
except CalledProcessError:
|
||
|
|
print("Build failed!")
|
||
|
|
sys.exit(1)
|
||
|
|
|
||
|
|
|
||
|
|
def is_cmake_needed():
|
||
|
|
return "build.ninja" not in os.listdir()
|
||
|
|
|
||
|
|
|
||
|
|
CMAKE_COMMAND = "cmake -G Ninja -DCMAKE_BUILD_TYPE=Release " \
|
||
|
|
"-DCMAKE_INSTALL_PREFIX=/analyzer -DLLVM_TARGETS_TO_BUILD=X86 " \
|
||
|
|
"-DLLVM_ENABLE_PROJECTS=\"clang;openmp\" -DLLVM_BUILD_RUNTIME=OFF " \
|
||
|
|
"-DLLVM_ENABLE_TERMINFO=OFF -DCLANG_ENABLE_ARCMT=OFF " \
|
||
|
|
"-DCLANG_ENABLE_STATIC_ANALYZER=ON"
|
||
|
|
|
||
|
|
|
||
|
|
def cmake():
|
||
|
|
check_call(CMAKE_COMMAND + ' /llvm-project/llvm', shell=True)
|
||
|
|
|
||
|
|
|
||
|
|
def ninja():
|
||
|
|
check_call("ninja install", shell=True)
|
||
|
|
|
||
|
|
|
||
|
|
def test(args: List[str]) -> int:
|
||
|
|
os.chdir("/projects")
|
||
|
|
return call("/scripts/SATest.py " + " ".join(args), shell=True)
|
||
|
|
|
||
|
|
|
||
|
|
if __name__ == '__main__':
|
||
|
|
main()
|