Re: Building a cross-compiling ocaml

From: Olivier Bouyssou (olivier.bouyssou@wanadoo.fr)
Date: Wed Mar 08 2000 - 18:55:03 MET

  • Next message: Francois Rouaix: "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
    



    This archive was generated by hypermail 2b29 : Wed Mar 08 2000 - 19:32:24 MET