File content as of revision 7:84a0a208ebb2:

####  lib.py for mbed ####
# v0.3
# 2017/02 made by dinau
#

# Notice: Unsupported libraries.
#         These libraries must be specified in Makefile.
#   mbed-os
#   mbed-dev


# Usage:
#   $ make lib
# or
#   $ python lib.py
#

import os,sys
import commands

def getlibs(cdir):
    liblist=[]
    for f in os.listdir(cdir):
        if os.path.isfile(f):
            name, ext = os.path.splitext(f)
            if ext == '.lib':
                if name != 'mbed-os':
                    liblist.append(f)
    if len( liblist )  > 0:
        for f in liblist:
            subdir, ext = os.path.splitext(f)
            print subdir
            url = open(f).read()
            print url
            sys.stdout.flush()
            if ('developer.mbed.org' in url) or ('mbed.org' in url):
                cmd = 'hg clone -q ' + url
                res = os.system( cmd )
                os.chdir(subdir)
                getlibs(cdir)
            elif 'mbed-os' in url:
                print 'mbed-os is unsupported at this moment.'
            elif 'github.com' in url:
                urllist = url.split('#')
                if len(urllist) == 1:
                    cmd = 'git clone ' + urllist[0]
                    res = os.system( cmd )
                    os.chdir(subdir)
                    getlibs(cdir)
                elif len(urllist) == 2:
                    cmd = 'git clone -q ' + urllist[0]
                    print cmd
                    sys.stdout.flush()
                    res = os.system( cmd )
                    os.chdir(subdir)
                    print 'cd %s' % (subdir)
                    sys.stdout.flush()
                    cmd = 'git checkout -q ' + urllist[1]
                    print cmd
                    sys.stdout.flush()
                    res = os.system( cmd )
                    getlibs(cdir)

print '--- Getting libraries ----'
getlibs('.')
print '--- end ---'