Version française
Home     About     Download     Resources     Contact us    
Browse thread
ocamlc: how to keep sources and objects in different directories?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Roberto Bagnara <bagnara@c...>
Subject: Re: [Caml-list] ocamlc: how to keep sources and objects in different directories?
Nicolas Pouillard wrote:
> 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.

Thanks!
All the best,

    Roberto

P.S.  Perhaps this should be written in the documentation...
       I have just reread http://caml.inria.fr/pub/docs/manual-ocaml/manual022.html
       but found no mention of this important detail.

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it