[Debian-science-sagemath] SAGE_SHARE location

[Tobias Hansen]

On 12/19/2016 04:59 PM, Tobias Hansen wrote:
> On 12/19/2016 04:52 PM, Ximin Luo wrote:
>> Jerome BENOIT:
>>> On 19/12/16 16:33, Tobias Hansen wrote:
>>>> Hi list,
>>>
>>>> at the moment we have two folders under /usr/share with sage files,
>>>> namely /usr/share/sagemath with all the data files from the
>>>> sagemath-database-* packages and /usr/share/sage from sage itself.
>>>
>>>> Because of this we need the patch d0-paths-sharedata.patch.
>>>> We can get rid of the patch if we put everything in the same folder and
>>>> set $SAGE_SHARE accordingly, the question is which one is better?
>>>
>>>> Arch and Gentoo use /usr/share/sage while Fedora uses
>>>> /usr/share/sagemath... I think it would be easier for us to use
>>>> /usr/share/sagemath because then we just need to change the sagemath
>>>> package and not all the database packages.
>>>
>>>> Thoughts? Otherwise I'd implement this change in the evening.
>>>
>>> I guess sagemath is better (in particular to avoid potential collision).
>>>
>>
>> My preference is slightly for sagemath.
>>
>> However note that (if I remember right; have bad internet atm so can't check) upstream Sage assume that the sagemath-database-* packages store things underneath /usr/share/* and not /usr/share/sagemath/*, I mentioned this in the patch header and how we could potentially improve this situation.
>>
> 
> No, they assume stuff in $SAGE_SHARE/* which we set to /usr/share/sage/*
> currently. The whole patch could just be removed by moving to
> /usr/share/sagemath.
> 

While that's true for the installed package, it's of course not during
the build, where SAGE_SHARE=$SAGE_LOCAL/share. So we can't get rid of
that patch so easily. I'll just leave everything as it is.

Best,
Tobias