[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Denemo-devel] PKGDATADIR (starts life as pkdgdatadir in configure.i

From: Richard Shann
Subject: Re: [Denemo-devel] PKGDATADIR (starts life as pkdgdatadir in
Date: Tue, 26 Oct 2010 15:44:56 +0100

In fact, this seems to be the magic needed for local install:

configure --prefix=/home/rshann/local/ --sysconfdir=/home/rshann/local/

I think there may be other things (to do with lang etc)


On Tue, 2010-10-26 at 14:20 +0100, Richard Shann wrote:
> Jeremiah,
> I notice that PKGDATADIR is set to /usr/local/share/denemo even after
> doing configure with --prefix and --sysconfdir set to a local directory.
> Is there something else that needs to be set to get a truly local
> installation?
> Richard
> _______________________________________________
> Denemo-devel mailing list
> address@hidden

reply via email to

[Prev in Thread] Current Thread [Next in Thread]