Thanks very much to Florian for helping me past my previous problem. However I've now received this exception from running
./build HOL: exception Fail raised: stuck state at command "use" ExnDuringExecution HOL log zipped and attached. Any help really would be appreciated. thanks everso, Will.
Description: Zip compressed data