On 20/10/20 14:46, Jerry James wrote:
On Tue, Oct 20, 2020 at 3:14 AM Phil Clayton wrote:
There are some instructions previously posted here:
http://lists.inf.ed.ac.uk/pipermail/polyml/2017-July/002038.html
which also show how to disable the package manager version of Poly/ML on
Fedora.
I am
On 20/10/2020 16:19, Phil Clayton wrote:
I fired up the VM and, in the terminal, ran
objdump -p polyml/bin/poly
and I see the output contains:
Dynamic Section:
...
RPATH /root/polyml/lib
...
If that RPATH were correctly set (to
ct 2020 10:12:37 +0100
From: Phil Clayton mailto:phil.clay...@veonix.com>>
To: polyml@inf.ed.ac.uk <mailto:polyml@inf.ed.ac.uk>
Subject: Re: [polyml] Install to users home directory
Message-ID: <090b6bb7-106a-eb9e-0732-2b00a050e...@veonix.com
<mailto:090b6bb7-10
yton)
>2. Re: polyml install to Alpine Linux (David Matthews)
>
>
> --
>
> Message: 1
> Date: Tue, 20 Oct 2020 10:12:37 +0100
> From: Phil Clayton
> To: polyml@inf.ed.ac.uk
> Subject: Re: [polyml] Install to users home directory
> Message-ID: &l
On Tue, Oct 20, 2020 at 3:14 AM Phil Clayton wrote:
> There are some instructions previously posted here:
> http://lists.inf.ed.ac.uk/pipermail/polyml/2017-July/002038.html
> which also show how to disable the package manager version of Poly/ML on
> Fedora.
I am the current maintainer of the
On 20/10/20 05:40, David Topham wrote:
I know it is most efficient to install software system wide so all users
share same code. But I have a situation where I want to install only to
my home directory. i.e. It is Linux system where I don't have sudo
privilege.
Is that possible?
I am building
On Tue, Oct 20, 2020, at 12:40 AM, David Topham wrote:
> I know it is most efficient to install software system wide so all
> users share same code. But I have a situation where I want to install
> only to my home directory. i.e. It is Linux system where I don't have
> sudo privilege.
> Is that
I know it is most efficient to install software system wide so all users
share same code. But I have a situation where I want to install only to my
home directory. i.e. It is Linux system where I don't have sudo privilege.
Is that possible?
I am building from source, so perhaps
./configure
