xsb_config :-
xsb_configuration(install_dir,HOME),
xsb_configuration(config_dir,CONFDIR),
xsb_configuration(emudir,EMUDIR),
str_cat(CONFDIR, '/saved.o/xsb.o' , XSB_O),
writeln('HOME' = HOME),
writeln('XSB_O' = XSB_O),
writeln('CONFDIR' = CONFDIR),
writeln('EMUDIR' = EMUDIR).
:-
writeln('__XSB_CONFIG_BEGIN__'),
xsb_config,
writeln('__XSB_CONFIG_END__').