Re: splitting the ocaml package ???
I really don't see how ocaml and coq may depend on X (in the sense, I
suppose, if Xfree). Except, maybe, for borderline things like emacs
mode ? Then they should be considered separately. CamlTk in another
story and is packaged separately I guess.
Georges Mariano a ecrit :
> 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
> 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:email@example.com
> # FRANCE.
> # http://www3.inrets.fr/Public/ESTAS/Mariano.Georges/
> # http://www3.inrets.fr/B-Bibliography/
> To UNSUBSCRIBE, email to firstname.lastname@example.org
> with a subject of "unsubscribe". Trouble? Contact email@example.com