From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 81DE77F7AF for ; Sun, 11 Oct 2015 03:36:02 +0200 (CEST) IronPort-PHdr: 9a23:mJo44xXRsZgZZAAzeRYRCuVQ7MnV8LGtZVwlr6E/grcLSJyIuqrYZhODt8tkgFKBZ4jH8fUM07OQ6PC8HzNRqszY6jgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfTR8Kum9IIPOlcP/j7n0oM2PJVoZz2DkO/tbF1afk0b4joEum4xsK6I8mFPig0BjXKBo/15uPk+ZhB3m5829r9ZJ+iVUvO89pYYbCf2pN4xxd7FTDSwnPmYp/4Wr8ECbFUrcrkcbB3QZiBdLS1zU4wv3Xb/4rzf7rfZ80yjcOtf5G+MaQzOnuohmUhOgszsAMyY8+WfRwphxiqxciB2svRA62JLTZJmQPfx4OK/QK4BJDVFdV9pcAnQSSri3aJECWq9YZb5V Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=info@gerd-stolpmann.de; spf=None smtp.mailfrom=info@gerd-stolpmann.de; spf=None smtp.helo=postmaster@mout.kundenserver.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.130; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.130; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.126.130; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BzAgBovBlWm4J+49REGoN6br9RFwyCcIIKfwKBHTsRAQEBAQEBAQEQAQEBAQEGCwsJIS6CH4IIAQEEVSQQCxguITYGEwmIEAMWCTu9OQ2FIQEBAQEBAQQBAQEBAR2FeIV5glCCFyYHgi4MQ4ExBYc8jleBAAKEF4YNgXSJDwSLJ4dJN4I9FgeBVm8Bh2kBAQE X-IPAS-Result: A0BzAgBovBlWm4J+49REGoN6br9RFwyCcIIKfwKBHTsRAQEBAQEBAQEQAQEBAQEGCwsJIS6CH4IIAQEEVSQQCxguITYGEwmIEAMWCTu9OQ2FIQEBAQEBAQQBAQEBAR2FeIV5glCCFyYHgi4MQ4ExBYc8jleBAAKEF4YNgXSJDwSLJ4dJN4I9FgeBVm8Bh2kBAQE X-IronPort-AV: E=Sophos;i="5.17,665,1437429600"; d="asc'?scan'208";a="150175926" Received: from mout.kundenserver.de ([212.227.126.130]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 11 Oct 2015 03:35:59 +0200 Received: from office1.lan.sumadev.de ([88.69.148.31]) by mrelayeu.kundenserver.de (mreue004) with ESMTPSA (Nemesis) id 0LqHAa-1aFjP40QoC-00dphk; Sun, 11 Oct 2015 03:35:58 +0200 Received: from [192.168.65.10] (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 620BFDC05D; Sun, 11 Oct 2015 03:35:56 +0200 (CEST) Message-ID: <1444527346.5680.3.camel@e130.lan.sumadev.de> From: Gerd Stolpmann To: ygrek Cc: caml-list@inria.fr, Evgenii Lepikhin Date: Sun, 11 Oct 2015 03:35:46 +0200 In-Reply-To: <20151010161307.4f057039@kiwi.local.tld> References: <87a8rqtr6d.fsf@eugene-vaio.home> <20151010161307.4f057039@kiwi.local.tld> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-VDLoNyyVuEuNcQHUB08Y" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:Dny6BiHRE6B2u7dApOILUyGQJdqu5CnQND1Uq+rV44+ETHnqN/M VOzoox4o+2dSjdgfrdnM/FMFe1OlsoQsfGYLlVKu/bb343ushME+wWoaA8RA4pErfzE5UNX Ihzt/SEjcRJ0SsVWBXKXtQ+89yIwX+YzOBhnifAM43oKqfzkFCqSyzb+f1QdzKWVmlhKhsG cHutVygS9DRsMJRpQTT2A== X-UI-Out-Filterresults: notjunk:1;V01:K0:H0ABV0Pft10=:pv26GYWE9CHeROJGVNIq+w GWLsgrKtpvVhnjuGemm6Y7qcwB5uRQi2cw1iuQ1ocQ9ADpL+RCo6TUgIObYGiak9++LVdPuda JmkdlhI9NryYai2YyBqQ4LdNz0e6ut2Ctb9wkqEBfI3pFLvaxDUNERY+fogu3lZWNyudgejO6 t29YWbDOJUKvrR3pkwJOfIzji4CC4KlEnsDOLA4d+M8ZkA7LXEGxxyeTtHyJxK/93BXClU7zk /XGoSRhCSOlO1jLri9n4kD9las117REjBWuovfUjmegXe0jceQzNwr+NvVG+4L0+SdsMv0rZD XOsicnMOlaVzdrWn7e/1kRm1qYmTjNRLQl4ku0kSL3AK8UdIQiAklJ81tbEI8rHngMiabJErl qJpdBgODqxCXy+HXykb4EubVo2aP6UbKybJ/ZSyGyzkYtXCxlFWsPuTGlLy8h2bAFlIi9GQJP ZgoRB4qJvoNlfCdLlIXcCMmwJt3UizQGLmqhfMwSKw8qYvXv03/k9AkGZUUJ6Kq1tKC+jZeQz DL3tBli+qKWzuF7SANypBcBCB48zjPRe7TbqeJgMd/Zaq/gqeFG8FrkMBReQSlWSLLFytkmOA sv/JeiZm32emHbxL0qraRv9SBax9IesGnh+ijj3NBHqPYD6b+yW3STSr2nwgnGO8F+Mz0cjp4 c3vLPYwYZoKhjOgvSFiMSMNMqHtBiUzqa0X+yDxieZlPiIrd4uyWt6zk/DEdnbODhcKNL7Rs/ PJpWBwN+pRZ+zvtL Subject: Re: [Caml-list] Oasis: install additional files with ocamlfind --=-VDLoNyyVuEuNcQHUB08Y Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable If you are adventurous, you can try out the new omake backend for oasis:=20 https://github.com/gerdstolpmann/oasis/tree/gs-omake See README-omake.txt in this directory. It supports an omake variable EXTRA_INSTALL_FILES for putting extra files into the findlib directory. I wrote the omake plugin especially because customization is much easier with omake. The plugin is not yet released, though, but any testing is welcome. Gerd Am Samstag, den 10.10.2015, 16:13 -0700 schrieb ygrek: > On Sat, 10 Oct 2015 23:16:42 +0300 > Evgenii Lepikhin wrote: >=20 > > Any ideas? >=20 > https://forge.ocamlcore.org/tracker/index.php?func=3Ddetail&aid=3D802&gro= up_id=3D54&atid=3D294 :/ >=20 > --=20 >=20 --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --=-VDLoNyyVuEuNcQHUB08Y Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAABAgAGBQJWGbzyAAoJEAaM4b9ZLB5THewH/RrQirvGo0b2+OWH0rJ8Oa+K pgY6XrjHboX0ZcvRVGguTEiw0QoCGSZjdCTXWYd5UT9je8n/vbzMRrXXjsOcMn7e vNz1S/9sg2asn+N0ImNB1cCkl6wBPKSrccKunY4ygOoY2i/yfbzOA1v36Sqsqq4l 29WdS6t0maOC765wIvqOw8BvP7QAjTcqskn6lvdOufSOwRrn+sflNFx8NnT426Fy 4Mat1kJcYCe0dp/gjgeZeRTQ2oWGXht6lS0xwTkT5Yi2aSxJ1ZP/C8/RDvvOzD04 KF2lTPHCUXCiLP+tW6MdU2R49xRde1t/3BwPaWljIlEe0pXFwjFaNgg0xLxTDYo= =20ML -----END PGP SIGNATURE----- --=-VDLoNyyVuEuNcQHUB08Y--