Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] -i option to compiler
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Ian Zimmerman <itz@s...>
Subject: [Caml-list] -i option to compiler

Hi, I remember using the -i option successfully in the past to
generate a fat interface to an existing .ml file.  However, after
upgrading to 3.04 and trying to recompile some of my stuff, I can't
seem to remember how to do without an excessive amount of pain.

I have a file foo.ml, and I want to generate foo.mli.

kronstadt:~$ cat >>foo.ml
let i = 1
kronstadt:~$ ocamlc -i foo.ml > foo.mli
I/O error: foo.cmi: No such file or directory
kronstadt:~$ ocamlc -i -c foo.ml > foo.mli
I/O error: foo.cmi: No such file or directory
kronstadt:~$ ocamlc -c foo.ml
I/O error: foo.cmi: No such file or directory
kronstadt:~$ rm foo.mli
kronstadt:~$ ocamlc -c foo.ml
kronstadt:~$ ls -l foo.cmo
-rw-rw-r--    1 itz      itz           145 Jan  9 13:14 foo.cmo
kronstadt:~$ ocamlc -i -c foo.ml > foo.mli
kronstadt:~$ ls -l foo.cmo
-rw-rw-r--    1 itz      itz           147 Jan  9 13:15 foo.cmo
kronstadt:~$ 

So, it seems that I have to first _compile_ foo.ml to get both foo.cmi
and foo.cmo, and then compile it _again_ with the -i flag to get
foo.mli.  Is that so?  Isn't there a way to generate _just_ foo.mli
and not the object file?

-- 
Ian Zimmerman, Oakland, California, U.S.A.
GPG: 433BA087  9C0F 194F 203A 63F7 B1B8  6E5A 8CA3 27DB 433B A087
In his own soul a man bears the source
from which he draws all his sorrows and his joys.
Sophocles.
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr