From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.8 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 71F5BBB84 for ; Wed, 13 Aug 2008 10:04:23 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.32,200,1217800800"; d="asc'?scan'208";a="15958459" Received: from peray.inria.fr (HELO ausone.inria.fr) ([128.93.8.98]) by mail3-relais-sop.national.inria.fr with SMTP; 13 Aug 2008 10:04:22 +0200 Received: by ausone.inria.fr (sSMTP sendmail emulation); Wed, _d Aug 2008 10:03:43 +0200 From: "Nicolas Pouillard" Cc: Vincent Hanquez , Caml_mailing list Subject: Re: [Caml-list] ocamlc: how to keep sources and objects in different directories? To: Roberto Bagnara References: <48A1C24A.1060109@cs.unipr.it> <20080813072213.GA17152@snarc.org> <48A28E23.9000202@cs.unipr.it> In-Reply-To: <48A28E23.9000202@cs.unipr.it> Date: Wed, 13 Aug 2008 10:03:38 +0200 Message-Id: <1218614590-sup-2275@ausone.local> User-Agent: Sup/git Content-Type: multipart/signed; protocol="application/pgp-signature"; boundary="=-1218614623-320235-27117-6913-6-="; micalg="pgp-sha1" MIME-Version: 1.0 X-Spam: no; 0.00; ocamlc:01 0200,:01 cmo:01 ocamlc:01 ocaml:01 ocaml:01 cmo:01 read-only:01 -version:01 wrote:01 wrote:01 caml-list:01 interfaces:01 interfaces:01 gmp:02 X-Attachments: cset="UTF-8" type="application/pgp-signature" name="signature.asc" name="signature.asc" --=-1218614623-320235-27117-6913-6-= Content-Type: text/plain; charset=UTF-8 Excerpts from Roberto Bagnara's message of Wed Aug 13 09:32:51 +0200 2008: > Vincent Hanquez wrote: > > On Tue, Aug 12, 2008 at 07:03:06PM +0200, Roberto Bagnara wrote: > >> Hi there, > >> > >> it seems that `ocamlc' wants to create the .cmo file in the same > >> directories as the .ml file. More specifically I observe this: > >> > >> $ ocamlc -g -c -I +gmp -I ../../../interfaces/OCaml ../../../interfaces/OCaml/ppl_ocaml_types.ml > >> I/O error: ../../../interfaces/OCaml/ppl_ocaml_types.cmo: Permission denied > >> > >> The ../../../interfaces/OCaml directory is read-only: > >> is there an option causing `ocamlc' to write the .cmo > >> file in the current directory instead? > > > > you can use "-o ./ppl_ocaml_types.cmo" > > Thanks Vincent, but it does not work: > > $ ocamlc -g -c -I +gmp -I ../../../interfaces/OCaml ../../../interfaces/OCaml/ppl_ocaml_types.ml > I/O error: ../../../interfaces/OCaml/ppl_ocaml_types.cmo: Permission denied > $ ocamlc -g -c -I +gmp -I ../../../interfaces/OCaml ../../../interfaces/OCaml/ppl_ocaml_types.ml -o ./ppl_ocaml_types.cmo > I/O error: ../../../interfaces/OCaml/ppl_ocaml_types.cmo: Permission denied > $ ocamlc -version > 3.10.1 > > Any other idea? The -o option should be before the .ml. Regards, -- Nicolas Pouillard aka Ertai --=-1218614623-320235-27117-6913-6-= Content-Disposition: attachment; filename="signature.asc" Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.8 (Darwin) iEYEARECAAYFAkiilVoACgkQj+FCNw9dwLkbBACeNp0Qy+INoDaMHmEpYSayz2qq INwAnilVcOxWehJ1tT5W7UJmwzWazE9a =EIcY -----END PGP SIGNATURE----- --=-1218614623-320235-27117-6913-6-=--