From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <wojciech.meyer@googlemail.com>
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 7F9E67ED7A
	for <caml-list@sympa.inria.fr>; Wed, 29 Aug 2012 23:21:31 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  wojciech.meyer@googlemail.com) identity=pra;
  client-ip=74.125.82.52;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="wojciech.meyer@googlemail.com";
  x-sender="wojciech.meyer@googlemail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of
  wojciech.meyer@googlemail.com designates 74.125.82.52 as
  permitted sender) identity=mailfrom; client-ip=74.125.82.52;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="wojciech.meyer@googlemail.com";
  x-sender="wojciech.meyer@googlemail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-wg0-f52.google.com) identity=helo;
  client-ip=74.125.82.52;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="wojciech.meyer@googlemail.com";
  x-sender="postmaster@mail-wg0-f52.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgMCADuHPlBKfVI0jWdsb2JhbABFhTy1LggiAQEBAQkJCwkSBiOCIQEBBBICLAEBNwEPCwsWJQ8BBCABBQEiEyKHWwEDDAQHnRgJA4plhDABBYU+CkANiUgGkWGVWYEUjSM+hAQ
X-IronPort-AV: E=Sophos;i="4.80,335,1344204000"; 
   d="scan'208";a="154172888"
Received: from mail-wg0-f52.google.com ([74.125.82.52])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 29 Aug 2012 23:21:30 +0200
Received: by wgbfg15 with SMTP id fg15so820456wgb.9
        for <caml-list@inria.fr>; Wed, 29 Aug 2012 14:21:30 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=20120113;
        h=from:to:cc:subject:references:date:in-reply-to:message-id
         :user-agent:mime-version:content-type;
        bh=Olh1h9G2aNk/Y2mwVRb80FABfZeGPdXOH0S6612sBD8=;
        b=NLK1Nwl3WTOguMsk4bY9Z7UL+F2gp2fqvSywhiB/EMLszXM46Ow5UCvTgUgxbeypcf
         ewuPxX8e79ASdRReh3lxKJD8zuYcT3Pi/uJm63WrjLhh8RnW1VyX/4D21HhvFeIi9AEu
         S0CPEnsjRPdKqOqDWRnFgiolgyF57YgeR0EAYUVX5vmZhzDYQOTz6TXGUwh25IJhcUW8
         lgUI+iuJ6R5lPjUiRnGQf/FsaVyPGER+zY1tPA85KMzf9caWTr5Ny94DF5bwoxD4aBH4
         1qbFLpkYNGkVq04JNS/t5bB05BaxxP9E/fm2jJi3Wf85Jc6SWs7+l0k/aKkiG1/bHCYB
         RfWw==
Received: by 10.180.82.39 with SMTP id f7mr6378627wiy.2.1346275290564;
        Wed, 29 Aug 2012 14:21:30 -0700 (PDT)
Received: from spec-desktop.danmey.org (cpc1-cmbg12-0-0-cust201.5-4.cable.virginmedia.com. [86.9.116.202])
        by mx.google.com with ESMTPS id fb20sm18415543wid.1.2012.08.29.14.21.29
        (version=TLSv1/SSLv3 cipher=OTHER);
        Wed, 29 Aug 2012 14:21:29 -0700 (PDT)
From: Wojciech Meyer <wojciech.meyer@googlemail.com>
To: John Velman <velman@cox.net>
Cc: caml-list@inria.fr
References: <20120829210223.GA347@cox.net>
Date: Wed, 29 Aug 2012 22:21:40 +0100
In-Reply-To: <20120829210223.GA347@cox.net> (John Velman's message of "Wed, 29
	Aug 2012 14:02:23 -0700")
Message-ID: <wffw75wg0r.fsf@gmail.com>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.94 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
Subject: Re: [Caml-list] Problem installing core

John Velman <velman@cox.net> writes:

> ./oasis.sh: line 49: oasis: command not found
> ------------
>
> What am I missing?

It looks to me like oasis [1] is not installed.

--
Wojciech Meyer
http://danmey.org

[1] http://oasis.forge.ocamlcore.org/