From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id CAA31034; Tue, 26 Aug 2003 02:38:53 +0200 (MET DST)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id CAA24650 for <caml-list@pauillac.inria.fr>; Tue, 26 Aug 2003 02:38:52 +0200 (MET DST)
Received: from proradius03 (m698e36d0.tmodns.net [208.54.142.105])
	by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h7Q0coT20514
	for <caml-list@inria.fr>; Tue, 26 Aug 2003 02:38:51 +0200 (MET DST)
Received: from respighi.local. ([10.252.13.159])
	by proradius03 (8.11.6+Sun/8.11.6) with ESMTP id h7Q0Q7m19585
	for <caml-list@inria.fr>; Mon, 25 Aug 2003 17:26:08 -0700 (PDT)
Date: Mon, 25 Aug 2003 17:40:24 -0700
Mime-Version: 1.0 (Apple Message framework v543)
Content-Type: text/plain; charset=US-ASCII; format=flowed
Subject: [Caml-list] OCamlMakefile mly/mll interdependency
From: Jeff Henrikson <jehenrik@yahoo.com>
To: caml-list@inria.fr
Content-Transfer-Encoding: 7bit
Message-Id: <E1442CE0-D75D-11D7-A290-00039375801A@yahoo.com>
X-Mailer: Apple Mail (2.543)
X-Loop: caml-list@inria.fr
X-Spam: no; 0.00; henrikson:01 jehenrik:01 frontc:01 ocamlc:01 mli:01 ocamlc:01 mli:01 frontc:01 3.06:01 -include:01 transitions:01 henrikson:01 cmo:01 cmo:01 ocaml:01 
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk


To help me with the aforementioned release, anybody want to help me 
figure out why my OCamlMakefile isn't doing well on compling frontc?  
No ordering of the source files seems to work:


> ocamlc -c cabs.mli
> ocamlc -c cabs.ml
> ocamlc -c cparser.mli
> ocamlc -c clexer.ml
> File "clexer.mll", line 378, characters 1-16:
> Warning: this expression should have type unit.
> ocamlc -c cparser.ml
> ocamlc -c frontc.mli
> ocamlc -c frontc.ml
> ocamlc -c cprint.mli
> ocamlc -c cprint.ml
> ocamlc -a             \
>                           -o frontc.cma  cabs.cmo cparser.cmo 
> clexer.cmo frontc.cmo cprint.cmo


However, when I run a toplevel


> bash on ttyp4, ~/src/forklift/frontc$ ocaml
>         Objective Caml version 3.06
>
> # #load "frontc.cma";;
> Reference to undefined global `Clexer'
> #


I can work around by shelling this:


> ocamlc -a                                       -o frontc.cma  
> cabs.cmo clexer.cmo cparser.cmo frontc.cmo cprint.cmo


But if I try to correct this in the Makefile:


> OCAMLMAKEFILE = OCamlMakefile
>
> SOURCES =  cabs.ml clexer.mll cparser.mly frontc.ml cprint.ml cabs.mli 
> cprint.m\
> li frontc.mli
> RESULT = frontc
> all: byte-code-library
>
> -include $(OCAMLMAKEFILE)


Then it causes the build to break:


> bash on ttyp4, ~/src/forklift/frontc$ make
> ocamllex clexer.mll
> 125 states, 1674 transitions, table size 7446 bytes
> ocamlyacc  cparser.mly
> making ._bcdi/cparser.di from cparser.mli
> making ._bcdi/frontc.di from frontc.mli
> making ._bcdi/cprint.di from cprint.mli
> making ._bcdi/cabs.di from cabs.mli
> making ._d/cparser.d from cparser.ml
> making ._d/clexer.d from clexer.ml
> making ._d/cprint.d from cprint.ml
> making ._d/frontc.d from frontc.ml
> making ._d/cabs.d from cabs.ml
> ocamlc -c cabs.mli
> ocamlc -c cabs.ml
> ocamlc -c clexer.ml
> File "clexer.mll", line 22, characters 0-12:
> Unbound module Cparser
> make[1]: *** [clexer.cmi] Error 2
> make: *** [byte-code-library] Error 2


Thanks for any help,


Jeff Henrikson

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners