[Caml-list] The Makefile

[Caml-list] The Makefile

[Rakotomandimby Mihamina]

Salut tout le monde ,
Je suis Etudiant a l'Université d'Orléans
et j'utilise Linux Slackware .

J'ai plus ou moins parcouru le Makefile a la racine des sources de Ocaml 
3.07pl2 dans le but de faire un package ocaml pour la slackware .

Pour faire un package il me faudrai trouver le moyen de faire tout comme si 
l'intallation devra se faire dans "/usr" et a l'installation ( copie des 
fichiers ) modifier ce parametre en le remplaçant 
par /tmp/ocaml-package/usr,  /tmp/ocaml-package/ qui contiendra le package .

Mon souci est que la cible install du Makefile ne permet pas vraiemnt en tant 
que telle de faire cette manipulation. Du moins je ne vois pas, a mon niveau 
de connaissance comment faire. J'avoue etre un tres simple étudiant de 2 eme 
Année en MIAS .
Ma proposition serai d'utiliser la variable PREFIX pour les copies vers les 
repertoires cibles cela permettrai ainsi de faire le moins de manipulation.

J'ignore si le Makefile est généré automatiquement et si personne n'intervient 
plus dessus apres.
Voici l'ancienne cible install :
http://stko.dyndns.info/scripts/caml0
Voici le Makefile que je propose ( modification que j'ai fait manuellement ) :
http://stko.dyndns.info/scripts/caml1

ainsi , je fais ceci pour faire le package slackware :
./configure -prefix /usr
make world
make bootstrap
make opt 
make opt.opt
make PREFIX= /tmp/ocaml-package/usr install

et ensuite je constitue mon package en me plaçant 
dans  /tmp/ocaml-package/usr .

Qu'est ce que vous en pensez ? je pense que cela facilite la fourniture de 
package , meme RPM et deb parceque a mon avis le fait de pouvoir specifier un 
repertoire de destination specifique aide beaucoup .

Si vous souhaitez que je fasse les modification dans la documentation aussi , 
je le ferai volontiers mais il faudrai avant que je sache si vous validez ma 
proposition ...
Merci d'avance .

-- 
Rakotomandimby Mihamina Andrianifaharana
Tel : +33 2 38 76 43 65
http://stko.dyndns.info/site_principal/Members/mihamina

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

Re: [Caml-list] The Makefile

[Remi Vanicat]

Rakotomandimby Mihamina <mrakotom@free.fr> writes:

> Salut tout le monde ,
> Je suis Etudiant a l'Université d'Orléans
> et j'utilise Linux Slackware .
>
> J'ai plus ou moins parcouru le Makefile a la racine des sources de Ocaml 
> 3.07pl2 dans le but de faire un package ocaml pour la slackware .
>
> Pour faire un package il me faudrai trouver le moyen de faire tout comme si 
> l'intallation devra se faire dans "/usr" et a l'installation ( copie des 
> fichiers ) modifier ce parametre en le remplaçant 
> par /tmp/ocaml-package/usr,  /tmp/ocaml-package/ qui contiendra le package .

Un simple "make PREFIX=/tmp/ocaml-package/ install" le fait. En cas de
doute, ne pas hésiter a utiliser l'option -n de make, et à faire des
tests, en effet si vous n'êtes pas root, l'installation ne se fera
pas, et donc pas de problème.

Sinon, il me semble que le Makefile n'est pas auto-généré mais que
config/Makefile l'est.

-- 
Rémi Vanicat

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

Re: [Caml-list] The Makefile

[Rakotomandimby Mihamina]

On Monday 01 March 2004 15:24, you wrote:
> Salut tout le monde ,
Encore moi 

J'ai deja trouvé des failles a mon truc ...
Dans la mesure ou BINDIR=$(PREFIX)/bin 
si on override PREFIX , on modifie aussi BINDIR (resp LIBDIR etc etc )

Il vaut donc mieux introduire une varible DESTDIR

Et voici le resultat 
http://stko.dyndns.info/scripts/caml2

Mais le souci c'est que du coup il faut tout modifier et ajouter un DESTDIR 
dans les "sous-Makefile" ( dans les sous repertoires ... )

Ca va etre chaud ça ... surtout a la main ...

-- 
Rakotomandimby Mihamina Andrianifaharana
Tel : +33 2 38 76 43 65
http://stko.dyndns.info/site_principal/Members/mihamina

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

Re: [Caml-list] The Makefile

[Rakotomandimby Mihamina]

On Monday 01 March 2004 17:04, you wrote:
> Un simple "make PREFIX=/tmp/ocaml-package/ install" le fait.

-- 
Rakotomandimby Mihamina Andrianifaharana
Tel : +33 2 38 76 43 65
http://stko.dyndns.info/site_principal/Members/mihamina

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

[Caml-list] use of abstract type "inet_addr"

[Vasili Galchin]

Hello,

    I am somewhat new to OCaml (although quickly
getting up to speed). I wrote some TCP/IP socket code
that I need to test. In the signature of one of my
functions I want to use type "inet_addr"
(otherlibs/unx/unix.mli); however, even after reading
the description I am a little  
unsure who to use because there is no representation
even in unix.ml. How to use?

Regards, Vasili



__________________________________
Do you Yahoo!?
Get better spam protection with Yahoo! Mail.
http://antispam.yahoo.com/tools

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

Re: [Caml-list] use of abstract type "inet_addr"

[Olivier Pérès]

Vasili Galchin wrote:
> I want to use type "inet_addr"

    Here is some code I wrote for my fourth year project (due in June 
this year, it is still far from complete). Its purpose is to allow 
simple definition and parallel execution of processes, and it has to be 
suitably easy for teaching high-level parallel programming without 
losing time on low-level concerns. Those two functions -- translated to 
English -- are among those used to connect processes using sockets (the 
actual process is hidden from the user). The first one shows how to 
build an inet_address and the second one shows how to turn it into a 
sockaddr. They're a bit rough but work for now (not released yet).

    By the way, if someone could tell me why I don't get the Not_found 
exception when a host is not found (the program waits forever), I would 
appreciate it.


(* this functions takes either an IPv4 dotted decimal address or
    a host name, and returns an inet_addr. *)
let ia_of_string s =
     try
	(* if the user gave an IP address, use it *)
	inet_addr_of_string s
     with Failure _ ->
	try
	    (* assume it is a host name and resolve it *)
	    (gethostbyname (s)).h_addr_list.(0)
	with Not_found -> failwith ("Unknown host : "^s)


(* this fetches a "network" (type provided by my library)
    that was set up on the given machine and the given port. *)
let get_network machine port =
     (* build address machine:port *)
     (* Net_remote is a constructor for type network *)
     let net = Net_remote (ADDR_INET (ia_of_string machine, port)) in
     (* ping the network to check it is actually here *)
     (* net_ping is also provided by my library *)
     if net_ping net
     then
	net
     else
	failwith "Remote network unreachable"



    Olivier Pérès.


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

Re: [Caml-list] use of abstract type "inet_addr"

[Christophe TROESTLER]

Vasili Galchin wrote:
> I want to use type "inet_addr"

The following is really well written and should answer all your
questions: http://cristal.inria.fr/~remy/poly/system/ (cf. in
particular chapter 6).

