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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 7FF798018B for ; Thu, 6 Jul 2017 01:52:57 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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=3AI2N2SBN7UDvyt69mpXMl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0LfX4rarrMEGX3/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+cPPfxYoJP7p1QSqhu+BBKsD/7yxzFHmnH40rU03eUuHw/awQctGMkBv2?= =?us-ascii?q?rOrNrrMqcSXv66zLPTwDrYbvNW3i3955bHchw7ovGNXa9wcdHRyUkyDg/Fk0+c?= =?us-ascii?q?ppb5MD+P1OQNq3GW4ux9Xuysk24qsxx9rzahy8s2ioTFnJ8Zx17e+Sh52Io5ON?= =?us-ascii?q?O1RUBhbdOkCpdcqTyWOohsTs8/TGxluyA3waAct5GhZigF0pEnygbfa/OZd4iI?= =?us-ascii?q?5QruVOaeLDtihHJlf6m/hwqz8Uimxe3xWdO430pWoSZfkdnNtm0N1wfT6siaU/?= =?us-ascii?q?d9412t1iyT2AzJ6OFEOVg4lavdK5E/3r49jocfvErNEyPsmEj6lrKae0s+9uWo?= =?us-ascii?q?8+jnZ6/ppp6YN496kAH+NaEul9SkDusmKAgBQW6b+eui27355kD2W7RKjvoskq?= =?us-ascii?q?bHv5DWP8cbp66kAw9O0oYj9g+zDyq83NsCgXYLNlBFeAqfg4jzJ17OOOz4Deu4?= =?us-ascii?q?g1m0jDhk3fXGPrn4DpXJL3jDi6vhcK1m609czQoz1cpQ64hVCrEHOvLzW1X+uM?= =?us-ascii?q?bWDh8jYESIxLPsAdB5k4cfQn6nA6mDMaqUv0XbyPgoJryifoYTszH8MLAPysTD?= =?us-ascii?q?q1AUoxdJd6Sz0J0YZWqQFPVhOUiWJ3n9n8wBDCIX+AM1Cu7y3g7RGQVPbmq/Cv?= =?us-ascii?q?pvrgowD5irWN/O?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DTAADrel1ZlwUNBYVcGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBhBEDgQ2OfJB2mBIBI4V4AoNfFAEBAQEBAQE?= =?us-ascii?q?BAQEBEgEBAQEBBhgGV4IzIoJDAQEBAQIBIw8BBUEFCwsYAgImAgIfOBMIAQGKI?= =?us-ascii?q?wevToImh3MagzgBAQEHAgElgQuCHIVYgnmFNoJHgmEFh0gHigGNNh6HKYw+gmK?= =?us-ascii?q?IQoZ6lTM2gSuBCkmFI4IBZ4kDAQEB?= X-IPAS-Result: =?us-ascii?q?A0DTAADrel1ZlwUNBYVcGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBhBEDgQ2OfJB2mBIBI4V4AoNfFAEBAQEBAQEBAQEBEgEBAQEBB?= =?us-ascii?q?hgGV4IzIoJDAQEBAQIBIw8BBUEFCwsYAgImAgIfOBMIAQGKIwevToImh3Magzg?= =?us-ascii?q?BAQEHAgElgQuCHIVYgnmFNoJHgmEFh0gHigGNNh6HKYw+gmKIQoZ6lTM2gSuBC?= =?us-ascii?q?kmFI4IBZ4kDAQEB?= X-IronPort-AV: E=Sophos;i="5.40,314,1496095200"; d="scan'208";a="282230673" Received: from hosting4.cc.kyushu-u.ac.jp (HELO h4.hosting4.cc.kyushu-u.ac.jp) ([133.5.13.5]) by mail2-smtp-roc.national.inria.fr with ESMTP; 06 Jul 2017 01:52:55 +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 F0DB82AC978; Thu, 6 Jul 2017 08:52:51 +0900 (JST) (envelope-from berenger@bioreg.kyushu-u.ac.jp) To: caml-list@inria.fr References: <117158f1-e1d0-1121-8c4b-d21911a4d7a4@bioreg.kyushu-u.ac.jp> <9f0cfe52-51db-6e38-67b8-1f4dd8949a91@planete-kraus.eu> Cc: sylvain@le-gall.net From: Francois BERENGER Message-ID: <53fb9d24-28fe-7e95-21ec-64579b6615b4@bioreg.kyushu-u.ac.jp> Date: Thu, 6 Jul 2017 08:52:51 +0900 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.1.1 MIME-Version: 1.0 In-Reply-To: <9f0cfe52-51db-6e38-67b8-1f4dd8949a91@planete-kraus.eu> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] with oasis, how to create setup.ml.exe ? On 07/05/2017 06:28 PM, Vivien Kraus wrote: > Hello, > It is produced by the configure script from DevFiles, and not the > setup.ml script. OK, you are right and it fixed my problem. However, oasis doesn't complain when --- AlphaFeatures: compiled_setup_ml --- is present but --- Plugins: DevFiles (0.4) --- is not. I think it's a bug. At least a warning should be generated in this case. Or, maybe oasis should infer automatically the Plugins part. Thanks for the help, F. > 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. >> >