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=1.0 required=5.0 tests=AWL,HTML_MESSAGE,SPF_NEUTRAL 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 90462BC69 for ; Fri, 23 Mar 2007 18:44:20 +0100 (CET) Received: from parmail01.sgcib.com (parmail01.sgcib.com [207.45.250.33]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l2NHiHJj018511 for ; Fri, 23 Mar 2007 18:44:20 +0100 X-IronPort-AV: i="4.14,320,1170630000"; d="scan'208,217"; a="195125600:sNHT63946368" Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C76D72.DF5D2181" X-MimeOLE: Produced By Microsoft Exchange V6.5.7226.0 Subject: RE: [Caml-list] beta-test of OCaml 3.10.0: compiling on Windows,trying the new Camlp4 Date: Fri, 23 Mar 2007 18:44:13 +0100 Message-ID: <7625D6A1880B4C4DA11D2EBB8B43D2B901746EAC@FRDEF-EXMB03.europe.am.socgen> X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: [Caml-list] beta-test of OCaml 3.10.0: compiling on Windows,trying the new Camlp4 Thread-Index: Acdtcdy50JIztOX5ScqvBPGv7c8AXgAALt4A From: "EL CHAAR Rabih SGAM/AI/SAM" To: "Matthieu Wipliez" , "Caml List" X-OriginalArrivalTime: 23 Mar 2007 17:44:15.0492 (UTC) FILETIME=[DFFC9440:01C76D72] X-NAI-Spam-Score: -1.2 X-j-chkmail-Score: MSGID : 460411F1.000 on concorde : j-chkmail score : XX : 5/20 0 0.000 -> 2 X-Miltered: at concorde with ID 460411F1.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 camlp:01 cygwin:01 compilation:01 matthieu:01 ocaml:01 camlp:01 cygwin:01 compiler:01 compiler:01 platformsdk:01 lib:01 lib:01 platformsdk:01 compilation:01 This is a multi-part message in MIME format. ------_=_NextPart_001_01C76D72.DF5D2181 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="iso-8859-1" Just a comment concerning the microsoft build. There is a batch called vcvars32.bat which handles setting correctly the VC= 2005 environment. Calling it (in cygwin.bat) should handle all your problems for compilation. =20 For the rest of your questions, I can't be of any assistance. =20 Sincerely, Rabih =20 ________________________________ De : caml-list-bounces@yquem.inria.fr [mailto:caml-list-bounces@yquem.inria= .fr] De la part de Matthieu Wipliez Envoy=E9 : vendredi 23 mars 2007 18:28 =C0 : Caml List Objet : [Caml-list] beta-test of OCaml 3.10.0: compiling on Windows,trying = the new Camlp4 =20 Hello, I compiled OCaml 3.10.0 on Windows XP SP2 using Cygwin and Microsoft Visual= Studio 2005. Surprisingly, this did not go as smoothly as I thought. Hence I would like = to share my experience: 1) the directory where the MSVC compiler, linker, and other tools are insta= lled must 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 (msp= db80.dll), so one has to add "C:\Program Files\Microsoft Visual Studio 8\Co= mmon7\IDE" to the path 3) under Cygwin, I had a clash between the linker (link) and the link comma= nd (link (GNU coreutils) 5.97). For everything to work, 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 incl= ude path (as well as Tcl's, but this is specified in the doc) C:\Program Files\Microsoft Visual Studio 8\VC\include;C:\Program Files\Micr= osoft Visual Studio 8\VC\PlatformSDK\Include;C:\Tcl\include 5) for the linker, the variable is called LIB, and must contain: C:\Program Files\Microsoft Visual Studio 8\VC\lib;C:\Program Files\Microsof= t Visual Studio 8\VC\PlatformSDK\Lib;C:\Tcl\lib I would suggest to update the documentation (README.win32 file) by adding p= recisions concerning the INCLUDE, LIB and PATH variables, as well as the "l= ink" command problem. In addition, it seems that compilation can fail if OCAMLLIB is defined (com= plains about a .cmi in $OCAMLLIB 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 C= amlp4 ? Anyway, here's what I obtain: - 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 ad= d brackets: assert (MySet.is_empty set); - compiling a file containing this kind of comment (* <<<< COMMENT *) fai= ls with "Quotation not terminated". - in a .mli, declaring an empty module ABC, with "module type ABC" does n= ot work (but does without preprocessing). I 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 since. Matthieu =20 ________________________________ D=E9couvrez une nouvelle fa=E7on d'obtenir des r=E9ponses =E0 toutes vos qu= estions ! Profitez des connaissances, des opinions et des exp=E9riences des= internautes sur Yahoo! Questions/R=E9ponses . Ce message et toutes les pieces jointes (ci-apres le "message") sont confid= entiels et etablis a l'intention exclusive de ses destinataires.=20 Toute utilisation ou diffusion non autorisee est interdite.=20 Tout message electronique est susceptible d'alteration.=20 Societe Generale Asset Management et ses filiales declinent toute responsab= ilite au titre de ce message s'il a ete altere, deforme ou falsifie.=20 =20 Decouvrez l'offre et les services de Societe Generale Asset Management sur = le site www.sgam.fr=20 =20 ********=20 =20 This message and any attachments (the "message") are confidential and inten= ded solely for the addressees.=20 Any unauthorised use or dissemination is prohibited.=20 E-mails are susceptible to alteration.=20 Neither Societe Generale Asset Management nor any of its subsidiaries or af= filiates shall be liable for the message if altered, changed or falsified.=20 =20 Find out more about Societe Generale Asset Management's proposal on www.sga= m=2Ecom ------_=_NextPart_001_01C76D72.DF5D2181 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset="iso-8859-1"

Just a comment conc= erning the microsoft build.

There is a batch ca= lled vcvars32.bat which handles setting correctly the VC2005 environment.

Calling it (in cygwin.bat) should handle all your problems for compilation.

 

For the rest of your questions, I can’t be of any assistance.

 

Sincerely,

Rabih

 

De : caml-list-bounces@yquem.inria.fr [mailto:caml-list-bounces@yquem.inria.fr] = De la part de Matthieu Wipliez
Envoy=E9 : vendredi 23 = mars 2007 18:28
=C0 : Caml List
Objet : [Caml-list] bet= a-test of OCaml 3.10.0: compiling on Windows,trying the new Camlp4

 

Hello,

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

1) the directory where the MSVC compiler, linker, and other tools are insta= lled must 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 (mspdb80.dll), so one has to add "C:\Program Files\Microsoft Visual St= udio 8\Common7\IDE" to the path
3) under Cygwin, I had a clash between the linker (link) and the link comma= nd (link (GNU coreutils) 5.97). For everything to work, I had to remove the li= nk command from Cygwin (renamed the link.exe file).
4) the compiler needs the INCLUDE variable to be defined with the MSVC incl= ude path (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 Studio 8\VC\PlatformSDK\Include;C:\Tcl\include
5) for the linker, the variable is called LIB, and must contain:
C:\Program Files\Microsoft Visual Studio 8\VC\lib;C:\Program Files\Microsoft Visual Studio 8\VC\PlatformSDK\Lib;C:\Tcl\lib

