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 35B997F734 for ; Wed, 23 Sep 2015 10:54:22 +0200 (CEST) IronPort-PHdr: 9a23:OaT4TBfj0/ZH9NQSILCQTv5LlGMj4u6mDksu8pMizoh2WeGdxc6yYh7h7PlgxGXEQZ/co6odzbGG7+a8AydYv96oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDuvcGJKF0WzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IeezAcq85Vb1VCig9eyBwvZWz9EqLcQzayXIWSGQbllJzCAjI9hzgFsP+uyHgt+d5njKRPcDsQKocVjGr7qMtQxjt3nQpLTk8pUTehcptl+pnoB+7oR15zMaAZYiaMudlVr/dcMkcRGxOGMFLWHoSUcuHc4ITAr9Zbq5jpI7nqg5L9EPmCA== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=magnus@therning.org; spf=None smtp.mailfrom=magnus@therning.org; spf=None smtp.helo=postmaster@mail-wi0-f173.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of magnus@therning.org) identity=pra; client-ip=209.85.212.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="magnus@therning.org"; x-sender="magnus@therning.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of magnus@therning.org) identity=mailfrom; client-ip=209.85.212.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="magnus@therning.org"; x-sender="magnus@therning.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f173.google.com) identity=helo; client-ip=209.85.212.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="magnus@therning.org"; x-sender="postmaster@mail-wi0-f173.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A/AQBnaAJWlK3UVdFdg3hjBr1VgXaFfQKBRjkTAQEBAQEBAQEQAQEBAQcLCwkfMIIdggcBAQEDARJnBQsLGAklDwUgAQUBIhMiiAQIBAEDqQKBMD4xn2MBAQEBAQEBAwEBAQEBARwKi2aEKhEBUQeELAWHL4Z+hzqFEYdzBVGBRIZeimgUhWs1gRcjAoRBb4gugT8BAQE X-IPAS-Result: A0A/AQBnaAJWlK3UVdFdg3hjBr1VgXaFfQKBRjkTAQEBAQEBAQEQAQEBAQcLCwkfMIIdggcBAQEDARJnBQsLGAklDwUgAQUBIhMiiAQIBAEDqQKBMD4xn2MBAQEBAQEBAwEBAQEBARwKi2aEKhEBUQeELAWHL4Z+hzqFEYdzBVGBRIZeimgUhWs1gRcjAoRBb4gugT8BAQE X-IronPort-AV: E=Sophos;i="5.17,577,1437429600"; d="asc'?scan'208";a="179033248" Received: from mail-wi0-f173.google.com ([209.85.212.173]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Sep 2015 10:54:08 +0200 Received: by wiclk2 with SMTP id lk2so58769778wic.1 for ; Wed, 23 Sep 2015 01:54:08 -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=U481nWeHODdFRbg2YpusrzZfkuWZx/zQuXvNi+EPEA0=; b=SIzsz+GEdTDHjpcNiJMBMJe+MTxLJtbITKdapK1Q+7bh8SjFtB/CuJKEi1yM3+akV5 ytctMTpyLTI9maFtSrjMI6CYmID1Q3mxBwJWFZfTPxsO9OpvyCSu5GlMfvO9XFnjUbbo 85VTDfBhLyt2Zl66OBUU8NIS++bdurG6SR7vak8ExF+aa5MwMuO7XTKJSNRczAquQvCL REj5/JgLogmjUTjitAedXnO5/mX+i8ZdC8KayK+w0SFHql7ALl5WD4Q1zJIlPW11fHTo xm6mk1gJMrtpvXXd6ysicHjX/z9wcchhrW4//ISamDfcrHrRzQkLHVphQSgh91rQMere ACKw== X-Gm-Message-State: ALoCoQmOB0dd8aqH5hPxkxYcw5df/azXNKClkBQK4qQWrqCcxzJZIFW9DZz98cZKWwzLZ6i6y5IN X-Received: by 10.194.104.200 with SMTP id gg8mr38020773wjb.144.1442998448430; Wed, 23 Sep 2015 01:54:08 -0700 (PDT) Received: from sobel.cipherstone.com (pc-132.aktiviteten.se. [194.218.229.132]) by smtp.gmail.com with ESMTPSA id s2sm7400138wib.15.2015.09.23.01.54.07 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 23 Sep 2015 01:54:07 -0700 (PDT) Date: Wed, 23 Sep 2015 10:54:05 +0200 From: Magnus Therning To: Gabriel Scherer Cc: Anil Madhavapeddy , OCaml List , Sylvain Le Gall Message-ID: <20150923085405.GG22004@sobel.cipherstone.com> References: <20150922211237.GA22711@tatooine> <20150923081916.GE22004@sobel.cipherstone.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="pE2VAHO2njSJCslu" 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 --pE2VAHO2njSJCslu Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Wed, Sep 23, 2015 at 10:38:31AM +0200, Gabriel Scherer wrote: > Thanks for the reproducible information. I just tried and could > reproduce the issue. >=20 > The problem comes from the fact that, with the command-line invocation > you use oasis generates the build description files (_tags, > myocamlbuild.ml, setup.data) in the build directory, not in the source > directory, but ocamlbuild when invoked (from the source directory) > will look for them in the source directory. In particular, I could > "fix" the build by doing Indeed, the goal is to not contaminate the source directory *at all*. > ... > ocaml setup.ml -C $PWD/../oasis-camlp4 -configure > for f in {myocamlbuild.ml,_tags,setup.data}; do ln -s $PWD/$f > ../oasis-camlp4; done > ocaml setup.ml -C $PWD/../oasis-camlp4 -build -build-dir $PWD/build >=20 > It looks like oasis's behavior with "-C $DIR -configure" is > problematic: it should generate its files in $DIR -- except maybe > setup.ml, or then people would have to run (ocaml $DIR/setup.ml -C > $DIR ...). I've been playing around a bit with the various combinations of where I run `ocaml /setup.ml` and `-C`. Since the steps work on "simple" code, but doesn't on code using `camlp4` I'm leaning towards calling this a bug. > TL;DR: this appear to be an oasis issue, rather than a issue with > CMake or ocamlbuild. Yes, I'm guessing it's an issue in the code generated by `oasis` and how it uses `ocamlbuild` and other build tools. /M --=20 Magnus Therning OpenPGP: 0xAB4DFBA4=20 email: magnus@therning.org jabber: magnus@therning.org twitter: magthe http://therning.org/magnus The man who is denied the opportunity of taking decisions of importance begins to regard as important the decisions he is allowed to take. -- C Northcote Parkinson --pE2VAHO2njSJCslu Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iEYEABECAAYFAlYCaK0ACgkQiMWTaatN+6QvGACeL2T8bylE1V0QTobHW02UrEpK JBcAoNZfN72JQvmSo2Rw+yoDaY4H+kmA =BacC -----END PGP SIGNATURE----- --pE2VAHO2njSJCslu--