From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <ygrek@autistici.org>
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 194007F7AF
	for <caml-list@sympa.inria.fr>; Sun, 11 Oct 2015 01:13:14 +0200 (CEST)
IronPort-PHdr: 9a23:PlHboxB9wjI56456NM3nUyQJP3N1i/DPJgcQr6AfoPdwSP74psbcNUDSrc9gkEXOFd2CrakU16yJ4uu5CTZIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/ni6btqtaKM18ArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIYTGZn9Kq8xSLgdCDU9L0g04tfqvF/NV1ih/HwZB3QZiBdLS1zU4wv3Xb/4rzf7rfZ80yjcOtf5G+NnEQ++5rtmHUe7wBwMMCQ0pTna
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ygrek@autistici.org; spf=Pass smtp.mailfrom=ygrek@autistici.org; spf=Pass smtp.helo=postmaster@perdizione.investici.org
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  ygrek@autistici.org) identity=pra; client-ip=94.23.50.208;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="ygrek@autistici.org";
  x-sender="ygrek@autistici.org"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  ygrek@autistici.org designates 94.23.50.208 as permitted
  sender) identity=mailfrom; client-ip=94.23.50.208;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="ygrek@autistici.org";
  x-sender="ygrek@autistici.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  postmaster@perdizione.investici.org designates 94.23.50.208
  as permitted sender) identity=helo; client-ip=94.23.50.208;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="ygrek@autistici.org";
  x-sender="postmaster@perdizione.investici.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0ANEQBQmhlWnNAyF15EGoN6br9RI4Jwggp/AoEgOxEBAQEBAQEBARABAQEBAQgLCQkhLkEBAQEDAYFXgggBAQMBOgYBATgECwsJGCUPEjYZiBkDCgwJO64thVYBBYk7DYUhAQEBAQYBAQEBGAIEi3GCUIJEF4QXjgiIEIFSg0eGDYFsCIkTiyeHSTeCMA0WB4F0UQGBRIExUhaCPoFOAQEB
X-IPAS-Result: A0ANEQBQmhlWnNAyF15EGoN6br9RI4Jwggp/AoEgOxEBAQEBAQEBARABAQEBAQgLCQkhLkEBAQEDAYFXgggBAQMBOgYBATgECwsJGCUPEjYZiBkDCgwJO64thVYBBYk7DYUhAQEBAQYBAQEBGAIEi3GCUIJEF4QXjgiIEIFSg0eGDYFsCIkTiyeHSTeCMA0WB4F0UQGBRIExUhaCPoFOAQEB
X-IronPort-AV: E=Sophos;i="5.17,664,1437429600"; 
   d="scan'208";a="150173309"
Received: from perdizione.investici.org ([94.23.50.208])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 11 Oct 2015 01:13:13 +0200
Received: from [94.23.50.208] (perdizione [94.23.50.208]) (Authenticated sender: ygrek@autistici.org) by localhost (Postfix) with ESMTPSA id CCBE512029E
	for <caml-list@inria.fr>; Sat, 10 Oct 2015 23:13:09 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=autistici.org;
	s=stigmate; t=1444518790;
	bh=vjC2mwMmvReIC618bHgexR4m1Eu4gu6Ox5I5xp8wP0I=;
	h=Date:From:To:Subject:In-Reply-To:References;
	b=kvmTtoK96eKgUcdXvDwIWy7fyzWiumKdgE5YDYIxiYwLSInuuNZ4T/a/Qqxnia0mB
	 h0Id8oHcSmzD0DuyBZGMr++WC8Qm9FFvT76q1EjIX+/G4HKoA2wQzJCPWMW+UHJKhY
	 GtgTVoUil93S0aaY/uzjeASntra/WYOXpVzBrO9M=
Date: Sat, 10 Oct 2015 16:13:07 -0700
From: ygrek <ygrek@autistici.org>
To: caml-list@inria.fr
Message-ID: <20151010161307.4f057039@kiwi.local.tld>
In-Reply-To: <87a8rqtr6d.fsf@eugene-vaio.home>
References: <87a8rqtr6d.fsf@eugene-vaio.home>
X-Mailer: Claws Mail 3.12.0 (GTK+ 2.24.25; x86_64-pc-linux-gnu)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Oasis: install additional files with ocamlfind

On Sat, 10 Oct 2015 23:16:42 +0300
Evgenii Lepikhin <johnlepikhin@gmail.com> wrote:

> Any ideas?

https://forge.ocamlcore.org/tracker/index.php?func=detail&aid=802&group_id=54&atid=294 :/

--