Re: [Caml-list] "Hello web" please

["Jonathan Hayward http://JonathansCorner.com" <christos.jonathan.hayward@gmail.com>]

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

>
> I propose to continue this conversation on the beginner mailing list
> (http://groups.yahoo.com/group/ocaml_beginners/) to which I also sent
> this message.


Sounds like a good idea; I'm waiting for my registration to be processed. In
the meantime, I'd really like to have this working soon, and am having more
trouble than I've had getting a first basic program working (in Python,
Perl, Java, etc.), and be on to asking real questions instead of "How do I
get this to run?"

At the moment I get:

jonathan@inner-sanctum:~/csi/ml$ !.
./demo.ml
Error while loading "/usr/lib/ocaml/3.08.3/netstring/netstring.cma":
interface mismatch on Filename
Error while loading "/usr/lib/ocaml/3.08.3/netstring/netstring.cma":
interface mismatch on Filename.
Preprocessor error

The segment of the script that I think is responsible for this is:

#directory "/usr/lib/ocaml/3.08.3/pcre";;
#load "pcre.cma";;
#directory "/usr/lib/ocaml/3.08.3";;
#load "unix.cma";;
#directory "/usr/lib/ocaml/3.08.3/netstring";;
#load "netstring.cma";;
#directory "/usr/lib/ocaml/3.08.3/cgi/";;
#load "netcgi.cma";;

The directory it's looking for netstring contains the following files (and
many others):

jonathan@inner-sanctum:~/csi/ml$ ls /usr/lib/ocaml/3.08.3/netstring/|grep
netstring
netstring.a
netstring.cma
netstring.cmxa
netstring_mt.cmi
netstring_mt.cmo
netstring_mt.cmx
netstring_mt.mli
netstring_mt.o
netstring_pcre.cmi
netstring_pcre.mli
netstring_str.cmi
netstring_str.mli
netstring_top.cmi
netstring_top.cmo
netstring_top.mli
jonathan@inner-sanctum:~/csi/ml$

What should I be doing next to get it to work?

-- 
++ Jonathan Hayward, jonathan.hayward@pobox.com
** To see an award-winning website with stories, essays, artwork,
** games, and a four-dimensional maze, why not visit my home page?
** All of this is waiting for you at http://JonathansCorner.com

** If you'd like a Google Mail (gmail.com) account, please tell me!

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