codeql/python/extractor/index.py at codeql-cli/v2.25.1 · github/codeql · GitHub

28 lines (20 loc) · 954 Bytes

#!/usr/bin/env python

# This file needs to be able to handle all versions of Python we are likely to encounter

# Which is probably 3.6 and upwards. Handling 3.6 specifically will be by throwing an error, though.

# We will require at least 3.7 to proceed.

'''Run index.py in buildtools'''

import os

import sys

if sys.version_info < (3, 7):

sys.exit("ERROR: Python 3.7 or later is required (currently running {}.{})".format(sys.version_info[0], sys.version_info[1]))

from python_tracer import getzipfilename

if 'SEMMLE_DIST' in os.environ:

if 'CODEQL_EXTRACTOR_PYTHON_ROOT' not in os.environ:

os.environ['CODEQL_EXTRACTOR_PYTHON_ROOT'] = os.environ['SEMMLE_DIST']

else:

os.environ["SEMMLE_DIST"] = os.environ["CODEQL_EXTRACTOR_PYTHON_ROOT"]

tools = os.path.join(os.environ['SEMMLE_DIST'], "tools")

zippath = os.path.join(tools, getzipfilename())

sys.path = [ zippath ] + sys.path

import buildtools.index

buildtools.index.main()

Expand file tree