Version française
Home     About     Download     Resources     Contact us    
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,
> 
> Sven LUTHER

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 192.0.5.100
M
1380504 bytes read via TFTP
dBUG> go 20000


uClinux/COLDFIRE(m5206e)
COLDFIRE port done by Greg Ungerer, gerg@moreton.com.au
Flat model support (C) 1998,1999 Kenneth Albanowski, D. Jeff Dionne
KERNEL -> TEXT=0x020000-0x07e1dc DATA=0x07e1dc-0x090094
BSS=0x090094-0x0ae9d8
KERNEL -> ROMFS=0x0ae9d8-0x18f7f0 MEM=0x18f7f0-0xfff000
STACK=0xfff000-0x1000000
Calibrating delay loop.. ok - 35.73 BogoMIPS
Memory available: 14560k/15875k RAM, 0k/0k ROM (1820k kernel data, 376k
code)
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 2.0.38.0 (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
California
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 (becker@cesdis.gsfc.nasa.gov)
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 127.0.0.1
Command: route add -net 127.0.0.0 lo
Command: ifconfig eth0 192.0.5.101
Command: route add -net 192.0.5.0 netmask 255.255.255.0
Command: route add default gw 192.0.5.1
Command: /bin/mount -n -t nfs
192.0.5.100:/home/bouyssou/uClinux-coldfire/user /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  		olivier.bouyssou@wanadoo.fr
22 rue paul verlaine				31570 st Foy d'Aigrefeuille
Tel : +33.5.62.18.81.82				Fax : +33.4.68.94.54.16