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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id A28D6BC57 for ; Mon, 1 Mar 2010 20:32:14 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ai0CAFSli0s+8QX9kWdsb2JhbACbAhUBAQEBCQsKBxMEHqI/AYMCllKEewQ X-IronPort-AV: E=Sophos;i="4.49,561,1262559600"; d="scan'208";a="45715828" Received: from relay-pt2.poste.it ([62.241.5.253]) by mail2-smtp-roc.national.inria.fr with ESMTP; 01 Mar 2010 20:32:14 +0100 Received: from rapitore.luna (93.147.76.200) by relay-pt2.poste.it (8.5.121.01) (authenticated as marco.maggi-ipsu@poste.it) id 4B8B03CC00022B69; Mon, 1 Mar 2010 20:32:01 +0100 Sender: marco@rapitore.luna Original-Sender: marco@localhost X-Loop: marco@maggi.it X-Mailer: GNU Emacs In-Reply-To: marco@localhost Allsopp's message of "Mon\, 1 Mar 2010 13\:13\:30 -0000") References: <877hpw9om6.fsf@rapitore.luna> <001b01cab941$00c6c5c0$02545140$@romulus.metastack.com> To: "David Allsopp" Cc: Subject: Re: [Caml-list] [newbie] miscellaneous on installation and web site From: Marco Maggi Date: Mon, 01 Mar 2010 20:32:16 +0100 Message-ID: <87tyszsurj.fsf@rapitore.luna> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam: no; 0.00; ocaml:01 -prefix:01 -prefix:01 destdir:01 distro:01 ocaml:01 mlgmp:01 orphaned:01 mpfr:01 imho:01 wrote:01 caml-list:01 gmp:02 caml:02 newbie:02 "David Allsopp" wrote: > the more usual way, which will work with OCaml, is to > specify a different root for the -prefix option when you > run configure. Yes. It worked (it seems) by doing: $ ./configure -prefix "${prefix}" ... $ make world $ make bootstrap $ make opt $ ./configure -prefix "${DESTDIR}${prefix}" $ make install > All that said, what distro are you using? Debian and > Fedora (and *BSD) all have native packages for OCaml. Slackware. > The Caml Hump I believe has up-to-date information as long > as it's submitted. [...] www.ocamlcore.org is a pretty > good place to start, I think. Understood (IMHO submissions more than 3 years old should be removed). So am I correct in saying that MLGMP is orphaned and no maintained GMP/MPFR/... package exists? -- Marco Maggi