Re: System interface

Xavier Leroy (xleroy@pauillac.inria.fr)
Wed, 28 Sep 1994 18:02:54 +0100 (MET)

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

> 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