3 # Copyright 2006 Free Software Foundation, Inc.
5 # This file is part of GNU Radio
7 # GNU Radio is free software; you can redistribute it and/or modify
8 # it under the terms of the GNU General Public License as published by
9 # the Free Software Foundation; either version 3, or (at your option)
12 # GNU Radio is distributed in the hope that it will be useful,
13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 # GNU General Public License for more details.
17 # You should have received a copy of the GNU General Public License
18 # along with GNU Radio; see the file COPYING. If not, write to
19 # the Free Software Foundation, Inc., 51 Franklin Street,
20 # Boston, MA 02110-1301, USA.
24 Generate Makefile.extra
30 extensions_we_like = (
32 '.csf', '.esf', '.psf', '.qpf', '.qsf',
33 '.inc', '.cmp', '.bsf',
36 def visit(keepers, dirname, names):
44 if dirname.startswith('./'):
48 base, ext = os.path.splitext(n)
49 if ext in extensions_we_like:
50 keepers.append(os.path.join(dirname, n))
54 os.path.walk('.', visit, keepers)
56 write_keepers(keepers, f)
58 def write_keepers(files, outf):
59 m = reduce(max, map(len, files), 0)
61 outf.write('%s%s \\\n' % (e, (m-len(e)+8) * ' '))
63 outf.write('\t%s%s \\\n' % (f, (m-len(f)) * ' '))
64 outf.write('\t%s\n' % (files[-1],))
66 if __name__ == '__main__':
67 generate(open('Makefile.extra','w'))