caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: "Mark Shinwell" <mshinwell@janestreet.com>
To: Marco Maggi <marco.maggi-ipsu@poste.it>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] [newbie] miscellaneous on installation and web site
Date: Mon, 1 Mar 2010 13:28:28 +0000	[thread overview]
Message-ID: <20100301132828.GB26002@janestreet.com> (raw)
In-Reply-To: <877hpw9om6.fsf@rapitore.luna>

On Mon, Mar 01, 2010 at 02:07:45PM +0100, Marco Maggi wrote:
>   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.)

If I understand correctly, in autoconf-style setups, the contents of
the DESTDIR variable are prepended to the configured prefix to obtain the
paths used for installation.  Thus you might install to /tmp/usr/bin/ocamlopt
even though the compiler is configured for /usr.

Unfortunately I don't believe the Caml build system supports such a feature.
One possible way of doing it might be to run "make install" inside a chroot,
but you would likely need a lot of additional tools present inside the chroot
for that to work.

As another poster has said, it's probably best to use the distribution
packages if possible, or else just directly write into the installation
location (using ./configure -prefix /path/to/install/dir).

Mark


  parent reply	other threads:[~2010-03-01 13:28 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-03-01 13:07 Marco Maggi
2010-03-01 13:12 ` [Caml-list] " Mihamina Rakotomandimby
2010-03-01 13:13 ` David Allsopp
2010-03-01 19:32   ` Marco Maggi
2010-03-01 19:37     ` Marco Maggi
2010-03-01 21:31       ` Sylvain Le Gall
2010-03-01 13:28 ` Mark Shinwell [this message]
2010-03-01 13:36 ` Sylvain Le Gall
2010-03-01 14:44 ` [Caml-list] " Peng Zang
2010-03-02  6:04   ` Mihamina Rakotomandimby
2010-03-02 14:02     ` Ashish Agarwal

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20100301132828.GB26002@janestreet.com \
    --to=mshinwell@janestreet.com \
    --cc=caml-list@yquem.inria.fr \
    --cc=marco.maggi-ipsu@poste.it \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).