static void initDefaultOptions() { GD->options.compileOut = store_string("a.out"); GD->options.localSize = systemDefaults.local K; GD->options.globalSize = systemDefaults.global K; GD->options.trailSize = systemDefaults.trail K; GD->options.goal = store_string(systemDefaults.goal); GD->options.topLevel = store_string(systemDefaults.toplevel); GD->options.initFile = store_string(systemDefaults.startup); GD->options.scriptFiles = NULL; GD->options.saveclass = store_string("none"); if ( !GD->bootsession && GD->resourceDB ) { IOSTREAM *op = SopenRC(GD->resourceDB, "$options", "$prolog", RC_RDONLY); if ( op ) { char name[MAXVARNAME]; char val[MAXVARVAL]; while( getVarFromStream(op, name, val) ) set_pl_option(name, val); Sclose(op); } } }
static void initDefaultOptions(void) { GD->options.compileOut = store_string("a.out"); GD->options.stackLimit = systemDefaults.stack_limit; GD->options.tableSpace = systemDefaults.table_space; GD->options.topLevel = store_string(systemDefaults.toplevel); GD->options.initFile = store_string(systemDefaults.startup); GD->options.scriptFiles = NULL; GD->options.saveclass = store_string("none"); if ( systemDefaults.goal ) opt_append(&GD->options.goals, systemDefaults.goal); if ( !GD->bootsession && GD->resources.DB ) { IOSTREAM *op = SopenZIP(GD->resources.DB, "$prolog/options.txt", RC_RDONLY); if ( op ) { tmp_buffer name; tmp_buffer val; while( getVarFromStream(op, &name, &val) ) { set_pl_option(baseBuffer(&name, char), baseBuffer(&val, char)); discardBuffer(&name); discardBuffer(&val); } Sclose(op); } }