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.7 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, HTML_10_20,HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id CD0E8BC69 for ; Fri, 23 Mar 2007 18:28:07 +0100 (CET) Received: from web27006.mail.ukl.yahoo.com (web27006.mail.ukl.yahoo.com [217.146.177.6]) by concorde.inria.fr (8.13.6/8.13.6) with SMTP id l2NHS6Il015250 for ; Fri, 23 Mar 2007 18:28:07 +0100 Received: (qmail 48493 invoked by uid 60001); 23 Mar 2007 17:28:05 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.fr; h=X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type:Message-ID; b=W550bgsokoBnP1FCRDzHxpIIAKkuXmYwK7UHdpxp29u0Bx84uyq9y6fNogSw4ZxaUBc+KFf66FrksAe+bQHry+hWJ9PO0NBiYqAjoBuJz0MrLAoHqH5oKf0g48drs1uCHsae1qaQzIn1aC/8DMXd49W4RJ23OVvvs4d+MysLRAQ=; X-YMail-OSG: 8yNKOhIVM1n5uizkR.dbHLE5eNn9zkaVrR6vj0aF5WK95GcvixAffLSkliCETV7odIbAEFSjRVeUmF4Z1J79aHGMXuddvNOMt9h5iq2xtQeYKgy.6QuXM1w- Received: from [193.52.94.40] by web27006.mail.ukl.yahoo.com via HTTP; Fri, 23 Mar 2007 17:28:05 GMT X-Mailer: YahooMailRC/476 YahooMailWebService/0.7.41.8 Date: Fri, 23 Mar 2007 17:28:05 +0000 (GMT) From: Matthieu Wipliez Subject: beta-test of OCaml 3.10.0: compiling on Windows, trying the new Camlp4 To: Caml List MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="0-973351483-1174670885=:47988" Message-ID: <650869.47988.qm@web27006.mail.ukl.yahoo.com> X-Miltered: at concorde with ID 46040E26.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; matthieu:01 ocaml:01 camlp:01 ocaml:01 cygwin:01 compiler:01 compiler:01 cygwin:01 platformsdk:01 lib:01 lib:01 platformsdk:01 compilation:01 ocamllib:01 cmi:01 --0-973351483-1174670885=:47988 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Hello,=0A=0AI compiled OCaml 3.10.0 on Windows XP SP2 using Cygwin and Micr= osoft Visual Studio 2005.=0ASurprisingly, this did not go as smoothly as I = thought. Hence I would like to share my experience:=0A=0A1) the directory w= here the MSVC compiler, linker, and other tools are installed must be in th= e path : C:\Program Files\Microsoft Visual Studio 8\VC\bin=0A2) some tools = (at least the compiler and linker) apparently need a DLL (mspdb80.dll), so = one has to add "C:\Program Files\Microsoft Visual Studio 8\Common7\IDE" to = the path=0A3) under Cygwin, I had a clash between the linker (link) and the= link command (link (GNU coreutils) 5.97). For everything to work, I had to= remove the link command from Cygwin (renamed the link.exe file).=0A4) the = compiler needs the INCLUDE variable to be defined with the MSVC include pat= h (as well as Tcl's, but this is specified in the doc)=0AC:\Program Files\M= icrosoft Visual Studio 8\VC\include;C:\Program Files\Microsoft Visual Studi= o 8\VC\PlatformSDK\Include;C:\Tcl\include=0A5) for the linker, the variable= is called LIB, and must contain:=0AC:\Program Files\Microsoft Visual Studi= o 8\VC\lib;C:\Program Files\Microsoft Visual Studio 8\VC\PlatformSDK\Lib;C:= \Tcl\lib=0A=0AI would suggest to update the documentation (README.win32 fil= e) by adding precisions concerning the INCLUDE, LIB and PATH variables, as = well as the "link" command problem.=0A=0AIn addition, it seems that compila= tion can fail if OCAMLLIB is defined (complains about a .cmi in $OCAMLLIB n= ot being up to date).=0A=0A=0AAfter compilation/installation, I tested this= new version, compiling with "ocamlc.opt -pp camlp4o.opt". Is it still the = right way to preprocess with Camlp4 ? Anyway, here's what I obtain:=0A - i= n a class, "method private virtual" is not accepted anymore, the order has = to be "method virtual private".=0A - assert MySet.is_empty set; is not acc= epted anymore either, I have to add brackets: assert (MySet.is_empty set);= =0A - compiling a file containing this kind of comment (* <<<< COMMENT *) = fails with "Quotation not terminated".=0A - in a .mli, declaring an empty = module ABC, with "module type ABC" does not work (but does without preproce= ssing).=0A=0AI used the version from http://caml.inria.fr/pub/distrib/ocaml= -3.10/ocaml-3.10.0+beta.tar.gz, so maybe some things have been corrected si= nce.=0A=0A=0AMatthieu=0A=0A=0A=0A=09=0A=0A=09=0A=09=09=0A__________________= _________________________________________________________ =0AD=E9couvrez un= e nouvelle fa=E7on d'obtenir des r=E9ponses =E0 toutes vos questions ! =0AP= rofitez des connaissances, des opinions et des exp=E9riences des internaute= s sur Yahoo! Questions/R=E9ponses =0Ahttp://fr.answers.yahoo.com --0-973351483-1174670885=:47988 Content-Type: text/html; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable
Hello,

I compiled OCaml 3.10.0 on Windows XP SP2 using Cygwin a= nd Microsoft Visual Studio 2005.
Surprisingly, this did not go as smooth= ly as I thought. Hence I would like to share my experience:

1) the d= irectory where the MSVC compiler, linker, and other tools are installed mus= t be in the path : C:\Program Files\Microsoft Visual Studio 8\VC\bin
2) = some tools (at least the compiler and linker) apparently need a DLL (mspdb8= 0.dll), so one has to add "C:\Program Files\Microsoft Visual Studio 8\Commo= n7\IDE" to the path
3) under Cygwin, I had a clash between the linker (l= ink) and the link command (link (GNU coreutils) 5.97). For everything to wo= rk, I had to remove the link command from Cygwin (renamed the link.exe file= ).
4) the compiler needs the INCLUDE variable to be defined with the MSVC include pa= th (as well as Tcl's, but this is specified in the doc)
C:\Program Files= \Microsoft Visual Studio 8\VC\include;C:\Program Files\Microsoft Visual Stu= dio 8\VC\PlatformSDK\Include;C:\Tcl\include
5) for the linker, the varia= ble is called LIB, and must contain:
C:\Program Files\Microsoft Visual S= tudio 8\VC\lib;C:\Program Files\Microsoft Visual Studio 8\VC\PlatformSDK\Li= b;C:\Tcl\lib

