dolfin team mailing list archive
-
dolfin team
-
Mailing list archive
-
Message #26070
Re: [Branch ~dolfin-core/dolfin/trunk] Rev 7051: Move installation of dolfin.conf from $prefix/share/dolfin to $prefix/etc
On Wed, Oct 31, 2012 at 05:47:50AM +0000, Garth N. Wells wrote:
> On Tuesday, 30 October 2012, Anders Logg wrote:
>
> You may be right. It's a config file for how to build against
> DOLFIN,
> not for configuring DOLFIN.
>
> Not even. It's a helper file for those who happen to use bash.Â
>
> I think prefix/etc is completely wrong and I would be surprised if
> having a helper script for bash users in
>
> Â Â /usr/etc
>
> is acceptable in a Debian package.
Maybe not. We can change it.
> Â
>
> Another motivation to put it there is I want Dorsal to generateÂ
>
> Â a
> corresponding fenics.conf file and I want to put both files in the
> same location. Where is otherwise a suitable location for
> fenics.conf
>
> Â
>
> I don't use Dorsal, so I can't comment on what would be convenient.Â
Do you have your own build scripts? You must face the same problems.
--
Anders
Follow ups
References