From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA22550 for caml-redistribution@pauillac.inria.fr; Wed, 8 Mar 2000 19:29:39 +0100 (MET) Resent-Message-Id: <200003081829.TAA22550@pauillac.inria.fr> Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA20229 for ; Wed, 8 Mar 2000 18:52:13 +0100 (MET) Received: from postfix1.free.fr (postfix1.free.fr [212.27.32.21]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id SAA12149 for ; Wed, 8 Mar 2000 18:52:11 +0100 (MET) Received: from wanadoo.fr (toulouse-50-227.dial.proxad.net [212.27.50.227]) by postfix1.free.fr (Postfix) with ESMTP id 087692816F; Wed, 8 Mar 2000 18:52:11 +0100 (MET) Sender: bouyssou@free.fr Message-ID: <38C693F7.5D6725B7@wanadoo.fr> Date: Wed, 08 Mar 2000 17:55:03 +0000 From: Olivier Bouyssou Reply-To: olivier.bouyssou@wanadoo.fr X-Mailer: Mozilla 4.61 [en] (X11; I; Linux 2.2.13-7mdk i686) X-Accept-Language: en MIME-Version: 1.0 To: luther@dpt-info.u-strasbg.fr Cc: caml-list@inria.fr Subject: Re: Building a cross-compiling ocaml References: <20000307092445.A11953@dpt-info.u-strasbg.fr> Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Resent-From: weis@pauillac.inria.fr Resent-Date: Wed, 8 Mar 2000 19:29:38 +0100 Resent-To: caml-redistribution@pauillac.inria.fr 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 = # 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