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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 26B087ED67 for ; Sat, 11 Aug 2012 00:45:21 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of d0@wp.pl) identity=pra; client-ip=212.77.101.7; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="d0@wp.pl"; x-sender="d0@wp.pl"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of d0@wp.pl designates 212.77.101.7 as permitted sender) identity=mailfrom; client-ip=212.77.101.7; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="d0@wp.pl"; x-sender="d0@wp.pl"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mx3.wp.pl) identity=helo; client-ip=212.77.101.7; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="d0@wp.pl"; x-sender="postmaster@mx3.wp.pl"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApkCAMx4JVDUTWUHfWdsb2JhbABEhgGzdiIBAQsLEBQGI4JKFQgBATYCNAIFFgsCCwMCAQIBSw0IAQGHeQEDEKQYboNBAQWFAB4sIYk0BoEhj0CBEpZghDWNJw X-IronPort-AV: E=Sophos;i="4.77,748,1336341600"; d="scan'208";a="169620299" Received: from mx3.wp.pl ([212.77.101.7]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 11 Aug 2012 00:45:20 +0200 Received: (wp-smtpd smtp.wp.pl 55 invoked from network); 11 Aug 2012 00:45:16 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=wp.pl; s=1024a; t=1344638716; bh=OL1bAXIMab3Rd6N3I1ofCvL6pNMxJXFeIqQW0QTbC5k=; h=From:To:Subject; b=M1ET6bb8FpNbdoj/GSIganf3gPVl7WGy4C2E0m5cMK2OMsMOe1VqNoVWLDr2Yp9rX AmulMplfo+0EERXopRGNb9+GGzeOO50ZAnzSk3YAw5zUe8vR0+CHmyin2dTkUlQpuv zxnn1CTQAP0nOmNCvLIT1fum7hwX9veyjE5aJZ3k= Received: from 18-161.2-0.pl (HELO [192.168.1.101]) (d0@[91.189.18.161]) (envelope-sender ) by smtp.wp.pl (WP-SMTPD) with AES256-SHA encrypted SMTP for ; 11 Aug 2012 00:45:16 +0200 Message-ID: <50258EFB.3050907@wp.pl> Date: Sat, 11 Aug 2012 00:45:15 +0200 From: Dawid Toton User-Agent: Mozilla/5.0 (X11; Linux i686; rv:14.0) Gecko/20120714 Thunderbird/14.0 MIME-Version: 1.0 To: caml-list Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-WP-AV: skaner antywirusowy poczty Wirtualnej Polski S. A. X-WP-SPAM: NO 0000000 [QWME] Subject: [Caml-list] Dependency loop: ocaml-core - oasis - type-conv Trying to install sexplib, I've just discovered that it's impossible to get it following all the official install instructions: type-conv is now part of ocaml-core, so I try to install it. Its build-and-install script calls oasis, so I need to get it first. oasis needs ocaml-data-notation, which in turn requires type-conv. What is the simplest way to get sexplib installed from sources? How to get setup.ml or a Makefile for type-conv having no oasis? Dawid