caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Markus Mottl <markus@mail4.ai.univie.ac.at>
To: Michael Leary <leary@nwlink.com>
Cc: caml <caml-list@inria.fr>
Subject: Re: [Caml-list] unbound value Parser.main?
Date: Fri, 31 Aug 2001 11:42:47 +0200	[thread overview]
Message-ID: <20010831114247.A24478@chopin.ai.univie.ac.at> (raw)
In-Reply-To: <20010830191958.B32310@ip178.usw22.rb1.bel.nwlink.com>; from leary@nwlink.com on Thu, Aug 30, 2001 at 19:19:58 -0700

On Thu, 30 Aug 2001, Michael Leary wrote:
> doh!  the OcamlMakefile... is picky about names.
> 
> I've got it like this now:
> 
> SOURCES = lexer.mll parser.mly fbot.ml 
> RESULT = fbot
> LIBS=str

Simple answer: you have to put the files in the Makefile into the right
order. Since the generated module 'Lexer' depends on 'Parser' and module
'Fbot' on both you should write:

  SOURCES = parser.mly lexer.mll fbot.ml 

This should get rid of the problem. (In short: people have to
topologically sort the files according to their dependencies and sort
them totally wrt. their linking order).

Because the order of the modules also plays a role during linking (and
linking order matters, too, for side-effects!), there doesn't seem to
be any alternative to specifying the order manually in the general case.

Making files compile and link correctly by taking into account the
dependies only would make things much more complicated without really
solving the problem. It only gives the user the false sense that order
doesn't matter.

Regards,
Markus Mottl

-- 
Markus Mottl                                             markus@oefai.at
Austrian Research Institute
for Artificial Intelligence                  http://www.oefai.at/~markus
-------------------
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


  parent reply	other threads:[~2001-08-31  9:42 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-08-31  1:46 Michael Leary
2001-08-31  2:19 ` Michael Leary
2001-08-31  2:30   ` Michael Leary
2001-08-31  2:35   ` Patrick M Doane
2001-08-31  9:42   ` Markus Mottl [this message]
2001-08-31 15:47     ` Michael Leary
2001-08-31 16:01       ` Patrick M Doane

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=20010831114247.A24478@chopin.ai.univie.ac.at \
    --to=markus@mail4.ai.univie.ac.at \
    --cc=caml-list@inria.fr \
    --cc=leary@nwlink.com \
    /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;
as well as URLs for NNTP newsgroup(s).