makefile: remove lingering references to special native packages

This commit is contained in:
Matthew Flatt 2014-12-05 15:14:43 -07:00
parent 5af2611704
commit 846be68ec1

View File

@ -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)