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.0 required=5.0 tests=HTML_MESSAGE autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 4399ABBC1 for ; Mon, 7 Apr 2008 14:57:00 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ag8CAN62+UfCnmjefGdsb2JhbAATgi4zYoRUgWgLhzgBAQsFAgcHFjMBjyiIQQ X-IronPort-AV: E=Sophos;i="4.25,617,1199660400"; d="scan'208,217";a="11164843" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 07 Apr 2008 14:57:00 +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 m37CuwFS007451 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 7 Apr 2008 14:56:59 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ag8CAN62+UfCnmjefGdsb2JhbAATgi4zYoRUgWgLhzgBAQsFAgcHFjMBjyiIQQ X-IronPort-AV: E=Sophos;i="4.25,617,1199660400"; d="scan'208,217";a="11164841" Received: from relay-dm.club-internet.fr ([194.158.104.222]) by mail3-smtp-sop.national.inria.fr with ESMTP; 07 Apr 2008 14:56:59 +0200 Received: from Ganymede (df01t2-212-194-224-63.d4.club-internet.fr [212.194.224.63]) by relay-dm.club-internet.fr (Postfix) with SMTP id 041F02561B for ; Mon, 7 Apr 2008 14:56:58 +0200 (CEST) Message-ID: <00da01c898ae$dbf6dfa0$6401a8c0@Ganymede> From: "Alain Coste" To: Subject: =?iso-8859-1?Q?probl=E8me_syst=E8me_avec_labltk?= Date: Mon, 7 Apr 2008 14:56:55 +0200 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_00D7_01C898BF.9F205190" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2900.3138 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.3198 X-Miltered: at concorde with ID 47FA1A1A.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 ocaml:01 lib:01 stublibs:01 compilateur:01 ocamlc:01 compilation:01 parametre:01 ocaml-:01 This is a multi-part message in MIME format. ------=_NextPart_000_00D7_01C898BF.9F205190 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Bonjour, J'ai un probl=E8me syst=E8me lors de l'utilisation de LablTk. Syst=E8me d'exploitation: Windows XP Logiciels install=E9s :=20 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=E9pertoire lib/stublibs de OCaml Avec le top-level ocaml, la directive #load "labltk.cma" (apr=E8s = #dircectory "+labltk") produit le message d'erreur suivant: Cannot load required shared library dlllabltk. Reason: D:\ObjectiveCaml\lib\stublibs\dlllabltk.dll: %1 n'est pas une = application Win32 valide. Avec la compilateur batch ocamlc, la compilation de mon programme = utilisant labltk r=E9ussit, mais j'ai le message d'erreur ci-dessus lors = du lancement de l'ex=E9cutable. J'ai essay=E9 la version native MS de OCaml : m=EAme chose. Je = soup=E7onne un probl=E8me de non expansion de param=E8tre du shell =E0 = cause du %1, mais je n'ai aucun acc=E8s =E0 ce qui se passe lorsque = dlllabltk.dll tente de charger d'autres dll. J'ai soumis mon pb =E0 fr.comp.lang.caml et =E0 ocaml_beginners, mais il = n'y a eu aucune r=E9action depuis une dizaine de jours. D'avance merci. Alain Coste ------=_NextPart_000_00D7_01C898BF.9F205190 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
Bonjour,
J'ai un probl=E8me syst=E8me lors de = l'utilisation de=20 LablTk.
Syst=E8me d'exploitation: Windows = XP
Logiciels install=E9s :
     OCaml-3.10.2, = native=20 MinGW
    Tcl et Tk = 8.4
Les fichiers tcl84.dll et tk84.dll ont = =E9t=E9 copi=E9s=20 dans le r=E9pertoire lib/stublibs de OCaml
 
Avec le top-level ocaml, la directive #load "labltk.cma"  (apr=E8s #dircectory = "+labltk")=20 produit le message d'erreur suivant:
Cannot load required shared library=20 dlllabltk.
Reason: D:\ObjectiveCaml\lib\stublibs\dlllabltk.dll: %1 = n'est pas=20 une application Win32 valide.
 
Avec la compilateur batch ocamlc, la = compilation de=20 mon programme utilisant labltk r=E9ussit, mais j'ai le message d'erreur = ci-dessus=20 lors du lancement de l'ex=E9cutable.
 
J'ai essay=E9 la version native MS de = OCaml : m=EAme=20 chose. Je soup=E7onne un probl=E8me de non expansion de param=E8tre du = shell =E0 cause=20 du %1, mais je n'ai aucun acc=E8s =E0 ce qui se passe lorsque = dlllabltk.dll tente de=20 charger d'autres dll.
 
J'ai soumis mon pb =E0 = fr.comp.lang.caml et =E0=20 ocaml_beginners, mais il n'y a eu aucune r=E9action depuis une dizaine = de=20 jours.
D'avance merci.
Alain Coste
------=_NextPart_000_00D7_01C898BF.9F205190--