hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-02 12:15:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

Kotlin: Tweak kotlin_plugin_versions.py

Browse Source
This commit is contained in:
Ian Lynagh
2022-03-15 12:21:25 +00:00
parent 0610917435
commit 61728e6a69
1 changed files with 13 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
java/kotlin-extractor/kotlin_plugin_versions.py
View File

@@ -1,16 +1,25 @@
import platform
import re
import subprocess
def is_windows():
'''Whether we appear to be running on Windows'''
if platform.system() == 'Windows':
return True
if platform.system().startswith('CYGWIN'):
return True
return False
many_versions = [ '1.4.32', '1.5.31', '1.6.10' ]
def get_single_version():
# TODO: "shell=True" is a workaround to get CI working on Windows
versionOutput = subprocess.run(['kotlinc', '-version'], capture_output=True, text=True, shell=True)
# TODO: `shell=True` is a workaround to get CI working on Windows. It break the build on Linux.
versionOutput = subprocess.run(['kotlinc', '-version'], capture_output=True, text=True, shell=is_windows())
m = re.match(r'.* kotlinc-jvm ([0-9]+\.[0-9]+\.)[0-9]+ .*', versionOutput.stderr)
if m is None:
raise Exception('Cannot detect version of kotlinc')
raise Exception('Cannot detect version of kotlinc (got ' + str(versionOutput) + ')')
prefix = m.group(1)
for version in many_versions:
if version.startswith(prefix):
return version
raise Exception('No suitable kotlinc version found for ' + prefix)
raise Exception('No suitable kotlinc version found for ' + prefix + ' (got ' + str(versionOutput) + '; know about ' + str(many_versions) + ')')