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: ocamlc: how to keep sources and objects in different directories?

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?
If not, what is the best way to achieve complete
separation of sources and objects?
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