Browse thread
ocamlc: how to keep sources and objects in different directories?
- Roberto Bagnara
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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