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?
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?
All the best,

     Roberto

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