Yes, that fits. Now that I know to look, I see buried in my gap install log
Uninstalling existing 'gap'
Running pre-uninstall script for 'gap'
/Users/jpalmier/Desktop/Sage/git/sage/local/var/lib/sage/scripts/gap/spkg-prerm:
line 13: /Users/jpalmier/Desktop/Sage/git/sage/src/bin/sage-dist-helper
This also happened to me a few weeks ago. The underlying problem seems to
be that the uninstall script fails because it tries to call
sage-dist-helpers, but cannot find it. This file has recently been moved
from src/bin to build/bin, which the uninstall script cannot know about.
Once upgraded t
On Thu, Aug 15, 2019 at 2:22 PM kcrisman wrote:
>
>
>> That's expected. The package build directory is under SAGE_LOCAL
>> ($SAGE_LOCAL/var/tmp/sage/build/gap-4.10.0.p0) but the file's
>> destination path ($SAGE_LOCAL) is appended to this. This is how it's
>> supposed to work (DESTDIR installati
> That's expected. The package build directory is under SAGE_LOCAL
> ($SAGE_LOCAL/var/tmp/sage/build/gap-4.10.0.p0) but the file's
> destination path ($SAGE_LOCAL) is appended to this. This is how it's
> supposed to work (DESTDIR installation).
>
> It's probably too late to diagnose now (th
On Thu, Mar 7, 2019 at 5:50 PM kcrisman wrote:
>
> upgrading from some early 8.6 beta, I get something weird with file
> permissions on gap. Everything seems to go well, but:
>
>
>
> pkg/laguna-3.9.0 ->
> /Users/.../sage/local/var/tmp/sage/build/gap-4.10.0.p0/inst/Users/.../sage/local/share/gap