Fixed the '-xc' thing, plus ditched the old WLLVM_OUTPUT env var.

Author: ianamason

wllvm/arglistfilter.py

@@ -124,6 +124,14 @@ def __init__(self, inputList, exactMatches={}, patternMatches={}):
             # Language
             '-ansi' : (0, ArgumentListFilter.compileUnaryCallback),
             '-pedantic' : (0, ArgumentListFilter.compileUnaryCallback),
+            #iam: i notice that yices configure passes -xc so
+            # we should have a fall back pattern that captures the case
+            # when there is no space between the x and the langauge.
+            # for what its worth: the manual says the language can be one of
+            # c  objective-c  c++ c-header  cpp-output  c++-cpp-output
+            # assembler  assembler-with-cpp
+            # BD: care to comment on your configure?
+
             '-x' : (1, ArgumentListFilter.compileBinaryCallback),
 
             # Debug
@@ -237,6 +245,8 @@ def __init__(self, inputList, exactMatches={}, patternMatches={}):
             r'^--sysroot=.+$' :  (0, ArgumentListFilter.compileUnaryCallback),
             r'^-print-prog-name=.*$' : (0, ArgumentListFilter.compileUnaryCallback),
             r'^-print-file-name=.*$' : (0, ArgumentListFilter.compileUnaryCallback),
+            #iam: -xc from yices. why BD?
+            r'^-x.+$' : (0, ArgumentListFilter.compileUnaryCallback),
 
         }
 

wllvm/logconfig.py

@@ -21,7 +21,6 @@ def logConfig(name):
 
 
     if destination:
-        sys.stderr.write("logging to {0}\n".format(destination))
         logging.basicConfig(filename=destination, level=logging.WARNING, format='%(levelname)s:%(message)s')
     else:
         logging.basicConfig(level=logging.WARNING, format='%(levelname)s:%(message)s')
@@ -31,8 +30,6 @@ def logConfig(name):
     # ignore old setting
     level = os.getenv(_loggingEnvLevel_new) 
 
-    sys.stderr.write("logging level set to to {0}\n".format(level))
-
     if level:
         level = level.upper()
         if not level in _validLogLevels: