boot: Create GNUmakefiles for libraries

D3918 neglected to implement this when it rewrote boot in python.

1 files changed, 11 insertions, 0 deletions

diff --git a/boot b/boot
index 7dc2983fea..f91372464d 100755
--- a/boot
+++ b/boot
@@ -132,6 +132,17 @@ def boot_pkgs():
                                 pkg = pkg,
                                 dir = dir_)))
 
+                makefile = os.path.join(package, 'GNUmakefile')
+                with open(makefile, 'w') as f:
+                    f.write(dedent(
+                        """\
+                        dir = {package}
+                        TOP = {top}
+                        include $(TOP)/mk/sub-makefile.mk
+                        FAST_MAKE_OPTS += stage=0
+                        """.format(package = package, top = top)
+                    ))
+
 
 def autoreconf():
     # Run autoreconf on everything that needs it.