diff options
Diffstat (limited to 'environment.py')
-rwxr-xr-x | environment.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/environment.py b/environment.py index 3d760f1..4031d32 100755 --- a/environment.py +++ b/environment.py @@ -198,9 +198,10 @@ class ArLinker(): header_suffixes = ['h', 'hh', 'hpp', 'hxx', 'H'] class Environment(): - def __init__(self, source_dir, build_dir, options): + def __init__(self, source_dir, build_dir, builder_script_file, options): self.source_dir = source_dir self.build_dir = build_dir + self.builder_script_file = builder_script_file self.options = options self.scratch_dir = os.path.join(build_dir, 'builder-private') os.makedirs(self.scratch_dir, exist_ok=True) @@ -216,6 +217,9 @@ class Environment(): self.static_lib_prefix = 'lib' self.object_suffix = 'o' + def get_builder_command(self): + return self.builder_script_file + def get_c_compiler_exelist(self): ccachelist = self.detect_ccache() evar = 'CC' |