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
Building a cross-compiling ocaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Olivier Bouyssou <olivier.bouyssou@w...>
Subject: Re: Building a cross-compiling ocaml
Sven LUTHER wrote:
> On Mon, Mar 06, 2000 at 04:30:35PM -0500, Matthew S. Harris wrote:
> > I am trying to get ocaml to produce code that can be linked against
> > the libc of a different operating system (the University of Utah's
> > OSKit project, for those who may know it).  The key facts are:
> HAs anyone been so crazy as to try to build a palm pilot version of ocaml ? or
> even a TI 89/92 version ? todays palm come with 8MB of memory, this is
> plentifull for an caml toplevel. the TI version could cause more problems
> (having only ~500kb memory i think).
> both of these computer use a 68000, or some modified version thereof, so it
> should be possible to reuse the m68k code that is already in ocaml.
> Friendly,

Yes... for me ocamlrun work well on uClinux for ColdFire with 16Mo of ram.

Screenshots :

Hard Reset
DRAM Size: 16M

Copyright 1997-1998 Motorola, Inc.  All Rights Reserved.
ColdFire MCF5206e EVS Debugger v1.4.1 (Jul 13 1998 12:12:00)
Enter 'help' for help.

dBUG> dn -i image.bin
Address:  0x00020000
Ethernet Address: 00:00:00:00:00:00
Downloading Image 'image.bin' from
1380504 bytes read via TFTP
dBUG> go 20000

COLDFIRE port done by Greg Ungerer,
Flat model support (C) 1998,1999 Kenneth Albanowski, D. Jeff Dionne
KERNEL -> TEXT=0x020000-0x07e1dc DATA=0x07e1dc-0x090094
KERNEL -> ROMFS=0x0ae9d8-0x18f7f0 MEM=0x18f7f0-0xfff000
Calibrating delay loop.. ok - 35.73 BogoMIPS
Memory available: 14560k/15875k RAM, 0k/0k ROM (1820k kernel data, 376k
Swansea University Computer Society NET3.035 for Linux 2.0
NET3: Unix domain sockets 0.13 for Linux NET3.035.
Swansea University Computer Society TCP/IP for NET3.034
IP Protocols: ICMP, UDP, TCP
uClinux version (root@yeti.sobel) (gcc version egcs-2.91.66
19990314 (egcs-1.1.2 release)) #30 mer déc 29
 18:40:57 CET 1999
ColdFire internal UART serial driver version 1.00
ttyS0 at 0x10000140 (irq = 224) is a builtin ColdFire UART
ttyS1 at 0x10000180 (irq = 225) is a builtin ColdFire UART
Ramdisk driver initialized : 16 ramdisks of 4096K size
Blkmem copyright 1998,1999 D. Jeff Dionne
Blkmem copyright 1998 Kenneth Albanowski
Blkmem 1 disk images:
0: AE9D8-18F9D7 (RO)
PPP: version 2.2.0 (dynamic channel allocation)
TCP compression code copyright 1989 Regents of the University of
PPP Dynamic channel allocation code copyright 1995 Caldera, Inc.
PPP line discipline registered.
SLIP: version 0.8.4-NET3.019-NEWTTY (dynamic channels, max=256) (6 bit
encapsulation enabled).
CSLIP: code copyright 1989 Regents of the University of California.
SLIP linefill/keepalive option.
ne.c:v1.10 9/23/94 Donald Becker (
NE*000 ethercard probe at 0x300: 00 00 00 00 00 00
eth0: NE2000 found at 0x300, using IRQ 4.
VFS: Mounted root (romfs filesystem) readonly.
Shell invoked to run file: /etc/rc
Command: hostname uClinux-coldfire
Command: /bin/expand /etc/ramfs.img /dev/ram0
Command: mount -t proc proc /proc
Command: mount -t ext2 /dev/ram0 /var
Command: mkdir /var/tmp
Command: mkdir /var/log
Command: ifconfig lo
Command: route add -net lo
Command: ifconfig eth0
Command: route add -net netmask
Command: route add default gw
Command: /bin/mount -n -t nfs /mnt
Execution Finished, Exitingÿ
Sash command shell (version 1.1.1)
/> cd /mnt/byterun
/mnt/byterun> ./ocamlrun ./ocaml
        Objective Caml version 2.02

# let f = function _ -> "Hello World" ;;
val f : 'a -> string = <fun>
# f () ;;
- : string = "Hello World"

Olivier Bouyssou (F1NXH), Sobel
22 rue paul verlaine				31570 st Foy d'Aigrefeuille
Tel : +				Fax : +