ChriS

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

Re: [Caml-list] use of abstract type "inet_addr"

[SooHyoung Oh]

It seems a good document

Anyway, do you have an english version?

---
SooHyoung Oh
----- Original Message -----
From: "Christophe TROESTLER" <debian00@tiscali.be>
To: "O'Caml Mailing List" <caml-list@inria.fr>
Sent: Wednesday, March 03, 2004 12:38 AM
Subject: Re: [Caml-list] use of abstract type "inet_addr"


> Vasili Galchin wrote:
> > I want to use type "inet_addr"
>
> The following is really well written and should answer all your
> questions: http://cristal.inria.fr/~remy/poly/system/ (cf. in
> particular chapter 6).
>
> ChriS
>
> -------------------
> 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
>

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

Re: [Caml-list] use of abstract type "inet_addr"

[Henri DF]

some time back, i had offered to the authors to translate the 
"unix programming in ocaml" book 
(http://cristal.inria.fr/~remy/poly/system/camlunix/index.html)
into english, since (i think) it would fille a gap in ocaml documentation, 
but i never got any answer from them.

henri


> 
> It seems a good document
> 
> Anyway, do you have an english version?
> 
> ---
> SooHyoung Oh
> ----- Original Message -----
> From: "Christophe TROESTLER" <debian00@tiscali.be>
> To: "O'Caml Mailing List" <caml-list@inria.fr>
> Sent: Wednesday, March 03, 2004 12:38 AM
> Subject: Re: [Caml-list] use of abstract type "inet_addr"
> 
> 
> > Vasili Galchin wrote:
> > > I want to use type "inet_addr"
> >
> > The following is really well written and should answer all your
> > questions: http://cristal.inria.fr/~remy/poly/system/ (cf. in
> > particular chapter 6).
> >
> > ChriS
> >
> > -------------------
> > 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
> >
> 
> -------------------
> 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
> 

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

