caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Xavier Leroy <xavier.leroy@inria.fr>
To: Nikolaj Bjorner <nikolaj@xdegrees.net>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] OCaml & XP, OCaml & CDK
Date: Mon, 15 Apr 2002 11:08:21 +0200	[thread overview]
Message-ID: <20020415110820.A4799@pauillac.inria.fr> (raw)
In-Reply-To: <200204080137.g381b1s07602@kodo.xdegrees.net>; from nikolaj@xdegrees.net on Sun, Apr 07, 2002 at 06:37:01PM -0700

Hi Nikolaj,

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

Thanks for sharing your experience, I'm sure some readers of this list
will find it useful.

> Installing OCaml on Windows and Setting environment [variables]

I hope this mess will be fixed by the next release.  The installer we
use is unable to position environment variables automatically (like it
should).  I'm working on a registry-based hack to work around this.

> camlopt
> -------
> 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: http://www.movsd.com/masm.htm
> A small 5.9 MB download, followed by install and the above PATH
> exercise.

I wasn't aware of this reimplementation of Microsoft's MASM.  Good to
know.  Microsoft itself is distributing MASM freely now, but well
hidden in various huge downloads...

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

In 3.04, ocamlmklib is available only for Unix, because that's where
it was most needed (to hide differences in shared lib building across
Unix platforms).  I agree a Windows version would be nice, to help
writing portable Unix/Windows makefiles.

> The hump
> --------
> caml.inria.fr seems down quite often, for example April 6'th.

Our upstream provider experienced major network problems at the
beginning of this month, culminating with a full-day outage on April
9th.  Sorry about that.

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

Yes, cryptokit could have used either zlib or camlzip to implement
compression, but I'm wary of cross-library dependencies and wanted
cryptokit to be usable on its own (with a stock OCaml installation).

> Libraries that appear to be missing:
> 
> - XML SOAP 
> - OpenSSL, OpenSSH interface or should we just re-implement ASN1 parsers,
>   Spki interface, RSA crypto, SSL 2.0, 3.0, and TLS?

Sounds like fun :-)  I agree it's more reasonable to bind to OpenSSL.
François Rouaix tried that a long time ago, before OpenSSL was called
OpenSSL, and at that time the documentation of that library was too
incomplete.  Things are probably better these days.

> - SMTP
> - Mime tools
> - XML SAX

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

I was wondering whether the HumpS should not include a "project
proposals" section, just to give ideas to Caml developers that have
too much free time on their hands :-)

- Xavier Leroy
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


  reply	other threads:[~2002-04-15  9:08 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-04-08  1:37 Nikolaj Bjorner
2002-04-15  9:08 ` Xavier Leroy [this message]
2002-04-15 11:07   ` Jérôme Marant
2002-04-15 11:25     ` Project proposals site (was: Re: [Caml-list] OCaml & XP, OCaml & CDK) Michel Schinz

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20020415110820.A4799@pauillac.inria.fr \
    --to=xavier.leroy@inria.fr \
    --cc=caml-list@inria.fr \
    --cc=nikolaj@xdegrees.net \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).