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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 455817F199 for ; Wed, 5 Jul 2017 10:21:17 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=berenger@bioreg.kyushu-u.ac.jp; spf=None smtp.mailfrom=berenger@bioreg.kyushu-u.ac.jp; spf=None smtp.helo=postmaster@h4.hosting4.cc.kyushu-u.ac.jp Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of berenger@bioreg.kyushu-u.ac.jp) identity=pra; client-ip=133.5.13.5; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="berenger@bioreg.kyushu-u.ac.jp"; x-sender="berenger@bioreg.kyushu-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of berenger@bioreg.kyushu-u.ac.jp) identity=mailfrom; client-ip=133.5.13.5; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="berenger@bioreg.kyushu-u.ac.jp"; x-sender="berenger@bioreg.kyushu-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@h4.hosting4.cc.kyushu-u.ac.jp) identity=helo; client-ip=133.5.13.5; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="berenger@bioreg.kyushu-u.ac.jp"; x-sender="postmaster@h4.hosting4.cc.kyushu-u.ac.jp"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ABSmIXh8O/rQrQv9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?2+McTK2v8tzYMVDF4r011RmSDNqds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2e2//5/ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRgHohi?= =?us-ascii?q?kaNDA3/m/YhcNsg6xUux+hux5yzpTIbI2JOvdzfKXQds4aS2pbWcZRUjRMDIOm?= =?us-ascii?q?b4QVCeoOIeFYr4jmp1ATsBawChWiCuz3xDFJiXH4wbAx3uM6Hg7YxgwvAdQOsH?= =?us-ascii?q?vKo9XvL6odSuG1zK7SzTrdYPNawzT96YjVchA6ofGMQKt8cdfLxUY1CwzJlFeQ?= =?us-ascii?q?qZT8Mj6Ty+8DsHCb4vJ9We+hhWMrsQF8riKyysoikIXEhpoZxk3K+Ch32oo4Jc?= =?us-ascii?q?e0RFBmbdOnCpdcqi6XOohwT8g/WW9nojw6xacDuZOjfCgF1pAnxxnHZvyHfIWE?= =?us-ascii?q?+BLjVOGKITdkhXJlfr2/ihmo/Ue81uLwTMq00VZXripektnMq2kB1wHJ5sedVv?= =?us-ascii?q?Rx5EWh2S6X2wDS7OFLP1w0mLLGJ5MvzLM8jJoevV7eEiL4gkn7jLeadkA+9eip?= =?us-ascii?q?7+TnbK/mppiZN4JskQ7xLL4uldK5AeQ3LAcORXOW9v+91L3k5032XrpKguc1kq?= =?us-ascii?q?jZrZDaPsQbprOgDw9IyIos8QqwAy2k0NQAhXUHNk5KeAqbj4j1PFHDOOz3Au26?= =?us-ascii?q?g1SoiTtrw/HGPqb9ApjWNXjCkLLhfa5n5EJGyQozy8pf55NOBb0bLvLzQBy5iN?= =?us-ascii?q?uNBRY8N0mwwv37INR7zIIXH2yVUYGDN6aHn0WB4OkoIvLETqIvlRDSBsJts/Tj?= =?us-ascii?q?l3I/llIHVaOo2oEaZza7D+l9I1jcfDzliZEDCTFZ7UIFUOX2hQjaAnZobHGoUv?= =?us-ascii?q?dk6w=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BjAQA3oVxZlwUNBYVcHQEFAQsBGAYMh?= =?us-ascii?q?BWQCZBZmDMBhhGDXRQBAQEBAQEBAQEBARIBAQEBAQYYBleCMyKCbRV2AiYCIUs?= =?us-ascii?q?IAQGKKrJWgiaHYhqDcoELghyFWAuIJIJHgmEFh0gHgg6Hc402HpNngXQBgXyHM?= =?us-ascii?q?4Z6lTM2gSuBCoUMAQtUggGJUAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BjAQA3oVxZlwUNBYVcHQEFAQsBGAYMhBWQCZBZmDMBhhG?= =?us-ascii?q?DXRQBAQEBAQEBAQEBARIBAQEBAQYYBleCMyKCbRV2AiYCIUsIAQGKKrJWgiaHY?= =?us-ascii?q?hqDcoELghyFWAuIJIJHgmEFh0gHgg6Hc402HpNngXQBgXyHM4Z6lTM2gSuBCoU?= =?us-ascii?q?MAQtUggGJUAEBAQ?= X-IronPort-AV: E=Sophos;i="5.40,311,1496095200"; d="scan'208";a="230492325" Received: from hosting4.cc.kyushu-u.ac.jp (HELO h4.hosting4.cc.kyushu-u.ac.jp) ([133.5.13.5]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Jul 2017 10:20:54 +0200 Received: from [192.168.2.36] (unknown [133.5.218.148]) (using TLSv1.2 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) (Authenticated sender: berenger@bioreg.kyushu-u.ac.jp) by h4.hosting4.cc.kyushu-u.ac.jp (hde-lc-postfix) with ESMTPSA id 2BBA92AC1E0 for ; Wed, 5 Jul 2017 17:20:51 +0900 (JST) (envelope-from berenger@bioreg.kyushu-u.ac.jp) To: caml-list@inria.fr From: Francois BERENGER Message-ID: <117158f1-e1d0-1121-8c4b-d21911a4d7a4@bioreg.kyushu-u.ac.jp> Date: Wed, 5 Jul 2017 17:20:51 +0900 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.1.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 7bit Subject: [Caml-list] with oasis, how to create setup.ml.exe ? Hello, I added AlphaFeatures: compiled_setup_ml in my _oasis file, but I don't see this exe being produced. Are there some magic words I should pronounce (on the command line) to make it appear? Which oasis step or invocation of 'ocaml setup.ml' is supposed to produce it? Thanks, F.