[Caml-list] Test case syntax error

[Vasili Galchin]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset=us-ascii, Size: 2666 bytes --]

Hello,

   I have added some functionality to the OCaml
run-time library and I am trying to test. I wrote test
case below that refuses to complile.

1) It gets a syntax error on the ending "done" for the
"while true". I have tried trimming down and still the
syntax error. I am sorry for something so elementary.
Can anyone help?

2) I am running on Linux. I did a "man ocamlc" to see
what kind of compiler switches there are. Is there a
compiler switch that gives a more verbose/helpful
error than simply "syntax error"?

Regards, vasili

----------------------------test case-----------------

(* The multicast listener *)
let listen ((my_addr_octet:string),
(multicast_addr_octet:string), multicast_port) =
    let descr = Unix.socket Unix.PF_INET
Unix.SOCK_DGRAM 0
       in
          try
            (* Convert IP octet strings to IP addrs *)
            let my_addr = Unix.inet_addr_of_string
my_addr_octet
              and
                multicast_addr =
Unix.inet_addr_of_string multicast_addr_octet in
            (* Open a UDP socket *)
            let sockaddr = Unix.ADDR_INET(my_addr,
multicast_port)
            in
                                                      
                                  
               (* Bind the sock addr *)
               Unix.bind descr sockaddr;
                                                      
                                  
               (* Set TTL for ipv4 *)
               (* TBD!!! *)
                                                      
                                  
               (* Join the multicast group *)
               Unix.multicast_join descr my_addr
multicast_addr;

               (* Read loop *)
               while true do
                                                      
                                  
                  let (buffer:string) = "" in
                     (* Do blocking read! *)
                     let (x, y) = Unix.recvfrom descr
buffer 0 128 [MSG_OOB]
               done
          with
             _ -> Printf.printf "%s\n" "blah";;     
*)
                                                      
                                  
                                                      
                                  
listen ("127.0.0.1", "225.0.0.37", 12345);;
  

__________________________________
Do you Yahoo!?
Yahoo! Search - Find what you’re looking for faster
http://search.yahoo.com

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

Re: [Caml-list] Test case syntax error

[William Lovas]

On Thu, Mar 04, 2004 at 07:25:46PM -0800, Vasili Galchin wrote:
> 1) It gets a syntax error on the ending "done" for the
> "while true". I have tried trimming down and still the
> syntax error. I am sorry for something so elementary.
> Can anyone help?

Let's look at the code:

