From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=AWL,SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 4A088BBAF for ; Fri, 22 May 2009 22:03:40 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah0CABCiFkqEpqxqmWdsb2JhbACXYQEBAQEBCAsKBxG7GYQLBQ X-IronPort-AV: E=Sophos;i="4.41,235,1241388000"; d="dat'59?scan'59,208,59";a="28153657" Received: from cirse-out.extra.cea.fr ([132.166.172.106]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 22 May 2009 22:03:24 +0200 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by cirse.extra.cea.fr (8.14.2/8.14.2/CEAnet-Internet-out-2.0) with ESMTP id n4MK3OOG021031 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Fri, 22 May 2009 22:03:24 +0200 Received: from muguet1.intra.cea.fr (muguet1.intra.cea.fr [132.166.192.6]) by pisaure.intra.cea.fr (8.14.2/8.14.2) with ESMTP id n4MK3N6t002584 for ; Fri, 22 May 2009 22:03:24 +0200 (envelope-from Pascal.CUOQ@cea.fr) Received: from levau.intra.cea.fr (levau.intra.cea.fr [132.166.88.52]) by muguet1.intra.cea.fr (8.13.8/8.13.8/CEAnet-Intranet-out-1.1) with ESMTP id n4MK3NrA005701 for ; Fri, 22 May 2009 22:03:23 +0200 Received: from LAXA.intra.cea.fr ([132.166.64.42]) by levau.intra.cea.fr with Microsoft SMTPSVC(6.0.3790.3959); Fri, 22 May 2009 22:03:23 +0200 X-MimeOLE: Produced By Microsoft Exchange V6.5 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----_=_NextPart_001_01C9DB18.5CC1CB3A" Subject: Re: Ocaml porting issue? Date: Fri, 22 May 2009 22:03:23 +0200 Message-ID: <5EFD4D7AC6265F4D9D3A849CEA9219191AB1C3@LAXA.intra.cea.fr> X-MS-Has-Attach: X-MS-TNEF-Correlator: <5EFD4D7AC6265F4D9D3A849CEA9219191AB1C3@LAXA.intra.cea.fr> Thread-Topic: Ocaml porting issue? Thread-Index: AcnaxBgWCpegbXYSQpGJavuQImlrFgAUqon6 References: <20090522100003.F3295BC54@yquem.inria.fr> From: "CUOQ Pascal" To: X-OriginalArrivalTime: 22 May 2009 20:03:23.0641 (UTC) FILETIME=[5C9F4690:01C9DB18] X-Spam: no; 0.00; ocaml:01 cuoq:01 cuoq:01 ocaml:01 compiler:01 gcc:01 bytecode:01 compilation:01 bytecode:01 compiler:01 client's:98 plug-in:98 wrote:01 rewrite:01 cea:01 X-Attachments: type="application/ms-tnef" name="winmail.dat" This is a multi-part message in MIME format. ------_=_NextPart_001_01C9DB18.5CC1CB3A Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Hi! Minhyuk, Kwon wrote: > it's really hard to maintain this analyzer, so we hope change major=20 > programming language by ocaml.=20 > but our client's programming environment is very variant(eg. UNIX-AIX, = > WINCE-ARM...). they only have a C compiler(gcc, aix c, etc.)=20 > is there any portable issues in ocaml? this is really important thing, = > we considered. In short, bytecode compilation of OCaml works for every platform for which there is a C compiler. So unless you expect speed of your application to be a problem, you will always have the solution of using the bytecode compiler as a back-up. The platforms you mention as examples are a little too exotic to completely avoid problems with the native compiler. The majority of them will be supported, but you have to expect that you'll be the first one to run into problems for the most exotic ones. I cannot resist making a last remark that is only slightly off-topic: if the target language for your analyzer is C, it may be a good idea to take advantage of the rewrite to make it a Frama-C plug-in. Please find details at http://frama-c.cea.fr/ Pascal ------_=_NextPart_001_01C9DB18.5CC1CB3A Content-Type: application/ms-tnef; name="winmail.dat" Content-Transfer-Encoding: base64 eJ8+IhgUAQaQCAAEAAAAAAABAAEAAQeQBgAIAAAA5AQAAAAAAADoAAEIgAcAGAAAAElQTS5NaWNy b3NvZnQgTWFpbC5Ob3RlADEIAQ2ABAACAAAAAgACAAEEgAEAGQAAAFJlOiBPY2FtbCBwb3J0aW5n IGlzc3VlPwCoCAEFgAMADgAAANkHBQAWABYAAwAXAAUAMAEBIIADAA4AAADZBwUAFgAWAAMAFwAF ADABAQmAAQAhAAAANEM4OUY1MzdFOUQ1QjM0QzhBRTQwNUU0MEUwQUU4NUIAWgcBA5AGAHALAAA5 AAAAAwAmAAAAAAADADYAAAAAAEAAOQA6y8FcGNvJAR4APQABAAAABQAAAFJlOiAAAAAAAgFHAAEA AAAtAAAAYz1GUjthPUFUTEFTO3A9Q0VBO2w9TEFYQS0wOTA1MjIyMDAzMjNaLTQ3NDEAAAAAHgBJ AAEAAAAjAAAAQ2FtbC1saXN0IERpZ2VzdCwgVm9sIDQ3LCBJc3N1ZSAzNgAAQABOAIDTWxPE2skB HgBaAAEAAAAhAAAAY2FtbC1saXN0LWJvdW5jZXNAeXF1ZW0uaW5yaWEuZnIAAAAAAgFbAAEAAABf AAAAAAAAAIErH6S+oxAZnW4A3QEPVAIAAAAAY2FtbC1saXN0LWJvdW5jZXNAeXF1ZW0uaW5yaWEu ZnIAU01UUABjYW1sLWxpc3QtYm91bmNlc0B5cXVlbS5pbnJpYS5mcgAAAgFcAAEAAAAmAAAAU01U UDpDQU1MLUxJU1QtQk9VTkNFU0BZUVVFTS5JTlJJQS5GUgAAAB4AXQABAAAAIQAAAGNhbWwtbGlz dC1yZXF1ZXN0QHlxdWVtLmlucmlhLmZyAAAAAAIBXgABAAAAXwAAAAAAAACBKx+kvqMQGZ1uAN0B D1QCAAAAAGNhbWwtbGlzdC1yZXF1ZXN0QHlxdWVtLmlucmlhLmZyAFNNVFAAY2FtbC1saXN0LXJl cXVlc3RAeXF1ZW0uaW5yaWEuZnIAAAIBXwABAAAAJgAAAFNNVFA6Q0FNTC1MSVNULVJFUVVFU1RA WVFVRU0uSU5SSUEuRlIAAAAeAGYAAQAAAAUAAABTTVRQAAAAAB4AZwABAAAAIQAAAGNhbWwtbGlz dC1ib3VuY2VzQHlxdWVtLmlucmlhLmZyAAAAAB4AaAABAAAABQAAAFNNVFAAAAAAHgBpAAEAAAAh AAAAY2FtbC1saXN0LXJlcXVlc3RAeXF1ZW0uaW5yaWEuZnIAAAAAHgBwAAEAAAAVAAAAT2NhbWwg cG9ydGluZyBpc3N1ZT8AAAAAAgFxAAEAAAAbAAAAAcnaxBgWCpegbXYSQpGJavuQImlrFgAUqon6 AB4AdAABAAAAGQAAAGNhbWwtbGlzdEB5cXVlbS5pbnJpYS5mcgAAAAAeABoMAQAAAAwAAABDVU9R IFBhc2NhbAAeAB0OAQAAABUAAABPY2FtbCBwb3J0aW5nIGlzc3VlPwAAAAACAQkQAQAAAAMEAAD/ AwAA6gUAAExaRnVzSDriAwAKAHJjcGcxMjXiMgNDdGV4BUEBAwH3/wqAAqQD5AcTAoAP8wBQBFY/ CFUHshElDlEDAQIAY2jhCsBzZXQyBgAGwxEl9jMERhO3MBIsETMI7wn3tjsYHw4wNREiDGBjAFAz CwkBZDM2FlALpiBIXGkhCqIKhAqATQuAaIB5dWssIEt3AiAsIHcDYA6wOh0kPiA4aXQnBCAYIAdA bHmCIBPhZCB0byAAwK8LgAGQC4AgoGgEACAAcFkHQHl6BJAeUHMgwHcyZSBQb3AioBPRbmfbIqAA wGoFsR8mcANgCcDIYW1tC4BnIAtgI0CUdWEjUWIgQG9jJLDkbC4j12J1BUAIYSMAPmwIkAIwH8Ek agnwdmm9A2BuB4ACMB+QBCB2BJAdIEB2CsAHMAIwKGVngSYwVU5JWC1BKsCDHlAfJldJTkNFKuBo Uk0uLFApJjAhcGX9JcFuIDMpkCGwEiAjAANwhnADEASQKGdjYx5Q3QtweCMAHlAUIGMscCPX3yGR LLEYICGxIEBwF8EBoHsuMClRcwpQBCAhQSXjP/8hZCGRH/UHcDDjKTEhcSNAvysoIpEFoACBBIEJ gC4dKvpJA6BzIsAAIB5QJbAOsEcFoAEALdVhdGkekW9wZiBPQyYBHrAFsGv3BCACEAXAZSmTC1EA MAWw9m0dJDmCdyGAE9AwNSGS6y25JjBTIMB1LRAHkAQgVnkIYCiQeCLgYwVAcz8i4AmAHSQ4kT2x BcBhcO8LUA3gODQgsWItgiRhMTE+bR5QPbID8CAgIbBsd/xheQQgLVMssR0kImAKQH04RnUAkCTx LLE3PhKBYYU8EmIA0GstdXA12/5URHE6Jj2UKRI4UkXBDsD/JLALUAeRCsAtgidgAkAxQf0gsG8d JA7AHuAN4CCiLeLvLjAOsCAxLWBvNXBAxgQg/wPwIXBEUyHQOEAtcTx3RvjfI4MfoCXBOKAssW1B lECB/zGQP6AXwQmANyEm4T2yQmS/IMA99B0kIXA4MD2iJ1C0VURiZijQcybxblJzcv89QDHRILFM xzmCRGIEYFTgu0q7VRFzNdwjAABwbh7g7x/hAJBU4QDAayTiSfFFwH9ZsgDAOUAhYVOhIZEtA3OZ J2BnaEpAT/JmLSCwvS4QYx8VBpBEUwGQciNQvwVAJSc5gj9EIdUpUkMeUO8foCDRIEBAg2dKkD6l NXHXLaAgsQGQay2BZCngIRH/I1FQFB/hHsAfoFJzWkExUYsFQC2gRiShYS1DHSSxC1B1Zy0LgCYw UC4wu0XAVJJuIJABACEhbCGhgwVAXKB0cDovLwNQq2WSL1BjIAAuA1AvHSpeUEXAJfAYAB05fWuQ AB4ANRABAAAAOwAAADw1RUZENEQ3QUM2MjY1RjREOUQzQTg0OUNFQTkyMTkxOTFBQjFDM0BMQVhB LmludHJhLmNlYS5mcj4AAB4AORABAAAAKgAAADwyMDA5MDUyMjEwMDAwMy5GMzI5NUJDNTRAeXF1 ZW0uaW5yaWEuZnI+AAAAHgBHEAEAAAAPAAAAbWVzc2FnZS9yZmM4MjIAAAsA8hABAAAAHwDzEAEA AABCAAAAUgBlACUAMwBBACAATwBjAGEAbQBsACAAcABvAHIAdABpAG4AZwAgAGkAcwBzAHUAZQAl ADMARgAuAEUATQBMAAAAAAALAPYQAAAAAEAABzC0RD3CFtvJAUAACDD8ts1cGNvJAQMA3j+vbwAA AwDxPwkEAAAeAPg/AQAAAAwAAABDVU9RIFBhc2NhbAACAfk/AQAAAHAAAAAAAAAA3KdAyMBCEBq0 uQgAKy/hggEAAAAAAAAAL089Q0VBL09VPURJL0NOPURPTUFJTkVTL0NOPURSVC1TQUMvQ049VVRJ TElTQVRFVVJTL0NOPVBSRS1FMkszL0NOPUxPVDEvQ049UEMyMDYwNTYAHgD6PwEAAAAVAAAAU3lz dGVtIEFkbWluaXN0cmF0b3IAAAAAAgH7PwEAAAAeAAAAAAAAANynQMjAQhAatLkIACsv4YIBAAAA AAAAAC4AAAADAP0/5AQAAAMAGUAAAAAAAwAaQAAAAAADAB1AAAAAAAMAHkAAAAAAHgAwQAEAAAAJ AAAAUEMyMDYwNTYAAAAAHgAxQAEAAAAJAAAAUEMyMDYwNTYAAAAAHgAyQAEAAAAhAAAAY2FtbC1s aXN0LWJvdW5jZXNAeXF1ZW0uaW5yaWEuZnIAAAAAHgAzQAEAAAAhAAAAY2FtbC1saXN0LXJlcXVl c3RAeXF1ZW0uaW5yaWEuZnIAAAAAHgA4QAEAAAAJAAAAUEMyMDYwNTYAAAAAHgA5QAEAAAACAAAA LgAAAAMAdkD/////CwApAAAAAAALACMAAAAAAAMABhDpUhFJAwAHEHgDAAADABAQAAAAAAMAERAA AAAAHgAIEAEAAABlAAAASElNSU5IWVVLLEtXT05XUk9URTpJVFNSRUFMTFlIQVJEVE9NQUlOVEFJ TlRISVNBTkFMWVpFUixTT1dFSE9QRUNIQU5HRU1BSk9SUFJPR1JBTU1JTkdMQU5HVUFHRUJZT0NB TQAAAAACAX8AAQAAADsAAAA8NUVGRDREN0FDNjI2NUY0RDlEM0E4NDlDRUE5MjE5MTkxQUIxQzNA TEFYQS5pbnRyYS5jZWEuZnI+AAAw+Q== ------_=_NextPart_001_01C9DB18.5CC1CB3A--