FilesExpand file tree

 main

/

index.py

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

28 lines (20 loc) · 954 Bytes

 main

/

index.py

Copy path

Top

File metadata and controls

• Code
• Blame

28 lines (20 loc) · 954 Bytes

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

#!/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()