>                while true do
>                   let (buffer:string) = "" in
>                      (* Do blocking read! *)
>                      let (x, y) = Unix.recvfrom descr buffer 0 128 [MSG_OOB]
>                done

An expression belongs inside the `do ... done' of a while loop, and any
`let' expression needs an `in'.  (Be careful not to confuse the `let ...
in ...' _expression_ with the `let ...' _top-level declaration_.)  What do
you want to do with that (x, y) pair after you've bound it?

> 2) I am running on Linux. I did a "man ocamlc" to see
> what kind of compiler switches there are. Is there a
> compiler switch that gives a more verbose/helpful
> error than simply "syntax error"?

None that i'm aware of, but after you spend enough time with O'Caml's
syntax, the location of the error is usually enough.

cheers,
William

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

Re: [Caml-list] Test case syntax error

[Shawn Wagner]

On Thu, Mar 04, 2004 at 07:25:46PM -0800, Vasili Galchin wrote:
> Hello,
> 
>    I have added some functionality to the OCaml
> run-time library and I am trying to test. I wrote test
> case below that refuses to complile.
> 
> 1) It gets a syntax error on the ending "done" for the
> "while true". I have tried trimming down and still the
> syntax error. I am sorry for something so elementary.
> Can anyone help?
> 
> 2) I am running on Linux. I did a "man ocamlc" to see
> what kind of compiler switches there are. Is there a
> compiler switch that gives a more verbose/helpful
> error than simply "syntax error"?
> 
> Regards, vasili
> 
> ----------------------------test case-----------------
> 
> (* The multicast listener *)
> let listen ((my_addr_octet:string),
> (multicast_addr_octet:string), multicast_port) =

You don't have to specify types like this. Let the compiler figure it out
instead. :) It's also an odd style to take all the arguments in one tuple,
instead of making them curry-able:

let listen my_addr_octect multicast_addr_octet multicast_port = ...


> 
>                (* Read loop *)
>                while true do
>                                                       
>                                   
>                   let (buffer:string) = "" in
>                      (* Do blocking read! *)
>                      let (x, y) = Unix.recvfrom descr
> buffer 0 128 [MSG_OOB]

You need an 'in' after the let binding, and code following that.

>                done
>           with
>              _ -> Printf.printf "%s\n" "blah";;     

-- 
Shawn Wagner
shawnw@speakeasy.org

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

Re: [Caml-list] Test case syntax error

[sebastien FURIC]

Vasili Galchin wrote:
> 
>                while true do
> 
> 
>                   let (buffer:string) = "" in
>                      (* Do blocking read! *)
>                      let (x, y) = Unix.recvfrom descr
                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> buffer 0 128 [MSG_OOB]
^^^^^^^^^^^^^^^^^^^^^^^^

 let _ = <expression> is not a syntactically valid expression. You have
to write let _ = <expression1> in <expression2> instead.

>                done
>           with
>              _ -> Printf.printf "%s\n" "blah";;


 Cheers,

 Sébastien.

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

Re: [Caml-list] Test case syntax error

[John Carr]

>  let _ = <expression> is not a syntactically valid expression. You have
> to write let _ = <expression1> in <expression2> instead.

Except at toplevel, where you must use the first form instead of the
second.

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

Re: [Caml-list] Test case syntax error

[Remi Vanicat]

John Carr <jfc@mit.edu> writes:

>>  let _ = <expression> is not a syntactically valid expression. You have
>> to write let _ = <expression1> in <expression2> instead.
>
> Except at toplevel, where you must use the first form instead of the
> second.

"let _ = <expression>" is not a expression, it is a definition. The
same way "type <name> = <type-decl>" is.

-- 
Rémi Vanicat

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

Re: [Caml-list] use of abstract type "inet_addr"

[Didier Remy]

