From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jean.krivine@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled 
	version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id 1830CBB84
	for <caml-list@yquem.inria.fr>; Fri,  4 Jul 2008 17:10:34 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhcFAK/abUhKfS4fYWdsb2JhbACSEjkaBByXWoV9
X-IronPort-AV: E=Sophos;i="4.30,302,1212357600"; 
   d="scan'208";a="27025160"
Received: from yw-out-2324.google.com ([74.125.46.31])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 04 Jul 2008 17:10:22 +0200
Received: by yw-out-2324.google.com with SMTP id 5so517492ywb.3
        for <caml-list@yquem.inria.fr>; Fri, 04 Jul 2008 08:10:13 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from:sender
         :to:subject:mime-version:content-type:content-transfer-encoding
         :content-disposition:x-google-sender-auth;
        bh=LH6JE3aWuWMFNSbyAeOUasWZCpDRiinkpNVTj61IYis=;
        b=fmo7+Cqvxdti82XD93DXaoTNkDq7NKezXGCbBnSTL/rYjc3vZmhcFmrqDj66bhU/tt
         qU0iuuA2z4WCePDYAjg1qxwRgbWxsg3XrugHIvHt/jz1fTvZ8kkkecHqSgiCk6bU1U4v
         WEKRdRsI7NGQoRwrhYDIridmkaR9HZb+J5ghI=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:sender:to:subject:mime-version:content-type
         :content-transfer-encoding:content-disposition:x-google-sender-auth;
        b=TrtAr5QVerzqg2YBlQSxwW7uWSz9Rj20cHV8ws2tn/LnhvylCwNUpiveE/r5wr+dk1
         JG410FILahaC2kzKpzqhw30EYsq8PzLa8dDRE9XYVvaBZSbnWhmW98pNcVr9/oG5AEKO
         Dnmjzw1DkbHVnKS0+W+OSORcsY6vWFhii151A=
Received: by 10.142.213.9 with SMTP id l9mr275468wfg.208.1215184212274;
        Fri, 04 Jul 2008 08:10:12 -0700 (PDT)
Received: by 10.142.186.21 with HTTP; Fri, 4 Jul 2008 08:10:12 -0700 (PDT)
Message-ID: <dc2907b70807040810s3bf93f77tdf33ccdf1c267bc2@mail.gmail.com>
Date: Fri, 4 Jul 2008 11:10:12 -0400
From: "Jean Krivine" <jean_krivine@hms.harvard.edu>
Sender: jean.krivine@gmail.com
To: caml-list@yquem.inria.fr
Subject: toplevel
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
X-Google-Sender-Auth: d453064ae376f591
X-Spam: no; 0.00; krivine:01 krivine:01 toplevel:01 toplevel:01 cmo:01 objs:01 cmo:01 makefile:01 ocamlmktop:01 mli:01 cmi:01 objs:01 ocaml:01 mli:01 cmi:01 

Hello

I am trying to make a toplevel including differnent cmo
(OBJS=./dir1/obj1.cmo ./dir2/obj2.cmo ...) contained in different
directories
(OCAMLINCLUDES= -I ./dir1 -I ./dir2 ...).
If I type make toplevel (see excerpt of my makefile below) I obtain a
toplevel that does what I want (I can load all my modules from it).
But when I try to make a toplevel (by doing make toplx) using
ocamlmktop, the toplevel I obtain doesn't know my modules...
Can anyone help me?

toplevel: $(MLI) $(CMI) $(OBJS)
	ocaml $(OCAMLINCLUDES) unix.cma nums.cma $(OBJS)

toplx: $(MLI) $(CMI) $(OBJS)
	ocamlmktop -o toplx $(OCAMLINCLUDES) -cclib -lunix -cclib -lnums
unix.cma nums.cma $(OBJS)

Thanks you!

J