suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

makefile: propagate SETUP_MACHINE_FLAGS to distro-build

Browse Source
This commit is contained in:
Matthew Flatt 2018-11-24 11:38:58 -07:00
parent 9441f7075f
commit e87d03cdc0
2 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
INSTALL.txt
View File

@ -319,7 +319,7 @@ Running Build Farms
The `installers` target of the makefile will do everything to generate
installers: build a server on the current machine, run clients on
hosts specified via CONFIG, and start/stop VirtualBox virtual machines
hosts specified via `CONFIG`, and start/stop VirtualBox virtual machines
that act as client machines.
See the documentation of the "distro-build" package for a description
@ -334,7 +334,7 @@ drives the build farm, and the resulting installers are in
installer filenames in "build/installer/table.rktd". A log file
for each client is written to "build/log".
The default CONFIG path is "build/site.rkt", so you could put your
The default `CONFIG` path is "build/site.rkt", so you could put your
configuration file there and omit the `CONFIG` argument to `make`. A
default configuration file is created there automatically. Supply
`CONFIG_MODE=...` to pass a configuration mode on to your
@ -355,6 +355,12 @@ respectively. The site configuration's top-level options for packages
and documentation search URL are used to configure the set of packages
that are available to client machines to include in installers.
The `SETUP_MACHINE_FLAGS` argument to the makefile affects how
bytecode is compiled on the server for distribrution to clients. Use
`SETUP_MACHINE_FLAGS=-M` when building clients with the variant 'cs,
since that will significantly speed up client builds with only a
modest slowdown on the server.
For each installer written to "build/installers", the installer's name
is

2
Makefile
View File

@ -812,7 +812,7 @@ client-from-site:
# Drive installer build across server and clients:
DRIVE_ARGS_q = $(RELEASE_MODE) $(VERSIONLESS_MODE) $(SOURCE_MODE) \
$(CLEAN_MODE) "$(CONFIG)" "$(CONFIG_MODE)" \
$(CLEAN_MODE) $(SETUP_MACHINE_FLAGS) "$(CONFIG)" "$(CONFIG_MODE)" \
$(SERVER) $(SERVER_PORT) "$(SERVER_HOSTS)" \
"$(PKGS)" "$(DOC_SEARCH)" "$(DIST_NAME)" $(DIST_BASE) $(DIST_DIR)
DRIVE_CMD_q = $(USER_RACKET) -l- distro-build/drive-clients $(DRIVE_ARGS_q)