+ $(RM) $(patsubst %, libraries/%/GNUmakefile, \
+ $(PACKAGES) $(PACKAGES_STAGE2))
+ $(RM) $(patsubst %, libraries/%/ghc.mk, $(PACKAGES) $(PACKAGES_STAGE2))
+ $(RM) $(patsubst %, libraries/%/configure, \
+ $(PACKAGES) $(PACKAGES_STAGE2))
+ $(RM) libraries/base/include/HsBaseConfig.h.in
+ $(RM) libraries/directory/include/HsDirectoryConfig.h.in
+ $(RM) libraries/process/include/HsProcessConfig.h.in
+ $(RM) libraries/unix/include/HsUnixConfig.h.in
+ $(RM) libraries/old-time/include/HsTimeConfig.h.in
+
+.PHONY: all_libraries
+
+.PHONY: bootstrapping-files
+bootstrapping-files: $(OTHER_LIBS)
+bootstrapping-files: includes/ghcautoconf.h
+bootstrapping-files: includes/DerivedConstants.h
+bootstrapping-files: includes/GHCConstants.h
+