diff --git a/Makefile b/Makefile index fdcb3910ca..44c6673b96 100644 --- a/Makefile +++ b/Makefile @@ -346,7 +346,6 @@ build-from-catalog: $(RACKET) -l- distro-build/pkg-info -o build/pkgs.rktd build/catalog-copy $(RACKET) -l distro-build/install-pkgs $(CONFIG_MODE_q) "$(PKGS)" $(SOURCE_USER_AUTO_q) --all-platforms $(RACO) setup --avoid-main $(JOB_OPTIONS) - rm -rf build/native server-cache-config: $(RACO) pkg config -i --set download-cache-dir build/cache @@ -364,14 +363,12 @@ origin-collects: $(RACKET) -l distro-build/pack-collects # Now that we've built packages from local sources, create "built" -# versions of the packages from the installation into "build/user"; -# packages that exist in "build/native" are not repacked: +# versions of the packages from the installation into "build/user": built-catalog: $(RACKET) -l distro-build/pack-built build/pkgs.rktd # Run a catalog server to provide pre-built packages, as well -# as the copy of the server's "collects" tree; also serves -# the "build/native" directory, if it exists: +# as the copy of the server's "collects" tree: built-catalog-server: if [ -d ".git" ]; then git update-server-info ; fi $(RACKET) -l distro-build/serve-catalog $(CONFIG_MODE_q) "$(SERVER_HOSTS)" $(SERVER_PORT) $(SERVE_DURING_CMD_qq)