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 68D787ED47 for ; Thu, 19 Jul 2012 12:49:14 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of marc.defalco@gmail.com) identity=pra; client-ip=209.85.160.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="marc.defalco@gmail.com"; x-sender="marc.defalco@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of marc.defalco@gmail.com designates 209.85.160.54 as permitted sender) identity=mailfrom; client-ip=209.85.160.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="marc.defalco@gmail.com"; x-sender="marc.defalco@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pb0-f54.google.com) identity=helo; client-ip=209.85.160.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="marc.defalco@gmail.com"; x-sender="postmaster@mail-pb0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArICAMPlB1DRVaA2imdsb2JhbABFhDC1DwgiAQEBCgkNGQYjghciAiwBOQMNBQgBAgVdEgEFAVeHXAMMnQ2CYQkDjxSFLycNiUgBBQyPKIMcA5VEjiw+gVSCLA X-IronPort-AV: E=Sophos;i="4.77,615,1336341600"; d="scan'208";a="151137971" Received: from mail-pb0-f54.google.com ([209.85.160.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Jul 2012 12:49:13 +0200 Received: by pbbro2 with SMTP id ro2so5308829pbb.27 for ; Thu, 19 Jul 2012 03:49:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:from:date:x-google-sender-auth:message-id :subject:to:content-type; bh=b9s0Urj95qkE6RGGcJiQKMDPmcEADTWZNnSYyc426sE=; b=kwHB2uoApQ+UIB/BQn9EfKNQM6PcJmQRVEgFhgyvRNlFcoZ4DskKm+XwQ3GF6BQdVu xx0NiX+ID7jhrekPpHrZjdzoLBHYaUA/OMka/G5JlMZo8HJ0V888y02H9WB8fl/SAk8W GLKkn8gfsdqVSM/265DemBphbcRQd9Je2Tw5EuqfxWl8uItyN7K+DUOsvSFy/asNGvHc OGc7Fs329/b88RyPHc/MkkmHcYjoCsu8L3UyibNZ+6A+GO4ghyWbzy3Y6W19ypwWsRtM 8wG571ASVd3K4sA9tbxlmETVa2U2RuPQ4GxLiwHl8TXaj4iERtZeT7U0GfqDxuDHnV3u oM7A== Received: by 10.68.233.132 with SMTP id tw4mr4331655pbc.61.1342694951761; Thu, 19 Jul 2012 03:49:11 -0700 (PDT) MIME-Version: 1.0 Sender: marc.defalco@gmail.com Received: by 10.66.43.80 with HTTP; Thu, 19 Jul 2012 03:48:51 -0700 (PDT) From: Marc de Falco Date: Thu, 19 Jul 2012 12:48:51 +0200 X-Google-Sender-Auth: nf1rK3CZMLZflqX2SbLr1MB27dA Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=047d7b33cac6a436ba04c52c87f4 Subject: [Caml-list] [ocamlbuild] appending .exe to files on windows --047d7b33cac6a436ba04c52c87f4 Content-Type: text/plain; charset=ISO-8859-1 Hi, I'm trying to set up an environment for teaching ocaml in windows. So far I'm using OcaIDE+ocamlbuild but I've got an issue with .byte and .native files. With some easy magic I can run them, but with a .byte.exe extension it will be straightforward for students. Does anyone know if there's a way to do this from ocamlbuild options ? I'd rather like not to add copy or steps. Marc de Falco --047d7b33cac6a436ba04c52c87f4 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Hi,
=A0I'm trying to set up an environment for teaching ocaml in win= dows. So far I'm using OcaIDE+ocamlbuild but I've got an issue with= .byte and .native files. With some easy magic I can run them, but with a .= byte.exe extension it will be straightforward for students.
Does anyone know if there's a way to do this from ocamlbuild options ? = I'd rather like not to add copy or steps.

Marc de Falco
--047d7b33cac6a436ba04c52c87f4--