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 0CC6D7EEAF for ; Thu, 17 Jan 2013 14:06:21 +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.220.186; 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.220.186; 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-vc0-f186.google.com) identity=helo; client-ip=209.85.220.186; receiver=mail4-smtp-sop.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: Ak4BAKj291DRVdy6kmdsb2JhbABEq0GSYhYOAQEBAQkLCwcSKYIeAQEBBAEBAWsLEAsYDSE0AQUBChIrh3QBAw8MnGSUHAFKA4gnjg+DKQOIYY5HjUw/hDg X-IronPort-AV: E=Sophos;i="4.84,486,1355094000"; d="scan'208";a="168793485" Received: from mail-vc0-f186.google.com ([209.85.220.186]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 17 Jan 2013 14:06:19 +0100 Received: by mail-vc0-f186.google.com with SMTP id d16so109136vcd.13 for ; Thu, 17 Jan 2013 05:06:18 -0800 (PST) X-Received: by 10.49.62.164 with SMTP id z4mr1053932qer.34.1358427977941; Thu, 17 Jan 2013 05:06:17 -0800 (PST) Path: glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: fa.caml Date: Thu, 17 Jan 2013 05:06:17 -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: <45087aba-fdfd-4e9b-83b3-2d80e0a730d7@googlegroups.com> 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: AW: [Caml-list] ocamlc compiles hello world, ocamlopt not Hi All, Well, to get back to the original track, my goal is not to replace ocamlopt= at all. It just came as a possible workaround for me as ocamlopt though co= mpiles on minix3 but you can't use it for anything. (Which was anyway stran= ge for me as I thought ocamlopt itself was compiled from bytecode to C but = it may not be the case.) So the suggestions I got finally went into a direc= tion from porting ocaml correctly on minix3 to finding another possibility = instead of ocamlopt. I'm still in the process of giving a try to those sugg= estions. Thanks®ards, r0ller On Thursday, January 17, 2013 8:53:37 AM UTC+1, Alain Frisch wrote: > On 1/17/2013 2:10 AM, Francois Berenger wrote: >=20 > > Was this C code generation not possible even with Caml code >=20 > > back in the era of Caml? >=20 >=20 >=20 > There has been work on compiling Caml to C back in the early 90s. Look= =20 >=20 > for Camlot (by R=E9gis Cridlig) and CeML (by Emmanuel Chailloux). >=20 >=20 >=20 > Alain >=20 >=20 >=20 > --=20 >=20 > Caml-list mailing list. Subscription management and archives: >=20 > https://sympa.inria.fr/sympa/arc/caml-list >=20 > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >=20 > Bug reports: http://caml.inria.fr/bin/caml-bugs