From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 2225CBBC1 for ; Tue, 8 Apr 2008 04:02:37 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEALpu+kfAXQIn/2dsb2JhbACqaA X-IronPort-AV: E=Sophos;i="4.25,620,1199660400"; d="scan'208";a="9313018" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 08 Apr 2008 04:02:36 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m3822Y7l001854 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 8 Apr 2008 04:02:36 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEALpu+keCNhAB/2dsb2JhbACqaA X-IronPort-AV: E=Sophos;i="4.25,620,1199660400"; d="scan'208";a="11187951" Received: from kurims.kurims.kyoto-u.ac.jp ([130.54.16.1]) by mail3-smtp-sop.national.inria.fr with ESMTP; 08 Apr 2008 04:02:32 +0200 Received: from localhost (orion [130.54.16.5]) by kurims.kurims.kyoto-u.ac.jp (8.13.8/8.13.8) with ESMTP id m3822Qg9010715; Tue, 8 Apr 2008 11:02:26 +0900 (JST) Date: Tue, 08 Apr 2008 11:02:16 +0900 (JST) Message-Id: <20080408.110216.119355751.garrigue@math.nagoya-u.ac.jp> To: alaincoste@club-internet.fr Cc: caml-list@inria.fr Subject: Re: [Caml-list] =?iso-8859-1?Q?probl=E8me_syst=E8me?= avec labltk From: Jacques Garrigue In-Reply-To: <00da01c898ae$dbf6dfa0$6401a8c0@Ganymede> References: <00da01c898ae$dbf6dfa0$6401a8c0@Ganymede> X-Mailer: Mew version 4.2 on Emacs 22.1 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Miltered: at concorde with ID 47FAD23A.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; labltk:01 labltk:01 ocaml-:01 mingw:01 lib:01 stublibs:01 ocaml:01 lib:01 stublibs:01 stubs:01 ocaml:01 coste:98 caml-list:01 alain:01 dlls:01 From: "Alain Coste" > Bonjour, > J'ai un probl=E8me syst=E8me lors de l'utilisation de LablTk. > Syst=E8me d'exploitation: Windows XP > Logiciels install=E9s : = > OCaml-3.10.2, native MinGW > Tcl et Tk 8.4 > Les fichiers tcl84.dll et tk84.dll ont =E9t=E9 copi=E9s dans le r=E9p= ertoire lib/stublibs de OCaml Il ne faut pas les copier, mais ajouter le r=E9pertoire o=F9 il sont =E0= votre path. En effet, labltk ne d=E9pend pas uniquement de ces fichiers= , mais aussi de la biblioth=E8que qui les accompagne, et qui ne sera trouv=E9e que si ils sont au bon endroit. Ind=E9pendemment de de ce probl=E8me, il ne faut jamais mettre des dlls= annexes dans le r=E9pertoire lib\stublibs, car il n'est pas cherch=E9 p= ar le syst=E8me d'exploitation. Il est reserv=E9 aux stubs, directement charg=E9s par ocaml. Jacques Garrigue