Import qw( env );

$env = $env->clone(
    PPFLAGS => "$env->{PPFLAGS} -I$env->{MP}/refiner/refsig"
);

OCamlSources $env
	'term_std_sig.mlz',
	'term_std.ml',
	'term_base_std.ml',
	'term_op_std.ml',
	'term_subst_std.ml',
	'term_eval_std.ml';

OCamlLibrary $env 'term_std',
	'term_std_sig',
	'term_std',
	'term_base_std',
	'term_op_std',
	'term_subst_std',
	'term_eval_std';

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