Re: splitting the ocaml package ???
Sven LUTHER wrote:
>
> but i don't know if it is trully worth it, apart maybe for the toplevel.
>
> What do you all think of it ?
Well, I don't have any precise idea about this "tuning" except the
following criteria
- stuff which depends on X
- and stuff which do not depend on X
(so,
I think that the "essential" part of the package 'ocaml' do not have to
depend on X [if possible]...
Same note about 'coq' package which seems to depend on X, [trying to
install the package this morning leads to a long list of upgrade including
X stuff !!]
is this really necessary ??
)
--
# Georges MARIANO tel: (33) 03 20 43 84 06
# INRETS, 20 rue Elisee Reclus fax: (33) 03 20 43 83 59
# 59650 Villeneuve d'Ascq mailto:georges.mariano@inrets.fr
# FRANCE.
# http://www3.inrets.fr/Public/ESTAS/Mariano.Georges/
# http://www3.inrets.fr/B-Bibliography/
Reply to: