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 87AAB7ED7A for ; Thu, 30 Aug 2012 00:55:28 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of velman@cox.net) identity=pra; client-ip=68.230.241.147; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="velman@cox.net"; x-sender="velman@cox.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of velman@cox.net designates 68.230.241.147 as permitted sender) identity=mailfrom; client-ip=68.230.241.147; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="velman@cox.net"; x-sender="velman@cox.net"; 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@fed1rmfepo202.cox.net) identity=helo; client-ip=68.230.241.147; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="velman@cox.net"; x-sender="postmaster@fed1rmfepo202.cox.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak4CAC+dPlBE5vGTh2dsb2JhbABFunAiAQEBCgsJBxYngiABAQQBOjMMBQsLNBIUGBEgE4gHBgu8DYsIhXlgA4hPjQaBFZIE X-IronPort-AV: E=Sophos;i="4.80,335,1344204000"; d="scan'208";a="154176124" Received: from fed1rmfepo202.cox.net ([68.230.241.147]) by mail4-smtp-sop.national.inria.fr with ESMTP; 30 Aug 2012 00:55:27 +0200 Received: from fed1rmimpo110 ([68.230.241.159]) by fed1rmfepo202.cox.net (InterMail vM.8.01.04.00 201-2260-137-20101110) with ESMTP id <20120829225525.DWNG7477.fed1rmfepo202.cox.net@fed1rmimpo110> for ; Wed, 29 Aug 2012 18:55:25 -0400 Received: from jrv.local ([68.5.247.155]) by fed1rmimpo110 with cox id smvA1j00W3Mu9Dg01mvAH0; Wed, 29 Aug 2012 18:55:10 -0400 X-CT-Class: Clean X-CT-Score: 0.00 X-CT-RefID: str=0001.0A020207.503E9DDD.0025,ss=1,re=0.000,fgs=0 X-CT-Spam: 0 X-Authority-Analysis: v=2.0 cv=TcwURGsh c=1 sm=1 a=ij3c9D1uOT+vVYGYhpp3bw==:17 a=XYJHFtupD_QA:10 a=essP6ANvYYEA:10 a=G8Uczd0VNMoA:10 a=kj9zAlcOel0A:10 a=VDhh6iKneDsA:10 a=kviXuzpPAAAA:8 a=FI9Ynt85AAAA:8 a=t0ZsSdnvAAAA:8 a=ZSmj21yV0vC4pdTf_t8A:9 a=CjuIK1q_8ugA:10 a=4vB-4DCPJfMA:10 a=ij3c9D1uOT+vVYGYhpp3bw==:117 X-CM-Score: 0.00 Authentication-Results: cox.net; none Received: by jrv.local (Postfix, from userid 502) id AE2FD11B033D; Wed, 29 Aug 2012 15:55:10 -0700 (PDT) Date: Wed, 29 Aug 2012 15:55:10 -0700 From: John Velman To: Wojciech Meyer Cc: caml-list@inria.fr Message-ID: <20120829225510.GC347@cox.net> References: <20120829210223.GA347@cox.net> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) Subject: Re: [Caml-list] Problem installing core On Wed, Aug 29, 2012 at 10:21:40PM +0100, Wojciech Meyer wrote: Thanks, Wojciech. I guess this should have been obvious to me. I had a quick look at oasis, and decided to get a little further into learning OCaml before I try it. I went with Yury's suggestion. John V. > John Velman 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/