From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 60F0FBC57 for ; Mon, 1 Mar 2010 15:44:19 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgQDAL9hi0vRVdLDkGdsb2JhbACTOodNCBUBAQEBCQkMBxMDH6sICoFShC8tiEoBAQMFhHYEgxeGW4FZ X-IronPort-AV: E=Sophos;i="4.49,560,1262559600"; d="scan'208";a="45756578" Received: from mail-yx0-f195.google.com ([209.85.210.195]) by mail3-smtp-sop.national.inria.fr with ESMTP; 01 Mar 2010 15:44:18 +0100 Received: by yxe33 with SMTP id 33so1034532yxe.1 for ; Mon, 01 Mar 2010 06:44:18 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:from:reply-to:to:subject:date :user-agent:cc:references:in-reply-to:content-type :content-transfer-encoding:content-disposition:message-id; bh=WbuShZ+dtNjyJu8VI7v9NaTmBv2vzAie2ewdGOzTpQM=; b=AUBJACXQHUYWUTEJ550NRywE6I/G7DaFlMnKBDb764VhPVQRj/7TXM3OfgX41C1Yqn bsL4itUmqn9ArrNURKq3/NTt1lFjCqIjBf/bSk3EhtSuS+t7NCN1RqcUcfrlk/21ENwp MxCZAoQXJ8zd2in+YJ4nU/3VGJM18BybGYl3o= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=from:reply-to:to:subject:date:user-agent:cc:references:in-reply-to :content-type:content-transfer-encoding:content-disposition :message-id; b=ummR1gcn8D5vwg6cNhmFVcfmJfBOl95VvQLR6jsGJRtP3wvOhj4QXeQYh4TUDaW7fU e2VyhwTdU1PTjLD1f629ffSmpnuqxAjcVYGzkL4+tAvCCXGCJY3msE3BUHtd0MgywOX3 1ccaZxFY054gdRnLOOiKgsIWddmMFrrLBULqE= Received: by 10.101.128.9 with SMTP id f9mr6195013ann.186.1267454657796; Mon, 01 Mar 2010 06:44:17 -0800 (PST) Received: from lawn-128-61-122-208.lawn.gatech.edu (lawn-128-61-122-208.lawn.gatech.edu [128.61.122.208]) by mx.google.com with ESMTPS id 13sm1714596gxk.12.2010.03.01.06.44.15 (version=TLSv1/SSLv3 cipher=RC4-MD5); Mon, 01 Mar 2010 06:44:16 -0800 (PST) From: Peng Zang Reply-To: peng.zang@gmail.com To: Marco Maggi Subject: Re: [Caml-list] [newbie] miscellaneous on installation and web site Date: Mon, 1 Mar 2010 09:44:12 -0500 User-Agent: KMail/1.9.10 Cc: caml-list@yquem.inria.fr References: <877hpw9om6.fsf@rapitore.luna> In-Reply-To: <877hpw9om6.fsf@rapitore.luna> Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <201003010944.15432.peng.zang@gmail.com> X-Spam: no; 0.00; hash:01 ocaml:01 o'caml:01 ocaml-:01 destdir:01 o'caml:01 peng:98 peng:98 beginners:01 wrote:01 compile:01 caml-list:01 caml:02 newbie:02 seems:03 -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 The best way to compile and install OCaml (in my opinion) is via GODI. The GODI installation instructions are clear and allow you to specify where the install should go. Once installed, it's also easy to get all the other libraries you might want to use. Peng On Monday 01 March 2010 08:07:45 am Marco Maggi wrote: > Ciao, > > I am a True Beginner taking a look at O'Caml; I hope not > to be abusing by posting here rather than the beginners > list. > > I think I successfully compiled ocaml-3.11.2 on my > i686-pc-linux-gnu, but there seems to be no way to install > the package in a temporary location via the Linux de facto > standard DESTDIR environment variable; is there a way to do > it? (I am used to build custom packages.) > > The web site[1] is beautiful (no irony) but a lot of > informations look outdated, 4/5 years old; I see many O'Caml > related sites on the Net. Is there one that I can take as > reference for the latest news, for example about still > maintained library packages? > > TIA > > [1] -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.7 (GNU/Linux) iD8DBQFLi9K/fIRcEFL/JewRAhsaAKC5l7uyaA5gsKh4jTGoCbHkI6HcPQCghAgZ WWUUzXQByW1Qx086C/sJ0vQ= =CLMI -----END PGP SIGNATURE-----