boot: Create GNUmakefiles for libraries
authorBen Gamari <ben@smart-cactus.org>
Wed, 21 Feb 2018 14:58:19 +0000 (09:58 -0500)
committerBen Gamari <ben@smart-cactus.org>
Sun, 25 Feb 2018 21:25:19 +0000 (16:25 -0500)
D3918 neglected to implement this when it rewrote boot in python.

boot

diff --git a/boot b/boot
index 7dc2983..f913724 100755 (executable)
--- 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.