English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Bytecode run on AIX - "unknown C primitive" error
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2010-01-20 (10:07)
From: Sylvain Le Gall <sylvain@l...>
Subject: Re: Bytecode run on AIX - "unknown C primitive" error
On 20-01-2010, Christoph Bauer <christoph.bauer@lmsintl.com> wrote:
> unfortunatly I haven't a solution for the bytecode stuff. I only use
> ocaml with native compiled code. This works very well.

I confirm that ocamlopt/AIX works well (thanks to Christoph). 

The best solution is maybe to understand why ocamlopt cannot be built ?

Sylvain Le Gall

> Christoph Bauer
>> From: caml-list-bounces@yquem.inria.fr 
>> [mailto:caml-list-bounces@yquem.inria.fr] On Behalf Of Dawid Toton
>> Sent: Tuesday, January 19, 2010 9:32 PM
>> To: caml-list@yquem.inria.fr
>> Subject: [Caml-list] Bytecode run on AIX - "unknown C primitive" error
>> I have installed part of this OCaml port 
>> http://home.arcor.de/chr_bauer/ocaml-aix.html
>> on a computer running on AIX. It seems that everything built 
>> correctly except ocamlopt. So I have ocamlrun and standard 
>> library and this should be enough for bytecode to run.
>> I have to build the bytecode on a different machine (because 
>> it's difficult to do on AIX). I believe this shouldn't induce 
>> any problems.
>> Trivial bytecode executes correctly regardless where it is created.
>> I set LIBPATH to point to ocaml/stublibs and try running some 
>> bytecode uning Unix module. This results in:
>> Fatal error: unknown C primitive `unix_getsockopt_bool'
>> If I compile simple "let _ = Unix.sleep 1" on the target 
>> machine, I get bytecode that causes ocamlrun to crash with:
>> Illegal instruction (core dumped)
>> Does anybody have an idea for workaround? Some understanding 
>> what's going on?
>> I'm using AIX 5.3
>> Dawid
>> _______________________________________________
>> Caml-list mailing list. Subscription management:
>> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
>> Archives: http://caml.inria.fr
>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs

Sylvain Le Gall