[Debian-science-sagemath] SAGE_SHARE location

Ximin Luo infinity0 at debian.org
Tue Dec 20 16:45:00 UTC 2016


Tobias Hansen:
> On 12/19/2016 10:18 PM, François Bissey wrote:
>>
>>> On 20/12/2016, at 11:11, Tobias Hansen <thansen at debian.org> wrote:
>>>
>>> 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.
>>
>> I am not sure what your patch involves, but all those variables can
>> be over-ridden by the environment. So while it has a default value
>> at runtime you can set an arbitrary value during build and testing.
>>
>> François
> 
> Yes, we do that. It's just that we want everything to work right after
> the package build (without installation) to run the tests and of course
> also after installation. So we have to make everything work in two ways
> when we change something.
> 
> The database files are always in /usr/share/sagemath because they are
> packaged separately, but SAGE_SHARE only points there when sage is
> installed and not during the build process.
> 

Looking into this, I think we will need to keep d0-paths-sharedata.patch in some form, for the foreseeable future. Also my idea of having a separate SAGE_SHARE_DATA apparently has been tried in the past (in the form of SAGE_DATA) and was not kept; it would also be more work to convince upstream to adopt this (we'd need to also patch the build scripts in build/pkgs etc). So I think we should drop this idea and keep this patch going forward.

But separately, we can certainly install other things in /usr/share/sagemath/{ext,bin,installed} and /usr/share/doc/sagemath instead of the current paths. I am testing a patch for this now.

X

-- 
GPG: ed25519/56034877E1F87C35
GPG: rsa4096/1318EFAC5FBBDBCE
https://github.com/infinity0/pubkeys.git



More information about the Debian-science-sagemath mailing list