Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] OCaml & XP, OCaml & CDK
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Nikolaj Bjorner <nikolaj@x...>
Subject: [Caml-list] OCaml & XP, OCaml & CDK
It was not clear to me which e-mail is the most appropriate for
the notes below, so I decided to let everyone share the joy.

Here are some notes on installing OCaml 3.04 under Windows XP:

Installing OCaml on Windows
and Setting environment:
Things did not work right away. Here is what I had to do

1. Right click on My Computer
2. Choose 'Advanced'
3. Choose 'Environment' variables
4. Add C:\Progra~1\Ocaml\bin to PATH
5. Add OCAMLLIB and CAMLP4LIB (and CAMLLIB, OCAMLP4LIB for the paranoid).

Using quoted paths, 
such as "C:\Program Files\Ocaml\lib"; seems not to work with Cygwin.

Getting VC++ to work
cl (the non-visual part of VC++)
complains that mspdb60.dll could not be found.
It appears to have been misplaced in Common\MSDev98\Bin
instead of VC98\Bin.

This problem is documented and trouble shooting is available at:

Include paths did not work. 
Editing the and replacing /I$(OCAMLLIB) by 
/I "C:\Program Files\Ocaml\lib" 
/I "C:\Program Files\Microsoft Visual Studio\VC98\Include" 
did the trick.

The link to the assembler from the README was out-dated (a number
of other links are broken from the ocaml sites).
Instead Google got me to masm32:
A small 5.9 MB download, followed by install and the above PATH

The Makefile is unix centric (uses gcc, which may come with 
cygwin, but ...).

Is this missing under windows?
My Linux installation has it, my XP does not.

Here are some more general notes

The makefile from
should be updated for 3.04, in particular include the relevant
macros for labltk, as described in the manual.

The hump
-------- seems down quite often, for example April 6'th.

Several more features from the Hump 
can be added to CDK, such that for example cryptokit 
uses zlib from CDK and does not define it on its own.

Libraries that appear to be missing:

- OpenSSL, OpenSSH interface or should we just re-implement ASN1 parsers,
  Spki interface, RSA crypto, SSL 2.0, 3.0, and TLS? OpenSSL also
  includes the usual block ciphers and hash algorithms.
- Mime tools

Are there any organized more extensive wish-lists for the CDK?


Nikolaj S. Bjorner

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: