From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 28D8CBBAF for ; Wed, 20 Jan 2010 10:20:45 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuQAAFNZVktVnovTjmdsb2JhbACBRo4qjBIBAQEBCQsICREHui6ENgQ X-IronPort-AV: E=Sophos;i="4.49,309,1262559600"; d="scan'208";a="54350201" Received: from mail206.messagelabs.com ([85.158.139.211]) by mail4-smtp-sop.national.inria.fr with SMTP; 20 Jan 2010 10:20:44 +0100 X-VirusChecked: Checked X-Env-Sender: christoph.bauer@lmsintl.com X-Msg-Ref: server-9.tower-206.messagelabs.com!1263979244!2860061!1 X-StarScan-Version: 6.2.4; banners=-,-,- X-Originating-IP: [213.68.136.230] Received: (qmail 3078 invoked from network); 20 Jan 2010 09:20:44 -0000 Received: from kaiserslautern1.lms-gmbh.de (HELO mail-in.lmsintl.com) (213.68.136.230) by server-9.tower-206.messagelabs.com with SMTP; 20 Jan 2010 09:20:44 -0000 Received: from KAIP-EXHUB01.lmsintl.com (unknown [10.2.100.90]) by mail-in.lmsintl.com (Postfix) with ESMTP id A81B643C005; Wed, 20 Jan 2010 13:13:00 +0100 (CET) Received: from KAIP-EXMSG01.lmsintl.com ([10.2.100.91]) by KAIP-EXHUB01.lmsintl.com ([10.2.100.90]) with mapi; Wed, 20 Jan 2010 10:20:44 +0100 From: Christoph Bauer To: Dawid Toton , "caml-list@yquem.inria.fr" Date: Wed, 20 Jan 2010 10:20:42 +0100 Subject: RE: [Caml-list] Bytecode run on AIX - "unknown C primitive" error Thread-Topic: [Caml-list] Bytecode run on AIX - "unknown C primitive" error Thread-Index: AcqZqtGpt3+voAuRTOec+FhO0Y1AGQABlvKA Message-ID: <9A8556989A396A408C72088C69EDE5633EC26A23@KAIP-EXMSG01.lmsintl.com> References: <4B5616B9.7030105@wp.pl> In-Reply-To: <4B5616B9.7030105@wp.pl> Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: de-DE, en-US Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Spam: no; 0.00; bytecode:01 bytecode:01 ocaml:01 ocaml:01 ocamlopt:01 ocamlrun:01 trivial:01 libpath:01 stublibs:01 getsockopt:01 ocamlrun:01 dumped:01 beginner's:01 bug:01 arcor:98 unfortunatly I haven't a solution for the bytecode stuff. I only use ocaml with native compiled code. This works very well. Christoph Bauer > From: caml-list-bounces@yquem.inria.fr=20 > [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 >=20 > I have installed part of this OCaml port=20 > http://home.arcor.de/chr_bauer/ocaml-aix.html > on a computer running on AIX. It seems that everything built=20 > correctly except ocamlopt. So I have ocamlrun and standard=20 > library and this should be enough for bytecode to run. >=20 > I have to build the bytecode on a different machine (because=20 > it's difficult to do on AIX). I believe this shouldn't induce=20 > any problems. >=20 > Trivial bytecode executes correctly regardless where it is created. >=20 > I set LIBPATH to point to ocaml/stublibs and try running some=20 > bytecode uning Unix module. This results in: > Fatal error: unknown C primitive `unix_getsockopt_bool' >=20 > If I compile simple "let _ =3D Unix.sleep 1" on the target=20 > machine, I get bytecode that causes ocamlrun to crash with: > Illegal instruction (core dumped) >=20 > Does anybody have an idea for workaround? Some understanding=20 > what's going on? >=20 > I'm using AIX 5.3 >=20 > Dawid >=20 > _______________________________________________ > 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 > =