changeset 20:8d401b81bab5

getopt support
author hanwen <hanwen@xs4all.nl>
date Fri, 25 Nov 2005 13:47:34 +0100
parents 96df4453053d
children ed979b43563d
files driver.py
diffstat 1 files changed, 19 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/driver.py	Fri Nov 25 13:36:00 2005 +0100
+++ b/driver.py	Fri Nov 25 13:47:34 2005 +0100
@@ -2,11 +2,14 @@
 import os
 import re
 import sys
+import getopt
 
 sys.path.insert (0, 'specs/')
+
 import gub
 import framework
 
+
 class Settings:
 	def __init__ (self, arch):
 		self.target_gcc_flags = '' 
@@ -59,12 +62,22 @@
 		process_package (i)
 		
 def main ():
-	platform = sys.argv[1]
+	(options, files) = getopt.getopt (sys.argv[1:], 'V', ['verbose'])
+	verbose = 0 
+	for (o,a) in options:
+		if o == '--verbose' or o == '-V':
+			verbose = 1
 
+	try:
+		platform = files[0]
+	except IndexError:
+		platform = ''
+		
 	if platform not in ['mac', 'mingw', 'mingw-fedora']:
 		print 'unknown platform', platform
-		print 'mac, mingw, mingw-fedora'
-		
+		print 'Use mac, mingw, mingw-fedora'
+		sys.exit (1)
+
 	if platform == 'mac':
 		settings = Settings ('powerpc-apple-darwin7')
 	elif platform == 'mingw':
@@ -72,6 +85,8 @@
 	elif platform == 'mingw-fedora':
 		settings = Settings ('i386-mingw32')
 		platform = 'mingw'
+
+	settings.verbose = verbose
 	
 	if not os.path.exists (settings.targetdir):
 		settings.create_dirs ()
@@ -86,5 +101,6 @@
 	process_packages (framework.get_packages (settings, platform))
 
 
+
 if __name__ == '__main__':
     	main ()