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 675C07EEAF for ; Wed, 16 Jan 2013 10:54:00 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.171; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.171; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of postmaster@moutng.kundenserver.de designates 212.227.126.171 as permitted sender) identity=helo; client-ip=212.227.126.171; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@moutng.kundenserver.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlECAOt39lDU436rk2dsb2JhbABFjzGbaZJsFg4BAQEBCQkLCRQDJIIeAQEEATo0CzMNXQkSGQkJh3UDCQoIr0YDiAgVi3OCB4MpA41miUKSIw X-IronPort-AV: E=Sophos;i="4.84,478,1355094000"; d="scan'208";a="168631638" Received: from moutng.kundenserver.de ([212.227.126.171]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Jan 2013 10:53:59 +0100 Received: from office1.lan.sumadev.de (dslb-188-097-013-090.pools.arcor-ip.net [188.97.13.90]) by mrelayeu.kundenserver.de (node=mreu1) with ESMTP (Nemesis) id 0MZQZl-1Tf7MA2ycv-00Lufi; Wed, 16 Jan 2013 10:53:51 +0100 Received: from samsung (ip-5-146-55-186.unitymediagroup.de [5.146.55.186]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 47E40C00CF; Wed, 16 Jan 2013 10:53:51 +0100 (CET) Date: Wed, 16 Jan 2013 10:53:50 +0100 From: Gerd Stolpmann To: r0ller@freemail.hu Cc: Francois Berenger , caml-list@inria.fr In-Reply-To: (from r0ller@freemail.hu on Wed Jan 16 10:36:41 2013) X-Mailer: Balsa 2.4.11 Message-Id: <1358330030.28639.14@samsung> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii; DelSp=Yes; Format=Flowed Content-Disposition: inline Content-Transfer-Encoding: quoted-printable X-Provags-ID: V02:K0:iIe2gfFV91/W8L7ss94B5DE7ELnfHbbS5kLuOlhjKYo 7syfG0IIfbAekxo/4dOdk1j9U6aP1XX6OHPId2YWxvRBTobQNk FKF7CPuDTVXpq/AKCCUdlgd2kd9UehjjXab/8Jc3efpbKbd4ZW onGshYXV4SyIECKP4fOBS1PViXq1VnoGe71ChYJrczeHGvGzsj 1wTD4Kj7Pj9G9++euj6kV3l2WXm/x+tY8tLY+xEvkllQXsXX1d 1BpMuoKGmGQfDAzlhJP8sYTR7wMczc7iyaVpPNyBf2HrYVnIIH xtX64Oq4fmiNZ+bPrXBn0y0DXZBaXhGTuQ0jJ5sasbZDalRfGw D+zibEFnj3oRQlb58Los= Subject: AW: [Caml-list] ocamlc compiles hello world, ocamlopt not Am 16.01.2013 10:36:41 schrieb(en) r0ller@freemail.hu: > Hi Gerd, >=20 > If that's really the case (still I'm trying to find the post=20=20 > mentioned by Francois), then my question is if there's any doc about=20= =20 > how to do it? I'm asking because I'm more a guy with C/C++ knowledge.=20= =20 > Actually, the library I'd like to link my C/C++ project with=20=20 > originally has a C lib on platforms that have ocamlopt but I don't=20=20 > mind if I'm interfacing with a byte code lib if it's also possible. It's described in the manual, section 19.7.5: http://caml.inria.fr/pub/docs/manual-ocaml-4.00/manual033.html You may also look at my text http://www.camlcity.org/knowledge/kb_002_shared_library.html which is written for ocamlopt, but the same should also apply to ocamlc=20= =20 provided you use -lcamlrun instead of -lasmrun. Gerd >=20 > Thanks®ards, > r0ller >=20 > On Wednesday, January 16, 2013 10:01:20 AM UTC+1, Gerd Stolpmann=20=20 > wrote: > > Am 16.01.2013 09:56:55 schrieb(en) Francois Berenger: > > > > > On 01/16/2013 05:02 PM, r0ller@.hu wrote: > > > > >> Hi All, > > > > >> > > > > >> By the way, is there any doc available about porting ocaml=20=20 > (google > > > > >> didn't find any) or any hint on how to move forward? I'd really=20= =20 > like > > > > >> to have the native compiler on minix too. > > > > > > > > > > I think in the past it was possible to generate C code from OCaml > > > > > code. > > > > > > > > There is no real C backend (and has never been). The only thing you=20= =20 > can > > > > do is to embed bytecode in a C-friendly way (what -output-obj does). > > > > But it is still bytecode. > > > > > > > > Gerd > > > > > > > > > As I guess Minix have a C compiler, that would be a way out for=20=20 > you. > > > > > > > > > > I can't find back, but I remember Richard W.M. Jones from Red Hat > > > > > posted about it on caml-list and keeps it somewhere. > > > > > > > > > >> Thanks®ards, > > > > >> r0ller >=20 >=20 > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >=20 --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------=