[m-users.] installing Mercury on Ubuntu

Paul Bone paul at bone.id.au
Tue Jun 23 09:57:16 AEST 2015

On Tue, Jun 23, 2015 at 09:31:19AM +1000, Francis Grizzly Smit wrote:
> I do
> ./configure
> make
> sudo checkinstall

Oh, lets share these tools.  I use "stow"

You do ./configure --prefix /usr/local/stow/mercury-VERSION

then after make install, you do "cd /usr/local/stow/; stow mercury-VERSION"
and it symlinks it into /usr/local.  So I keep many Mercurys around in
/usr/local/stow and some other tools and use stow to choose a default one or
override my PATH is some project needs a specific version.

Paul Bone

More information about the users mailing list