Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: steck@socs.uts.EDU.AU
Cc: caml-list@inria.fr
Subject: Re: OCaml: problems compiling
Date: Mon, 21 Jul 1997 18:02:43 +0200 (MET DST)	[thread overview]
Message-ID: <199707211602.SAA29043@pauillac.inria.fr> (raw)
In-Reply-To: <199707180021.KAA00023@seedknee.socs.uts.EDU.AU> from "Paul A. Steckler" at "Jul 18, 97 10:21:51 am"

> Frequently when compiling a file foo.ml files with ocamlopt
> on a Sun Sparc, I get a message like:
> 
> 	I/O error: foo.cmi: No such file or directory
> 
> Note that it's complaining about the .cmi file for the
> file currently being compiled, not some other module.
> 
> How can I avoid the error to begin with?

You should compile the foo.mli file before compiling the foo.ml file.
That will produce the missing foo.cmi file.

Alternatively, if you don't have an interface file foo.mli in the same
directory as foo.ml, the compiler will create foo.cmi directly from
foo.ml.

I agree that a better error message is in order.

Regards,

- Xavier Leroy





  reply	other threads:[~1997-07-22  7:20 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-07-18  0:21 Paul A. Steckler
1997-07-21 16:02 ` Xavier Leroy [this message]
1997-07-22 15:50   ` Joshua D. Guttman
1997-07-22 16:25     ` Pierre Weis

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=199707211602.SAA29043@pauillac.inria.fr \
    --to=xavier.leroy@inria.fr \
    --cc=caml-list@inria.fr \
    --cc=steck@socs.uts.EDU.AU \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox