forked from AdaCore/learn
-
Notifications
You must be signed in to change notification settings - Fork 0
/
toolchain_info.py
39 lines (28 loc) · 1.32 KB
/
toolchain_info.py
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
29
30
31
32
33
34
35
36
37
38
39
#! /usr/bin/env python3
import os
import re
import configparser
TOOLCHAIN_CONFIG = os.path.dirname(os.path.realpath(__file__)) + "/" + "toolchain.ini"
TOOLCHAIN_PATH = {}
TOOLCHAINS = {}
DEFAULT_VERSION = {}
def init_toolchain_info():
config = configparser.ConfigParser()
config.read(TOOLCHAIN_CONFIG)
DEFAULT_VERSION['gnat'] = config['default_version']['gnat']
DEFAULT_VERSION['gnatprove'] = config['default_version']['gnatprove']
DEFAULT_VERSION['gprbuild'] = config['default_version']['gprbuild']
TOOLCHAIN_PATH['root'] = config['toolchain_path']['root']
TOOLCHAIN_PATH['selected'] = config['toolchain_path']['selected']
TOOLCHAIN_PATH['default'] = config['toolchain_path']['default']
TOOLCHAINS['gnat'] = str(config['toolchains']['gnat'])
TOOLCHAINS['gnatprove'] = str(config['toolchains']['gnatprove'])
TOOLCHAINS['gprbuild'] = str(config['toolchains']['gprbuild'])
TOOLCHAINS['gnat'] = re.split(r'\s+',TOOLCHAINS['gnat'])
TOOLCHAINS['gnatprove'] = re.split(r'\s+',TOOLCHAINS['gnatprove'])
TOOLCHAINS['gprbuild'] = re.split(r'\s+',TOOLCHAINS['gprbuild'])
def get_toolchain_default_version(tool):
# Force initialization if info isn't available
if not tool in DEFAULT_VERSION:
init_toolchain_info()
return DEFAULT_VERSION[tool]