Re: splitting the ocaml package ???

[Jean-Francois Monin]

Sven LUTHER a ecrit :
 > I don't know about coq, but in the ocaml case, it is naturally the graphics
 > module, which uses Xlib to do the drawing, i think.

Oh yes, I forgot it. Now It should be possible to put graphics separately,
it is not in the default toplevel for instance. A small patch
in the right Makefile should be enough ?

See ocaml-3.XX/otherlibs/graph/Makefile

BTW Coq don't use graphics.

Friendly,
  JF


--  
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]