Import qw( env );

OCamlSources $env ##
	'lib_term.ml',
	'utils.ml',
	'lint32.ml',
	'nuprl5.ml',
	'registry.ml',
	'mathBus.ml',
	'mbterm.ml',
	'basic.ml',
	'socketIo.ml',
	'link.ml',
	'ascii_scan.ml',
	'db.ml',
	'tentfunctor.ml',
	'oidtable.ml',
	'definition.ml',
	'orb.ml',
	'library.ml',
	'library_type_base.ml';

OCamlLibrary $env 'library',
	'lib_term',
	'utils',
	'lint32',
	'nuprl5',
	'registry',
	'mathBus',
	'mbterm',
	'basic',
	'socketIo',
	'link',
	'ascii_scan',
	'db',
	'tentfunctor',
	'oidtable',
	'definition',
	'orb',
	'library',
	'library_type_base';

## Add the library to the default target list
#Default "library$env->{SUFLIB}";
