#!/usr/bin/env python3

# This file is part of CoVeriTeam, a tool for on-demand composition of cooperative verification systems:
# https://gitlab.com/sosy-lab/software/coveriteam
#
# SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org>
#
# SPDX-License-Identifier: Apache-2.0

import glob
import os
import sys
import pathlib

sys.dont_write_bytecode = True  # prevents writing .pyc files

script = pathlib.Path(__file__).resolve()
project_dir = script.parent.parent
lib_dir = project_dir / "lib"
for wheel in glob.glob(os.path.join(lib_dir, "*.whl")):
    sys.path.insert(0, wheel)

sys.path.insert(0, str(project_dir))
sys.path.append(str(lib_dir))

sys.setrecursionlimit(5000)

import coveriteam.coveriteam  # noqa E402

sys.exit(coveriteam.coveriteam.main())
