From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 339477EEAF for ; Wed, 16 Jan 2013 11:20:59 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of r0ller@freemail.hu) identity=pra; client-ip=209.85.220.186; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="r0ller@freemail.hu"; x-sender="r0ller@freemail.hu"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of r0ller@freemail.hu) identity=mailfrom; client-ip=209.85.220.186; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="r0ller@freemail.hu"; x-sender="r0ller@freemail.hu"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-vc0-f186.google.com) identity=helo; client-ip=209.85.220.186; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="r0ller@freemail.hu"; x-sender="postmaster@mail-vc0-f186.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoACALx99lDRVdy6gWdsb2JhbABFukSDQxYOAQELCwkHFCmCHgEBAQQBAQF2EAsYLjQBBQEcIod9ARIMmlKQNYN8AYhVjg+DKQOIYY5HjUw/hAou X-IronPort-AV: E=Sophos;i="4.84,478,1355094000"; d="scan'208";a="190155720" Received: from mail-vc0-f186.google.com ([209.85.220.186]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Jan 2013 11:20:57 +0100 Received: by mail-vc0-f186.google.com with SMTP id fl17so674463vcb.23 for ; Wed, 16 Jan 2013 02:20:56 -0800 (PST) X-Received: by 10.49.87.9 with SMTP id t9mr103832qez.16.1358331656674; Wed, 16 Jan 2013 02:20:56 -0800 (PST) Path: glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: fa.caml Date: Wed, 16 Jan 2013 02:20:56 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=87.229.2.180; posting-account=1tym9AoAAABKxcWqTDQq8MFzsJ5_fvrj NNTP-Posting-Host: 87.229.2.180 References: User-Agent: G2/1.0 X-Google-Web-Client: true X-Google-IP: 87.229.2.180 MIME-Version: 1.0 Message-ID: From: r0ller@freemail.hu To: fa.caml@googlegroups.com Cc: r0ller@freemail.hu, Francois Berenger , caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] ocamlc compiles hello world, ocamlopt not Hi Gerd, Thanks for the links! If all my efforts to get a natively compiled ocaml pr= ogram on minix fails, I guess I'll have no other choice to interface with t= he byte code lib -or leave the minix platform and continue developing my pr= oject on another being supported by native ocaml compiler. Thanks®ards, r0ller On Wednesday, January 16, 2013 10:54:12 AM UTC+1, Gerd Stolpmann wrote: > Am 16.01.2013 10:36:41 schrieb(en) r0ller@.hu: >=20 > > Hi Gerd, >=20 > >=20 >=20 > > If that's really the case (still I'm trying to find the post=20=20 >=20 > > mentioned by Francois), then my question is if there's any doc about=20= =20 >=20 > > how to do it? I'm asking because I'm more a guy with C/C++ knowledge.= =20=20 >=20 > > Actually, the library I'd like to link my C/C++ project with=20=20 >=20 > > originally has a C lib on platforms that have ocamlopt but I don't=20= =20 >=20 > > mind if I'm interfacing with a byte code lib if it's also possible. >=20 >=20 >=20 > It's described in the manual, section 19.7.5: >=20 >=20 >=20 > http://caml.inria.fr/pub/docs/manual-ocaml-4.00/manual033.html >=20 >=20 >=20 > You may also look at my text >=20 >=20 >=20 > http://www.camlcity.org/knowledge/kb_002_shared_library.html >=20 >=20 >=20 > which is written for ocamlopt, but the same should also apply to ocamlc= =20=20 >=20 > provided you use -lcamlrun instead of -lasmrun. >=20 >=20 >=20 > Gerd >=20 >=20 >=20 > >=20 >=20 > > Thanks®ards, >=20 > > r0ller >=20 > >=20 >=20