mbed-scli test program
Diff: mlib.py
- Revision:
- 8:f1c7a11d0670
- Parent:
- 7:9df443d2570b
--- a/mlib.py Sat Mar 04 16:08:32 2017 +0900 +++ b/mlib.py Sat Mar 04 19:01:33 2017 +0900 @@ -1,5 +1,5 @@ -#### lib.py for mbed #### -# v0.8 # 2017/03 made by dinau +#### mlib.py for mbed #### +# v0.9 # 2017/03 made by dinau # # Notice: Unsupported libraries. # These libraries must be specified in Makefile. @@ -8,9 +8,14 @@ # Usage: +# Download the dependency libraries from web. # $ make lib # or -# $ python makelib.py +# $ python mlib.py +# Specify URL of a particular library to get it. +# $ python mlib.py http://... +# Checkout mbed library with specified revision number. +# $ python mlib.py 136 # import os,sys @@ -104,25 +109,37 @@ else: url = param1 = sys.argv[1] try: + # Number or URL revNum = int(param1) except: + # if URL of string + # Down load mbed library from URL p = urlparse( url ) - path = p.path - if path[-1:] == '/': - path = path[:-1] - libdir = os.path.basename(path) - libname = libdir + '.lib' - if not os.path.isdir( libdir ): - with open( libname,'w') as fp: - fp.write( url ) - print '--- Getting libraries ----' - getLibs('.') - print '--- end ---' + if not("http" in p.scheme ) and not("https" in p.scheme ): + print "URL error !" + else: + path = p.path + if path[-1:] == '/': + path = path[:-1] + libdir = os.path.basename(path) + libname = libdir + '.lib' + if not os.path.isdir( libdir ): + with open( libname,'w') as fp: + fp.write( url ) + print '--- Getting libraries ----' + getLibs('.') + print '--- end ---' else: + # if Number of string + # get mbed library of specified revsion mbed_root_file ='mbed-root.txt' - mbedRoot = open(mbed_root_file).read() - os.chdir( mbedRoot.strip() ) - gitCheckout( 'mbed_lib_rev' + str( revNum ), True ) + try: + mbedRoot = open(mbed_root_file).read() + os.chdir( mbedRoot.strip() ) + gitCheckout( 'mbed_lib_rev' + str( revNum ), True ) + except: + print "First, at least execute 'make' command !" +