Building the standalone tools

First, in the domtool2 directory that you have checked out, create a file config.sml containing:

structure Config :> CONFIG = struct
  open ConfigDefault
end

Heck, you could even go ahead and set some non-standard configuration values! If you leave it as is, you inherit the defaults, which should be appropriate for HCoop servers. If you are not installation DomTool at HCoop, see DomTool/NonHCoopSetup for details on configuring DomTool to run outside of HCoop.

Even if you set configuration parameters until you're blue in the face, this stuff probably won't work very well in environments that don't look much like Linux. Perhaps some day greater portability will become enough of a priority for us to fix that.

Once you have that done, the rest is easy! Just run

make

This will populate domtool2/bin/ with the compiled DomTool programs. As root, run

make install

to copy these programs and some additional scripts to appropriate standard locations. Consult the Makefile if you'd like to see what those locations are ahead of time.

1. Reinstalling the standalone tools

If you want to reinstall domtool on machines that are running it already, then it is best to use a slightly modified set of instructions.

First, create a config.sml file as directed above, and run make.

If the current machine is a slave, then run

make install_slave

If the current machine is a server, then run

make install_server