I would suggest to update the documentation (README.win32 file) by adding precisions concerning the INCLUDE, LIB and PATH variables, as well as the "link" command problem.

In addition, it seems that compilation can fail if OCAMLLIB is defined (complains about a .cmi in $OCAMLLIB 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 prepro= cess with Camlp4 ? Anyway, here's what I obtain:
  - 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_empty set);
  - compiling a file containing this kind of comment (* <<<&l= t; COMMENT *) fails with "Quotation not terminated".
  - in a .mli, declaring an empty module ABC, with "module type ABC" does not work (but does without preprocessing).

I 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 since.


Matthieu

 

D=E9couvrez une nouvelle fa=E7on d'obtenir des r=E9ponses =E0 toute= s vos questions ! Profitez des connaissances, des opinions et des exp=E9riences d= es internautes sur Yah= oo! Questions/R=E9ponses.

Ce message et toutes les pieces jointes (ci-apres le "message") sont c=
onfidentiels et etablis a l'intention exclusive de ses destinataires.=20
Toute utilisation ou diffusion non autorisee est interdite.=20
Tout message electronique est susceptible d'alteration.=20
Societe Generale Asset Management et ses filiales declinent toute responsab=
ilite au titre de ce message s'il a ete altere, deforme ou falsifie.=20
 =20
Decouvrez l'offre et les services de Societe Generale Asset Management sur =
le site www.sgam.fr=20
 =20
                                ********=20
 =20
This message and any attachments (the "message") are confidential and inten=
ded solely for the addressees.=20
Any unauthorised use or dissemination is prohibited.=20
E-mails are susceptible to alteration.=20
Neither Societe Generale Asset Management nor any of its subsidiaries or af=
filiates shall be liable for the message if altered, changed or falsified.=20
=20
Find out more about Societe Generale Asset Management's proposal on www.sga=
m=2Ecom
------_=_NextPart_001_01C76D72.DF5D2181--