From mboxrd@z Thu Jan  1 00:00:00 1970
Received: by pauillac.inria.fr; Wed, 28 Sep 94 19:13:46 +0100
Received: by pauillac.inria.fr; Wed, 28 Sep 94 18:02:54 +0100
From: Xavier Leroy <xleroy@pauillac.inria.fr>
Message-Id: <9409281702.AA15528@pauillac.inria.fr>
Subject: Re: System interface
To: caml-list@pauillac.inria.fr
Date: Wed, 28 Sep 1994 18:02:54 +0100 (MET)
In-Reply-To: <"swan.cl.cam.:158920:940927133021"@cl.cam.ac.uk> from "John Harrison" at Sep 27, 94 02:29:56 pm
X-Mailer: ELM [version 2.4 PL21]
Content-Type: text/plain
Sender: weis@pauillac.inria.fr

> Is there a straightforward way (under Unix) of executing
> arbitrary system commands from inside CAML Light? 

The unix__system function does just that. The "unix" library is in
contrib/libunix in the distribution. Once installed, it can be linked
with a standalone application as follows:

        camlc -custom -o <applname> unix.zo <appl .zo files> -lunix

For interactive use of the functions provided by this library, first
build a "custom toplevel":

        camlmktop -custom -o camlunix unix.zo -lunix

then launch it with:

        camllight camlunix

- Xavier Leroy