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 RAA03303; Fri, 14 May 2004 17:15:25 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA02723 for ; Fri, 14 May 2004 17:15:24 +0200 (MET DST) Received: from mailserver.di.unipi.it (apis.di.unipi.it [131.114.3.6]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i4EFFNSH011656 for ; Fri, 14 May 2004 17:15:23 +0200 Organization: Dipartimento di Informatica Received: from strudel.di.unipi.it (strudel [131.114.3.156]) by mailserver.di.unipi.it (8.11.6/8.11.6) with ESMTP id i4EFFMq15963 for ; Fri, 14 May 2004 17:15:22 +0200 Received: from strudel.di.unipi.it (localhost.localdomain [127.0.0.1]) by strudel.di.unipi.it (8.12.8/8.12.8) with ESMTP id i4EFFJrr019048 for ; Fri, 14 May 2004 17:15:19 +0200 Received: from localhost (trento@localhost) by strudel.di.unipi.it (8.12.8/8.12.8/Submit) with ESMTP id i4EFFIKO019044 for ; Fri, 14 May 2004 17:15:19 +0200 X-Authentication-Warning: strudel.di.unipi.it: trento owned process doing -bs Date: Fri, 14 May 2004 17:15:18 +0200 (CEST) From: Claudio Trento To: caml-list@inria.fr Subject: [Caml-list] Gmp module Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-MailScanner-Information: Please contact the ISP for more information X-MailScanner: Found to be clean X-MailScanner-SpamCheck: non spam, SpamAssassin (punteggio=-4.864, necessario 3, AWL 0.04, BAYES_00 -4.90) X-Miltered: at concorde with ID 40A4E28B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; trento:99 trento:99 gmp:01 usr:01 gmp:01 ocaml:01 lib:01 unbound:02 module:03 module:03 cma:03 cma:03 library:03 installed:04 claudio:07 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hello, I've installed in usr/lib/ocaml/gmp dir the gmp library on my Pc, I've added "open Gmp" in .ml file and I've inclused gmp.cma (gmp/gmp.cma) file within commpilation line but I've the same error at the line of code "open Gmp": Unbound module Gmp Please, tell me why? Thanks, Claudio ------------------- 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