You've already forked gnatcoll-db
mirror of
https://github.com/AdaCore/gnatcoll-db.git
synced 2026-02-12 12:59:31 -08:00
ce99ac280e
Part of major reorganization of gnatcoll for better modularity and maintainability. Change-Id: Iad961b53634520081eb90c37aff2bfdbf58b2e06 TN: P909-033 no-precommit-check
69 lines
1.7 KiB
Python
69 lines
1.7 KiB
Python
#!/usr/bin/env python
|
|
|
|
import os
|
|
import os.path
|
|
import re
|
|
|
|
pkg_re = re.compile("^(private)?\s*package\s*(\S+)")
|
|
|
|
|
|
def recursive_ls(dir):
|
|
"""Return the list of ads files in dir and its subdirs"""
|
|
result = set()
|
|
for f in os.listdir(dir):
|
|
if f.endswith(".ads") \
|
|
and f.startswith("gnatcoll-"):
|
|
|
|
private = False
|
|
pkg = ""
|
|
for l in file(os.path.join(dir, f)).readlines():
|
|
m = pkg_re.search(l)
|
|
if m:
|
|
private = m.group(1)
|
|
pkg = m.group(2)
|
|
break
|
|
|
|
if not private:
|
|
result.add((pkg, os.path.splitext(f)[0]))
|
|
|
|
elif os.path.isdir(os.path.join(dir, f)):
|
|
result = result.union(recursive_ls(os.path.join(dir, f)))
|
|
|
|
return result
|
|
|
|
list = recursive_ls("..")
|
|
out = file("help_gnatcoll-db.py", "wb")
|
|
out.write("""XML = r'''<?xml version="1.0"?>
|
|
<GPS>
|
|
""")
|
|
|
|
for pkg, f in sorted(list):
|
|
if '__' in f:
|
|
# An internal package with a specific naming scheme
|
|
continue
|
|
|
|
menu = pkg.replace(".", "/").replace("_", "__")
|
|
|
|
# Do we have a submenu ?
|
|
in_front = False
|
|
for pkg2, b in list:
|
|
if b.startswith(f + "-"):
|
|
item = menu[menu.rfind("/") + 1:]
|
|
menu = menu + "/<" + item + ">"
|
|
break
|
|
|
|
out.write(""" <documentation_file>
|
|
<shell>Editor.edit "%(file)s.ads"</shell>
|
|
<descr>%(package)s</descr>
|
|
<menu>/Help/%(menu)s</menu>
|
|
<category>GNAT Components Collection</category>
|
|
</documentation_file>
|
|
|
|
""" % {"file": f, "menu": menu, "package": pkg})
|
|
|
|
out.write("""</GPS>'''
|
|
import GPS
|
|
GPS.parse_xml(XML)
|
|
""")
|
|
out.close()
|