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 20B718018B for ; Wed, 5 Jul 2017 11:28:51 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vivien@planete-kraus.eu; spf=PermError smtp.mailfrom=vivien@planete-kraus.eu; spf=PermError smtp.helo=postmaster@planete-kraus.eu Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of vivien@planete-kraus.eu) identity=pra; client-ip=89.234.140.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="vivien@planete-kraus.eu"; x-sender="vivien@planete-kraus.eu"; x-conformance=sidf_compatible Received-SPF: PermError (mail3-smtp-sop.national.inria.fr: cannot correctly interpret sender authenticity information from domain of vivien@planete-kraus.eu) identity=mailfrom; client-ip=89.234.140.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="vivien@planete-kraus.eu"; x-sender="vivien@planete-kraus.eu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: PermError (mail3-smtp-sop.national.inria.fr: cannot correctly interpret sender authenticity information from domain of postmaster@planete-kraus.eu) identity=helo; client-ip=89.234.140.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="vivien@planete-kraus.eu"; x-sender="postmaster@planete-kraus.eu"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AcqCUNBNbvtiGlKkb05Ul6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Lf/+rarrMEGX3/hxlliBBdydsKMbzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZPebgFKiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhS?= =?us-ascii?q?kaKTA5/mHZhM9+gq1Vrx2upQBwzYHPbYGJN/dzZL/Rcc8USGdDWMtaSixPApm7?= =?us-ascii?q?b4sKF+cOMudYr5f8p1QQqxu1GAyiBPn1xT9VnX/9wKo30/ogEQHY3QwvAdQOvW?= =?us-ascii?q?/MrNXxLqgSV/66zLXWwjnabPNWwy3y6JXTchw7v/6MQKt9fMzMwkcsDwPIllad?= =?us-ascii?q?pIj/Mz+L2OkAvHKX4/dvWO6zkWIrtgJ8ria3yssxhITEiZgZxk7Z+Sh22oo5O8?= =?us-ascii?q?C0RUFhbdOnHpZdsTyROZFsTcM4WW5ovT43yr0Ytp6/eygH0IwnxxrFZPyBbYeI?= =?us-ascii?q?/gzsWP+SITdinn1lZam/iwys/ki90uH8V8+030hWriddkdTBsmoB2wLd58WIUP?= =?us-ascii?q?dx40is1SqV2wzO6exIP1g4la/BJJ4gxr4wmIATsUPGHiLuhkX2jbGWdkQ69eiu?= =?us-ascii?q?8OnnerHmqYWaN4BqlgHxLL0ims+lAesiLwgORHKX9vqh1LH75032XK1KjuEqkq?= =?us-ascii?q?neqJ3VOd4Upqu9AwNM1oYj6g2/Dyu93dQDnXgHKUpFdwidg4joPVHOOvH4Au2l?= =?us-ascii?q?j1Siijc4j8zBa7boB5GIKnnYjJ/ge6x84ghS0lkd19dasqxVFLAMJrrQQEbsr5?= =?us-ascii?q?SMEB4nMgGy6/7jAdNwyo5bWniGH7TfPb6E4gzA3f4mP+TZPNxdgz36MfVwv/M?= =?us-ascii?q?=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AlDAB+sFxZ/7aM6llcHgYMGQYMgy5jg?= =?us-ascii?q?RCgApgGJIV4AoMPQxQBAQEBAQEBAQEBAWoogjMigkQGIw8BVgsaAiYCAlcTCAE?= =?us-ascii?q?BiisEsjiCJos8MoELghyFWIFHgTKFNoJHgmEFnwaHR40tgXOPPJUzNiGBCjEhC?= =?us-ascii?q?B4SSYcXdIhpAQEB?= X-IPAS-Result: =?us-ascii?q?A0AlDAB+sFxZ/7aM6llcHgYMGQYMgy5jgRCgApgGJIV4AoM?= =?us-ascii?q?PQxQBAQEBAQEBAQEBAWoogjMigkQGIw8BVgsaAiYCAlcTCAEBiisEsjiCJos8M?= =?us-ascii?q?oELghyFWIFHgTKFNoJHgmEFnwaHR40tgXOPPJUzNiGBCjEhCB4SSYcXdIhpAQE?= =?us-ascii?q?B?= X-IronPort-AV: E=Sophos;i="5.40,311,1496095200"; d="scan'208";a="230506061" Received: from planete-kraus.eu ([89.234.140.182]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 05 Jul 2017 11:28:46 +0200 Received: from wifi-ext-0082.univ-lyon1.fr ([134.214.214.83] helo=[10.42.227.80]) by planete-kraus.eu with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.89) (envelope-from ) id 1dSgc1-00047P-06 for caml-list@inria.fr; Wed, 05 Jul 2017 11:28:45 +0200 To: caml-list@inria.fr References: <117158f1-e1d0-1121-8c4b-d21911a4d7a4@bioreg.kyushu-u.ac.jp> From: Vivien Kraus Message-ID: <9f0cfe52-51db-6e38-67b8-1f4dd8949a91@planete-kraus.eu> Date: Wed, 5 Jul 2017 11:28:44 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 MIME-Version: 1.0 In-Reply-To: <117158f1-e1d0-1121-8c4b-d21911a4d7a4@bioreg.kyushu-u.ac.jp> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] with oasis, how to create setup.ml.exe ? Hello, It is produced by the configure script from DevFiles, and not the setup.ml script. See your "configure script", it has a line for this : if [ ! -e setup.exe ] || [ _oasis -nt setup.exe ] || [ setup.ml -nt setup.exe ] || [ configure -nt setup.exe ]; then ocamlfind ocamlopt -o setup.exe setup.ml || ocamlfind ocamlc -o setup.exe setup.ml || exit 1 rm -f setup.cmi setup.cmo setup.cmx setup.o setup.cmt fi Regards, Vivien Le 05/07/2017 à 10:20, Francois BERENGER a écrit : > 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. >