From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id UAA19409 for caml-redistribution; Thu, 18 Jul 1996 20:05:44 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id SAA17378 for ; Thu, 18 Jul 1996 18:28:27 +0200 Received: from muenster.westfalen.de (root@muenster.westfalen.de [193.174.5.2]) by concorde.inria.fr (8.7.1/8.7.1) with SMTP id SAA21598 for ; Thu, 18 Jul 1996 18:26:48 +0200 (MET DST) Received: by muenster.westfalen.de (/\oo/\ Smail3.1.29.1 #29.3) id ; Thu, 18 Jul 96 18:02 MET DST Received: by ms3.maus.westfalen.de (via MausTausch) Wed, 17 Jul 96 20:21:00 +0200 for caml-list@pauillac.inria.fr From: Georg_Bauer@ms3.maus.westfalen.de (Georg Bauer) To: caml-list@pauillac.inria.fr Subject: ocamldep Message-ID: <199607172021.a9508@ms3.maus.de> References: <31EC2675.283@argos.uniandes.edu.co> Date: Wed, 17 Jul 96 20:21:00 +0200 Organization: MAUS MS3 - Die dritte in Muenster X-Software: Erwinsgate gb0.9o (c) es@do2.maus.ruhr.de, gb@ms3.maus.westfalen.de MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: weis Hi! EP>And by the way, I suppose someone already made the following suggestion EP>but it would be very useful to have a "compile" option and a "make" EP>option on the menus of ocamlwin. Actually my DOS-port does have a #compile command for the OCAML interactive environment. It's easy since you need much of the modules aready to build OCAML. I didn't include a make facility, because then I would have to integrate the functionality of ocamldep. Hmm. I should think of that, it would help much ;-) bye, Georg