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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 457E07ED45 for ; Mon, 2 Jul 2012 16:31:42 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=pra; client-ip=74.55.86.74; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=mailfrom; client-ip=74.55.86.74; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp.webfaction.com) identity=helo; client-ip=74.55.86.74; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="postmaster@smtp.webfaction.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AncEANKv8U9KN1ZKf2dsb2JhbABFhVqxJgEBCwsKCBQnghgBAQQBI1YFCwsSCAIfBwICRwIOBhuHfgUEqFWSXIEgihuFCDJgA5ZGhDETg1CJPg X-IronPort-AV: E=Sophos;i="4.77,510,1336341600"; d="scan'208";a="149387341" Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74]) by mail4-smtp-sop.national.inria.fr with ESMTP; 02 Jul 2012 16:31:41 +0200 Received: from [192.168.0.101] (95-234.197-178.cust.bluewin.ch [178.197.234.95]) by smtp.webfaction.com (Postfix) with ESMTP id EEAA920ECA9B; Mon, 2 Jul 2012 09:31:36 -0500 (CDT) Date: Mon, 2 Jul 2012 16:31:27 +0200 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: Wojciech Meyer Cc: caml-list@inria.fr, Edgar Friendly Message-ID: In-Reply-To: References: <12E1C9A9EB7E4DA1B609D88D360B797B@erratique.ch> X-Mailer: sparrow 1.6.1 (build 1081.52) MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Subject: Re: [was: [Caml-list] [ANN] oasis v0.3.0: Architecture for building OCaml libraries and applications] Pb with type_conv & odb Le lundi, 2 juillet 2012 =C3=A0 16:04, Wojciech Meyer a =C3=A9crit : > You can simply reissue: >=20=20 > ocaml setup.ml -build > ocaml setup.ml -install >=20=20 > in ~/.odb/install-type_conv/type_conv-108.00.01/ >=20=20 > that should work. Thanks. That did it --- however it installed the whole thing in `/usr/local= /lib/ocaml/site-lib/type_conv/`, but I don't really care.=20=20 Except that problem, oasis 0.0.3 installed fine with odb and ocaml 4.00.0+b= eta2 on osx 10.7.4 simply with : ocaml odb.ml --unstable oasis Best, Daniel