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] embedded caml?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-11-08 (07:23)
From: SooHyoung Oh <shoh@d...>
Subject: Re: [Caml-list] embedded caml?

I've thinking about using O'Caml in embedded system, too.

(1) Caml light
How about using caml light instead of o'caml?
A document says:
The runtime system (the part written in C) is about 100K, plus another 100K
of bytecode for the compiler.
The compiler itself is written in Caml Light and ``bootstrapped'' --
compiled by itself.

camlrun: ~50K
camltop: ~152K
stdlib.zo: ~400K
lib: *.zi, *.zix: ~318K

(2) Interpreter: ocaml
It seems that it needs "ocamlrun" at least.

ocaml: ~825K (compressed 169K)
ocamlrun: ~138K (compressed 55K)

(3) How to reference physical address.
Through Ocaml -> C interface.

SooHyoung Oh
----- Original Message -----
From: "A Joseph Koshy" <>
To: <>
Sent: Thursday, November 08, 2001 3:17 PM
Subject: [Caml-list] embedded caml?

> I am trying to get O'Caml to run in an extremely resource constrained
> environment.   To this end I am interested in getting the O'Caml
> program to run in as small a memory footprint as possible (GC induced
> latencies are not a problem).
> Today using OCaml 3.02 on FreeBSD 4.3, a simple hello world program
> like, >> print_endline "Hello World";; << translates to
>         o 8554 bytes of interpreter bytecode, and,
>         o 111945 bytes of executable code (using the -custom switch to
>           "ocamlc")
> I would like to ask if anyone has considered Caml for embedded
> applications?
> Any suggestions as to where I should start looking?
> Regards,
> Koshy
> <>            Technical Consultant, HP-ISO, Bangalore.
> -------------------
> Bug reports:  FAQ:
> To unsubscribe, mail  Archives:

Bug reports:  FAQ:
To unsubscribe, mail  Archives: