1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-09-29 15:30:52 +00:00

Sort input files

This commit is contained in:
Carles Fernandez 2017-06-06 12:32:24 +02:00
parent f69cc2491c
commit caaaebc420
2 changed files with 4 additions and 9 deletions

View File

@ -204,7 +204,7 @@ class kernel_class:
######################################################################## ########################################################################
__file__ = os.path.abspath(__file__) __file__ = os.path.abspath(__file__)
srcdir = os.path.dirname(os.path.dirname(__file__)) srcdir = os.path.dirname(os.path.dirname(__file__))
kernel_files = glob.glob(os.path.join(srcdir, "kernels", "volk_gnsssdr", "*.h")) kernel_files = sorted(glob.glob(os.path.join(srcdir, "kernels", "volk_gnsssdr", "*.h")))
kernels = list(map(kernel_class, kernel_files)) kernels = list(map(kernel_class, kernel_files))
if __name__ == '__main__': if __name__ == '__main__':

View File

@ -58,10 +58,10 @@ class volk_gnsssdr_modtool:
else: else:
name = self.get_basename(base); name = self.get_basename(base);
if name == '': if name == '':
hdr_files = glob.glob(os.path.join(base, "kernels/volk_gnsssdr/*.h")); hdr_files = sorted(glob.glob(os.path.join(base, "kernels/volk_gnsssdr/*.h")));
begins = re.compile("(?<=volk_gnsssdr_).*") begins = re.compile("(?<=volk_gnsssdr_).*")
else: else:
hdr_files = glob.glob(os.path.join(base, "kernels/volk_gnsssdr_" + name + "/*.h")); hdr_files = sorted(glob.glob(os.path.join(base, "kernels/volk_gnsssdr_" + name + "/*.h")));
begins = re.compile("(?<=volk_gnsssdr_" + name + "_).*") begins = re.compile("(?<=volk_gnsssdr_" + name + "_).*")
datatypes = []; datatypes = [];
@ -166,7 +166,7 @@ class volk_gnsssdr_modtool:
open(dest, 'w+').write(outstring); open(dest, 'w+').write(outstring);
# copy orc proto-kernels if they exist # copy orc proto-kernels if they exist
for orcfile in glob.glob(inpath + '/orc/' + top + name + '*.orc'): for orcfile in sorted(glob.glob(inpath + '/kernels/volk_gnsssdr/asm/orc/' + top + name + '*.orc')):
if os.path.isfile(orcfile): if os.path.isfile(orcfile):
instring = open(orcfile, 'r').read(); instring = open(orcfile, 'r').read();
outstring = re.sub(oldvolk_gnsssdr, 'volk_gnsssdr_' + self.my_dict['name'], instring); outstring = re.sub(oldvolk_gnsssdr, 'volk_gnsssdr_' + self.my_dict['name'], instring);
@ -333,8 +333,3 @@ class volk_gnsssdr_modtool:
write_okay = False write_okay = False
if write_okay: if write_okay:
open(dest, 'a').write(otherline); open(dest, 'a').write(otherline);