From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p3KGCFBt030510 for ; Wed, 20 Apr 2011 18:12:15 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvUAAPcEr03RVdo2mGdsb2JhbACEUKBjCBQBAQEBAQgJDQcUJYhvoyyKOIJhhSqJEAEBAwaBI4NOegSOIooCOoEi X-IronPort-AV: E=Sophos;i="4.64,247,1301868000"; d="scan'208";a="93511696" Received: from mail-yi0-f54.google.com ([209.85.218.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 Apr 2011 18:12:09 +0200 Received: by yie12 with SMTP id 12so370489yie.27 for ; Wed, 20 Apr 2011 09:12:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; bh=Kn7poEEEt6dLYdc8wTCfzihn0JtORIPtjpawiJcuEB8=; b=uZ12dCV3KC6UpsK6QUmth2xNdiuoc4cYWQWjNxk5COwQ/qCxbnkMvop60pt/ZYw9ZS PCpT05P/tJ/zIIZ/7W3JC7giX2qXh7qes0QfB9mAQrnz/R772gJfcYhwEbhplXFB50ay BDLgBumVkCq3JY8zeHxaS5tu9EpBAc9Zez3vI= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; b=t7nssIV/VNz9oQlYTaBbuvqIoqle9kDDkyBiUEcU0hEmL6AwErLfmGEQOrW5WKq+JY aDPhXtOndInmoFunJAbB89EXJd3Ecvyf84Es3/Cgsxvy5NA12U9gUWwYgK/zdWEZyOFF 71+RzzocpAs1jID8ZHi/V74xwtdeXwUGCzP3U= MIME-Version: 1.0 Received: by 10.236.176.35 with SMTP id a23mr6503358yhm.386.1303315928486; Wed, 20 Apr 2011 09:12:08 -0700 (PDT) Sender: daniel.c.buenzli@gmail.com Received: by 10.147.136.13 with HTTP; Wed, 20 Apr 2011 09:12:08 -0700 (PDT) In-Reply-To: References: Date: Wed, 20 Apr 2011 16:12:08 +0000 X-Google-Sender-Auth: EkpOIOuthJ0s7oHgXn6Ij2T_LzU Message-ID: From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= To: Joel Reymont Cc: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] oasis & macosx > Yes, why? Thanks for the helpful reply. Anyway, taking the source and following the steps under the Installing section of INSTALL.txt fails (cf. the end of this email). I expected oasis to be able to bootstrap itself based on the ocaml toolchain (at least IIRC that's what Sylvain advertised during his talk at the meeting). If I first need to install manually all what is listed in the Dependency section, it's going to be rather painful. Btw. it is unclear from the documentation how and where oasis installs packages. Best, Daniel > ocaml setup.ml -configure I: Running command '/usr/local/bin/ocamlc.opt -config > '/var/folders/mk/mk0-dAtIFpKB--yfnxDHPU+++TI/-Tmp-/oasis-994693.txt'' W: Field 'pkg_fileutils' is not set: PropList.Not_set("ocamlfind", 0) W: Field 'pkg_pcre' is not set: PropList.Not_set("ocamlfind", 0) W: Field 'ocamlify' is not set W: Field 'ocamlfind' is not set W: Field 'pkg_unix' is not set: PropList.Not_set("ocamlfind", 0) W: Field 'ocamlfind' is not set W: Field 'pkg_extlib' is not set: PropList.Not_set("ocamlfind", 0) W: Field 'pkg_findlib' is not set: PropList.Not_set("ocamlfind", 0) W: Field 'pkg_odn' is not set: PropList.Not_set("ocamlfind", 0) W: Field 'pkg_ocamlgraph' is not set: PropList.Not_set("ocamlfind", 0) W: Not_found W: Field 'pkg_ounit' is not set: PropList.Not_set("ocamlfind", 0) W: Field 'pkg_expect_pcre' is not set: PropList.Not_set("ocamlfind", 0) E: Cannot find external tool 'ocamlify' E: Cannot find findlib package expect.pcre (>= 0.0.2) E: Cannot find findlib package extlib E: Cannot find findlib package fileutils E: Cannot find findlib package fileutils (>= 0.4.2) E: Cannot find findlib package findlib E: Cannot find findlib package oUnit (>= 1.1.0) E: Cannot find findlib package ocamlgraph E: Cannot find findlib package odn (>= 0.0.3) E: Cannot find findlib package pcre E: Cannot find findlib package unix E: 11 configuration errors