I would suggest to update the documentation (README.win= 32 file) by adding precisions concerning the INCLUDE, LIB and PATH variable= s, as well as the "link" command problem.

In addition, it seems that= compilation can fail if OCAMLLIB is defined (complains about a .cmi in $OC= AMLLIB not being up to date).


After compilation/installation, I = tested this new version, compiling with "ocamlc.opt -pp camlp4o.opt". Is it= still the right way to preprocess with Camlp4 ? Anyway, here's what I obta= in:
  - in a class, "method private virtual" is not accepted anymore, the order = has to be "method virtual private".
  - assert MySet.is_empty set; = is not accepted anymore either, I have to add brackets: assert (MySet.is_em= pty set);
  - compiling a file containing this kind of comment (* &= lt;<<< COMMENT *) fails with "Quotation not terminated".
 = - in a .mli, declaring an empty module ABC, with "module type ABC" does no= t work (but does without preprocessing).

I used the version fr= om http://caml.inria.fr/pub/distrib/ocaml-3.10/ocam= l-3.10.0+beta.tar.gz, so maybe some things have been corrected since.


Matthieu

=0A=09=09
=0AD=E9co= uvrez une nouvelle fa=E7on d'obtenir des r=E9ponses =E0 toutes vos question= s ! =0AProfitez des connaissances, des opinions et des exp=E9riences des in= ternautes sur Yahoo! Questions/R=E9ponses. --0-973351483-1174670885=:47988--