#!/usr/bin/env python3 # # This file is distributed under the MIT License. See LICENSE.md for details. # import os import sys import sysconfig from pathlib import Path libpath = Path(sysconfig.get_path("purelib")).relative_to(sysconfig.get_config_var("base")) new_path = (Path(__file__) / "../.." / libpath).resolve() assert new_path.is_dir() if str(new_path) not in sys.path: if "PYTHONPATH" in os.environ: os.environ["PYTHONPATH"] = f"{new_path!s}:{os.environ['PYTHONPATH']}" else: os.environ["PYTHONPATH"] = str(new_path) sys.path.insert(0, str(new_path)) if __name__ == "__main__": name = os.path.basename(sys.argv[0]) if "revng2" in name: from revng.internal.cli.revng2 import main else: from revng.internal.cli.revng import main sys.exit(main())