diff options
Diffstat (limited to 'environment.py')
| -rw-r--r-- | environment.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/environment.py b/environment.py index 4c6a36a..8e3eadb 100644 --- a/environment.py +++ b/environment.py @@ -62,6 +62,11 @@ rust_buildtype_args = {'plain' : [], 'debugoptimized' : ['-g', '--opt-level', '2'], 'release' : ['--opt-level', '3']} +mono_buildtype_args = {'plain' : [], + 'debug' : ['-debug'], + 'debugoptimized': ['-debug', '-optimize+'], + 'release' : ['-optimize+']} + class CCompiler(): def __init__(self, exelist, version, is_cross, exe_wrapper=None): if type(exelist) == type(''): @@ -585,6 +590,9 @@ class MonoCompiler(): def has_function(self, funcname, prefix, env): raise EnvironmentException('Mono does not support function checks.') + def get_buildtype_args(self, buildtype): + return mono_buildtype_args[buildtype] + class JavaCompiler(): def __init__(self, exelist, version): if type(exelist) == type(''): |