beta-test of OCaml 3.10.0: compiling on Windows, trying the new Camlp4

beta-test of OCaml 3.10.0: compiling on Windows, trying the new Camlp4

[Matthieu Wipliez]

[-- Attachment #1: Type: text/plain, Size: 2630 bytes --]

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 installed 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 Studio 8\Common7\IDE" to the path
3) 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).
4) the compiler needs the INCLUDE variable to be defined with the MSVC include 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 preprocess 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 (* <<<< 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écouvrez une nouvelle façon d'obtenir des réponses à toutes vos questions ! 
Profitez des connaissances, des opinions et des expériences des internautes sur Yahoo! Questions/Réponses 
http://fr.answers.yahoo.com

[-- Attachment #2: Type: text/html, Size: 3055 bytes --]

Re: [Caml-list] beta-test of OCaml 3.10.0: compiling on Windows, trying the new Camlp4

[Nicolas Pouillard]

On 3/23/07, Matthieu Wipliez <mwipliez@yahoo.fr> wrote:
>
> Hello,
Hello,

[...]

>
> 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 ?

If you want to use the original syntax, yes.

> Anyway, here's what I obtain:
>   - in a class, "method private virtual" is not accepted anymore, the order
> has to be "method virtual private".

It was a bug in the new camlp4 (fixed in CVS).

>   - assert MySet.is_empty set; is not accepted anymore either, I have to add
> brackets: assert (MySet.is_empty set);

Assuming you want the original syntax, then it was a bug to accept it
since ocamlc also requires parentheses.

>   - compiling a file containing this kind of comment (* <<<< COMMENT *)
> fails with "Quotation not terminated".

That's not a bug that's a feature like strings, quotations are read by
the lexer.
However if you don't use quotation in your source file you can give
the  -no_quot option to camlp4.

>   - in a .mli, declaring an empty module ABC, with "module type ABC" does
> not work (but does without preprocessing).

I missed that feature (now fixed in CVS too).

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

Yes, try the CVS (-r release310).

The new changes will be propagated in a few hours.

-- 
Nicolas Pouillard