[pypy-svn] r36557 - in pypy/dist/pypy: config translator/goal

[afayolle at codespeak.net]

Author: afayolle
Date: Fri Jan 12 13:14:02 2007
New Revision: 36557

Modified:
   pypy/dist/pypy/config/translationoption.py
   pypy/dist/pypy/translator/goal/translate.py
Log:
added an --output=FILENAME option, to override the name of a translated target

Modified: pypy/dist/pypy/config/translationoption.py
==============================================================================
--- pypy/dist/pypy/config/translationoption.py	(original)
+++ pypy/dist/pypy/config/translationoption.py	Fri Jan 12 13:14:02 2007
@@ -57,7 +57,8 @@
 
     ArbitraryOption("instrumentctl", "internal",
                default=None),        
-
+    StrOption("output", "Output file name", cmdline="--output"),
+    
     # portability options
     BoolOption("vanilla",
                "Try to be as portable as possible, which is not much",

Modified: pypy/dist/pypy/translator/goal/translate.py
==============================================================================
--- pypy/dist/pypy/translator/goal/translate.py	(original)
+++ pypy/dist/pypy/translator/goal/translate.py	Fri Jan 12 13:14:02 2007
@@ -76,6 +76,7 @@
 
     'translation.cc': None,
     'translation.profopt': None,
+    'translation.output': None,
 
     'translation.debug_transform': False,
 }
@@ -186,7 +187,6 @@
 
 def main():
     targetspec_dic, translateconfig, config, args = parse_options_and_load_target()
-
     from pypy.translator import translator
     from pypy.translator import driver
     from pypy.translator.tool.pdbplus import PdbPlusShow
@@ -259,7 +259,9 @@
         log_config(config.translation, "translation configuration")
         pdb_plus_show.expose({'drv': drv, 'prof': prof})
 
-        if drv.exe_name is None and '__name__' in targetspec_dic:
+        if config.translation.output:
+            drv.exe_name = config.translation.output
+        elif drv.exe_name is None and '__name__' in targetspec_dic:
             drv.exe_name = targetspec_dic['__name__'] + '-%(backend)s'
 
         goals = translateconfig.goals