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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 118F47EEAF for ; Wed, 16 Jan 2013 10:36:45 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of r0ller@freemail.hu) identity=pra; client-ip=209.85.214.183; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="r0ller@freemail.hu"; x-sender="r0ller@freemail.hu"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of r0ller@freemail.hu) identity=mailfrom; client-ip=209.85.214.183; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="r0ller@freemail.hu"; x-sender="r0ller@freemail.hu"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f183.google.com) identity=helo; client-ip=209.85.214.183; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="r0ller@freemail.hu"; x-sender="postmaster@mail-ob0-f183.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ai0CAD5z9lDRVda3fGdsb2JhbABFuh4mg0IWDgEBCwkLBxQGI4IeAQEBBAEBAXYQCxguNAEFARyIHwESmlSQNYN9AYhVjg+DKQOIYZwTP4QKLg X-IronPort-AV: E=Sophos;i="4.84,478,1355094000"; d="scan'208";a="168629157" Received: from mail-ob0-f183.google.com ([209.85.214.183]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Jan 2013 10:36:43 +0100 Received: by mail-ob0-f183.google.com with SMTP id x4so699242obh.10 for ; Wed, 16 Jan 2013 01:36:42 -0800 (PST) X-Received: by 10.49.71.135 with SMTP id v7mr82272qeu.28.1358329002092; Wed, 16 Jan 2013 01:36:42 -0800 (PST) Path: glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: fa.caml Date: Wed, 16 Jan 2013 01:36:41 -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: 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, If that's really the case (still I'm trying to find the post mentioned by F= rancois), then my question is if there's any doc about how to do it? I'm as= king because I'm more a guy with C/C++ knowledge. Actually, the library I'd= like to link my C/C++ project with originally has a C lib on platforms tha= t have ocamlopt but I don't mind if I'm interfacing with a byte code lib if= it's also possible. Thanks®ards, r0ller On Wednesday, January 16, 2013 10:01:20 AM UTC+1, Gerd Stolpmann wrote: > Am 16.01.2013 09:56:55 schrieb(en) Francois Berenger: >=20 > > On 01/16/2013 05:02 PM, r0ller@.hu wrote: >=20 > >> Hi All, >=20 > >>=20 >=20 > >> By the way, is there any doc available about porting ocaml (google=20= =20 >=20 > >> didn't find any) or any hint on how to move forward? I'd really like= =20=20 >=20 > >> to have the native compiler on minix too. >=20 > >=20 >=20 > > I think in the past it was possible to generate C code from OCaml=20=20 >=20 > > code. >=20 >=20 >=20 > There is no real C backend (and has never been). The only thing you can= =20=20 >=20 > do is to embed bytecode in a C-friendly way (what -output-obj does).=20= =20 >=20 > But it is still bytecode. >=20 >=20 >=20 > Gerd >=20 >=20 >=20 > > As I guess Minix have a C compiler, that would be a way out for you. >=20 > >=20 >=20 > > I can't find back, but I remember Richard W.M. Jones from Red Hat=20=20 >=20 > > posted about it on caml-list and keeps it somewhere. >=20 > >=20 >=20 > >> Thanks®ards, >=20 > >> r0ller