From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p5RKs7Kr012643 for ; Mon, 27 Jun 2011 22:54:07 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsUCAITtCE7RVdg2kGdsb2JhbAA8AQMSEIQ5k36OYwgUAQEBAQkJDQcUBCGsNYtcPoJKhGE5iGgBAQMGhR6BDASNLYRWhG6BHIYBPIMdUw X-IronPort-AV: E=Sophos;i="4.65,434,1304287200"; d="asc'?scan'208";a="86182339" Received: from mail-qw0-f54.google.com ([209.85.216.54]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 Jun 2011 22:53:04 +0200 Received: by qwc9 with SMTP id 9so4268234qwc.27 for ; Mon, 27 Jun 2011 13:53:03 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:message-id:date:from:user-agent:mime-version:to :cc:subject:references:in-reply-to:x-enigmail-version:content-type; bh=zSGcm/u2dy9+dFmyIJD4XuCGd4/ef27Wo9IXxWEyWog=; b=mgLgtdJz611Ss1AXR9F9IfOL+lT32n1dFIo+n56z0hNDvl5e3lAKmVHCA9lDgGqIh/ GP/KYzTpkNIoG/K5nYOO0t/AeSI3wMU5WlQEPIm5Rc+wzB0gXeT3bNTADFwguOomefo+ TdUbn0JuY4LbLUEmOHHrEBeVBlaQ+QuMNNnyY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:cc:subject :references:in-reply-to:x-enigmail-version:content-type; b=phP7VEbDi5mhnKvERfT5DP7Xy0kqb6xTkzQhlb4a6ppQ3BOdIi7C5mOX4E32N3xfBe NEGcOrGS+4p938auN6tAAyUX/eLCV/OD8I/6bp5jeJCUHSGJ91VjsVVLwkYrrVb6Pd9U V3KuiedJGB3ivTvIqEMMKMnWXtB5NlRwEevn8= Received: by 10.229.118.78 with SMTP id u14mr5074927qcq.29.1309207983059; Mon, 27 Jun 2011 13:53:03 -0700 (PDT) Received: from [192.168.1.45] (pool-71-191-17-197.washdc.east.verizon.net [71.191.17.197]) by mx.google.com with ESMTPS id g16sm4289123qcs.47.2011.06.27.13.53.01 (version=SSLv3 cipher=OTHER); Mon, 27 Jun 2011 13:53:02 -0700 (PDT) Message-ID: <4E08ED5B.4070103@gmail.com> Date: Mon, 27 Jun 2011 16:51:39 -0400 From: Andrew Psaltis User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.17) Gecko/20110414 SUSE/3.1.10 Lightning/1.0b2 Thunderbird/3.1.10 MIME-Version: 1.0 To: derek.schutt@colostate.edu CC: caml-list@inria.fr References: In-Reply-To: X-Enigmail-Version: 1.1.2 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enigB7CEBA28EDA4FEFD0AAE3889" Subject: Re: [Caml-list] build problem with 3.12.0; no ocamlrun in /usr/local/bin This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enigB7CEBA28EDA4FEFD0AAE3889 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On 2011-06-27 16:39, derek.schutt@colostate.edu wrote: > Hi, I'm a new user of ocaml, and having some difficulties that are probab= ly due > to my own ignorance. Namely, ocamlrun doesn't seem to get produced when= I > compile the code. >=20 > I've downloaded and tried to compile ocaml 3.12.0 on a 64-bit linux system > (Fedora 14, kernel 2.6.35.6-45.fc14.x86_64). make world and make bootstrap > seem to work fine; here's the last bit of output from 'make bootstrap'. >=20 > make compare > make[1]: Entering directory `/usr/local/ocaml-3.12.0' > Fixpoint reached, bootstrap succeeded. > make[1]: Leaving directory `/usr/local/ocaml-3.12.0' >=20 > However, if I type 'ocaml', I get this response:=20 > bash: /usr/local/bin/ocaml: /usr/local/bin/ocamlrun: bad interpreter: No = such > file or directory >=20 > This is no surprise, because only ocaml and ocamlc are installed in > /usr/local/bin. As far as I can tell, ocamlrun is never created, nor are= many > of the executable files listed in the INSTALL document, ocamlrun, ocamlya= cc, > ocamllex, etc. >=20 > The output from 'configure' says these should be installed in /usr/local/= bin:=20 >=20 > Directories where Objective Caml will be installed: > binaries.................. /usr/local/bin > standard library.......... /usr/local/lib/ocaml > manual pages.............. /usr/local/man (with extension .1) >=20 > Can anyone help me? I have to say I can't quite figure out what to try n= ext.=20=20 > Thanks for your help. >=20 If you just want to skip compiling ocaml, you can install ocaml from the Fedora repositories. A simple yum install ocaml as root should do it. There also are a large number of ocaml libraries available in the repositories. Check them out with yum search ocaml ~Andrew --------------enigB7CEBA28EDA4FEFD0AAE3889 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.16 (GNU/Linux) Comment: Using GnuPG with SUSE - http://enigmail.mozdev.org/ iQEcBAEBAgAGBQJOCO17AAoJEDbrlsxzDeLRJqAIAIBLSsANr9MpfCbW+t5g49WJ 0iLQlgdHbplgF+3KkjYHU3q0jr0MkFde5WsXvUsYQGtPN1e3b6mPCyNfkTuV9x8y T69976nyHaTwCZO7+ACNJ5wm7nBoK1V8qE8Gx6RX1ezHRql5Prn36WaDt/Vuhus9 odbwCRuKSESzkYl9I0NDn3IautwnfBtulAKF4Rpdc0CdwxihmEgpBnpR5bXiLT2c W0gqpFydl2LAM55cIlzo0F1h9xeTthIJI84QGE2qytuk6/nluT4vwoP7kDwyN+uf bPJzTDMoXOftlDOSilTaiwoWB9IPGRER46mbyso03XLsgeh0H9JEWOULwIrQ0z4= =1sDJ -----END PGP SIGNATURE----- --------------enigB7CEBA28EDA4FEFD0AAE3889--