> some time back, i had offered to the authors to translate the 
> "unix programming in ocaml" book 
> (http://cristal.inria.fr/~remy/poly/system/camlunix/index.html)
> into english, since (i think) it would fille a gap in ocaml documentation, 
> but i never got any answer from them.

Hi Henri,

Sorry for not responding at that time, but I had preciously kept
your original Email and I intended to recontact you at some point.

This document was originally written by Xavier Leroy for a course he taught
at the École Normale Supérieure years ago.  I translated them from
Caml-Light to OCaml last year since I've been using them myself for a course
I taught at École Polytechnique.  I am currently revising them and adding
some new material while I am repeating the course this year.

I have no doubt that there is a potential audience for this book that is
much broader than just a the few students in my class.  This could
encourage people who already know OCaml but who are new to system
programming to learn system programming more smoothly; conversely, they
could also show hackers who are new to OCaml that they can still do their
favorite system hasks in OCaml while taking advantage of high-level
programming. And, as you mention, this could complement the documentation of
the Unix library.

So, translating these notes into English would certainly be profitable to
the community. 

If you are still willing to do the translation after I finished the
revision, we can continue discussing it privately.

Best wishes,

    Didier

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

Re: [Caml-list] The Makefile

[Rakotomandimby Mihamina]

On Tuesday 02 March 2004 19:18, you wrote:
> Comme tu t'en es rendu compte, il faut changer tous les Makefiles ou
> quasiment. C'est ce que j'ai fait pour DarwinPorts.

Est ce possible (si ce n'est deja fait) de soumettre ces modifications aux 
developpeurs pour que cxu -ci prennent en compte ces modifs , ou alors 
appliquent les modifs qu'on suggere ?

A moins que j'aie mal compris le mode de fonctinnement open source/ GPL , il 
me semble que ça devrai fonctionner comme cela ... non :-)

-- 
Rakotomandimby Mihamina Andrianifaharana
Tel : +33 2 38 76 43 65
http://stko.dyndns.info/site_principal/Members/mihamina

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

Re: [Caml-list] The Makefile

[Paul Guyot]

Rakotomandimby Mihamina <mrakotom@free.fr> a écrit:

>Pour faire un package il me faudrai trouver le moyen de faire tout 
>comme si l'intallation devra se faire dans "/usr" et a 
>l'installation ( copie des fichiers ) modifier ce parametre en le 
>remplaçant par /tmp/ocaml-package/usr,  /tmp/ocaml-package/ qui 
>contiendra le package .

Comme tu t'en es rendu compte, il faut changer tous les Makefiles ou 
quasiment. C'est ce que j'ai fait pour DarwinPorts. Les rustines sont 
disponibles par ici:
http://cvs.opendarwin.org/index.cgi/projects/darwinports/dports/lang/ocaml/

Il y a aussi une rustine que j'ai soumise il y a plusieurs mois qui 
permet d'avoir un baratin plus clair sous MacOS X (byterun/unix.c) 
lors d'erreurs de chargement de modules natifs et une rustine pour 
utiliser tk de DarwinPorts au lieu de celui de fink (la moitié de la 
rustine pour configure, l'autre moitié est pour le problème que tu 
as).

Avec ces rustines, on peut passer à configure le paramètre 
--destroot. Umm. Je me rends compte que je ne l'ai pas documenté dans 
configure. Bref. Si tu utilises ce paramètre, l'installation se fera 
en fait dans $(DESTROOT)$(PREFIX) au lieu de $(PREFIX). Mais le 
fichier de configuration pour le chargement des bibliothèques 
dynamiques et les autres choses qui sont fonction de l'endroit où 
ocaml est installé seront correctement gérées. Par exemple ocamlc 
mettra #!$(PREFIX)/bin/ocamlrun au début du fichier généré (et non 
pas #!$(DESTROOT)$(PREFIX)/bin/ocamlrun. Normalement, tout se passe 
comme avant si tu ne précises pas --destroot.

Paul

PS: désolé pour l'absence de References: et In-Reply-To:, je prends 
la liste en route.

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