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 E8BDE7EEFD for ; Fri, 2 Oct 2015 11:38:49 +0200 (CEST) IronPort-PHdr: 9a23:lUjcYhWDTtcKw/CkPl9LyfmpxFrV8LGtZVwlr6E/grcLSJyIuqrYZhyHt8tkgFKBZ4jH8fUM07OQ6PC8HzJcqs/Z+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8GVPVkD3WL1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu3SNp41Rr1ADTkgL3t9pIiy7UGCHkOz4S4nQ2EImxtOSyzIpD7zWpO55jDrsvR02S+yOcCzQrkwXXKk4rs9GzHyjyJSEjc29nzMwvBwgbhdoRSu70h6yoHSfZq9KPpzZKXce9xcQnBOCJUCHxddC5+xOtNcR9EKOvxV+syk/wMD Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=magnus@therning.org; spf=None smtp.mailfrom=magnus@therning.org; spf=None smtp.helo=postmaster@mail-wi0-f170.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of magnus@therning.org) identity=pra; client-ip=209.85.212.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="magnus@therning.org"; x-sender="magnus@therning.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of magnus@therning.org) identity=mailfrom; client-ip=209.85.212.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="magnus@therning.org"; x-sender="magnus@therning.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f170.google.com) identity=helo; client-ip=209.85.212.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="magnus@therning.org"; x-sender="postmaster@mail-wi0-f170.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ApAQDVTw5WlKrUVdFeg3toBr4JgX2FdwKBNzoSAQEBAQEBAQEQAQEBAQcLCwkfMIIdgggBAQMBEmcFCwshJQ8FIAEFASITIogECAQBAwWpKoEwPjGgEAEBAQEBAQEBAQEBAQEBAQEBARoKi2eCboE8EQFRB4MYgRQFlXyFF4d4B1V+R4ZhixEWg0+CIzWBFygCgmCBXW+IOIFAAQEB X-IPAS-Result: A0ApAQDVTw5WlKrUVdFeg3toBr4JgX2FdwKBNzoSAQEBAQEBAQEQAQEBAQcLCwkfMIIdgggBAQMBEmcFCwshJQ8FIAEFASITIogECAQBAwWpKoEwPjGgEAEBAQEBAQEBAQEBAQEBAQEBARoKi2eCboE8EQFRB4MYgRQFlXyFF4d4B1V+R4ZhixEWg0+CIzWBFygCgmCBXW+IOIFAAQEB X-IronPort-AV: E=Sophos;i="5.17,622,1437429600"; d="asc'?scan'208";a="149376748" Received: from mail-wi0-f170.google.com ([209.85.212.170]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Oct 2015 11:38:49 +0200 Received: by wiclk2 with SMTP id lk2so23377527wic.1 for ; Fri, 02 Oct 2015 02:38:48 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:date:from:to:cc:subject:message-id:references :mime-version:content-type:content-disposition:in-reply-to :user-agent; bh=zYgWI8AFuoc1GLzNbXmWcL0mGAKZIAORgDqdaUW/V7Y=; b=evo1PmGN5La5ev0uZ9Fg8hZymLFGH77jTGUzKGn7KVzn0F1/cZ7jZEE0ODrkrciHII FYe3Ju8kqVwelkDXLx0l/qbdKMrGkw9rxQw7SayTk1Xk5DNLHTL9axDS98TTX+O/aZ1U 4FoYGhckw+fNrXq6iyi2TTt5JTzHnkXb5jT0eId+hEJ6RnYLpCh9RvNletO/Q5gfYhd3 vKtD7PxJJ/3HeglLJohKoWaMdgZYmPGDF7K9oMqiawImqoJ1GzA1GqdeCjyTWt0EeRBE 4ztLdHewqTul9qncNoUr6OqSVgsvstiwkYpvOhnCDTv9kKh1D8l2XaPIJy19O9XQSp/u 9QGA== X-Gm-Message-State: ALoCoQkNyt2Ei5D5RxycFGDXQDw+iLt+FHcwura7RESL+cynQUm3PAyBZbEvJgP8j9QH4vW4HY+R X-Received: by 10.180.205.234 with SMTP id lj10mr3056831wic.49.1443778728722; Fri, 02 Oct 2015 02:38:48 -0700 (PDT) Received: from sobel.cipherstone.com (pc-132.aktiviteten.se. [194.218.229.132]) by smtp.gmail.com with ESMTPSA id p4sm7453617wia.15.2015.10.02.02.38.47 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 02 Oct 2015 02:38:47 -0700 (PDT) Date: Fri, 2 Oct 2015 11:38:45 +0200 From: Magnus Therning To: Sylvain Le Gall Cc: Gabriel Scherer , Anil Madhavapeddy , OCaml List Message-ID: <20151002093845.GD21579@sobel.cipherstone.com> References: <20150923081916.GE22004@sobel.cipherstone.com> <20150923085405.GG22004@sobel.cipherstone.com> <20150923094414.GB25229@sobel.cipherstone.com> <20150930114947.GA21728@sobel.cipherstone.com> <20151001072345.GA9809@sobel.cipherstone.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="Yb+qhiCg54lqZFXW" Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.24 (2015-08-30) Subject: Re: [Caml-list] oasis building out-of-src and camlp4 --Yb+qhiCg54lqZFXW Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Fri, Oct 02, 2015 at 09:32:56AM +0000, Sylvain Le Gall wrote: [...] > OASIS is mostly a glue system that mixes various systems, including > system tools. Under the hood, the setup.ml generated by OASIS will > anyway use "cp" or any ther system tools: > https://github.com/ocaml/oasis/blob/master/src/oasis/OASISFileUtil.ml#L124 Ah, I was under the impression that it was so tightly tied to the platform. > I acknowledge that there is a value in your use case, but right now it > is a corner case for my personal usage. The hack should be enough to > unblock you. If you have an idea how to solve it without the hack, I > will be glad to merge a pull request: > https://github.com/ocaml/oasis Fair enough :) /M --=20 Magnus Therning OpenPGP: 0xAB4DFBA4=20 email: magnus@therning.org jabber: magnus@therning.org twitter: magthe http://therning.org/magnus A system is composed of components: a component is something you understand. -- Professor Howard Aiken --Yb+qhiCg54lqZFXW Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iEYEABECAAYFAlYOUKUACgkQiMWTaatN+6T37ACgl4dqGpIk+UCEQHt+OLApK0e+ kEAAnja165I0DXt55okSRl6piosHFx7Q =JSHM -----END PGP SIGNATURE----- --Yb+qhiCg54lqZFXW--